A first approach to abstract modal logics

DOI10.2307/2274764zbMath0687.03008MaRDI QIDQ4205420

Josep Maria Font, Ventura Verdú

Publication date: 1989

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274764

zbMATH Keywords

modal logic; S4; S5; intuitionistic modal logics; abstract logics; closure oprator; IM4; IM5

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

03G10: Logical aspects of lattices and related structures

06A15: Galois correspondences, closure operators (in relation to ordered sets)

Related Items

Algebraic logic for classical conjunction and disjunction, Algebraization of quantifier logics, an introductory overview, Algebraic study of Sette's maximal paraconsistent logic, Algebraic study of two deductive systems of relevance logic, Abstract modal logics, Minimally generated abstract logics, On the closure properties of the class of full G-models of a deductive system

Cites Work

• Unnamed Item
• Unnamed Item
• Algebraic aspects of deduction theorems
• Models for normal intuitionistic modal logics
• Models for stronger normal intuitionistic modal logics
• Modality and possibility in some intuitionistic modal logics
• An algebraic approach to non-classical logics
• On some intuitionistic modal logics
• Some Algebraic Structures Determined by Closure Operators
• Logics Projectively Generated from [ℳ = (ℱ4, [{1}]) by a Set of Homomorphisms]
• Sequent-systems for modal logic