A first approach to abstract modal logics

DOI10.2307/2274764zbMath0687.03008OpenAlexW2094880916MaRDI QIDQ4205420

Ventura Verdú, Josep Maria Font

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 logicS4S5intuitionistic modal logicsabstract logicsclosure opratorIM4IM5

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logical aspects of lattices and related structures (03G10) Galois correspondences, closure operators (in relation to ordered sets) (06A15)

Related Items

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

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