Kripke Contexts, Double Boolean Algebras with Operators and Corresponding Modal Systems

Howlader, Prosenjit ; Banerjee, Mohua

Journal of logic, language, and information, 2023-03, Vol.32 (1), p.117-146 [Periódico revisado por pares]

Dordrecht: Springer Netherlands

Texto completo disponível