Topology and duality in modal logic

DOI10.1016/0168-0072(88)90021-8zbMath0643.03014OpenAlexW2071467583MaRDI QIDQ1101436

Giovanni Sambin, Virginia Vaccaro

Publication date: 1988

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(88)90021-8

zbMATH Keywords

dualityvaluationsKripke framesgeneral framesadjoint functorsmodal algebrascompleteness theoremsadjoint pair of functorssemantics of propositional modal logics

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Modal logic (including the logic of norms) (03B45)

Related Items

Bjarni Jónsson's contributions in algebra, MODAL OPERATORS ON RINGS OF CONTINUOUS FUNCTIONS, An algebraic theory of normal forms, Changing a Semantics: Opportunism or Courage?, Properties of independently axiomatizable bimodal logics, Unnamed Item, The structure of lattices of subframe logics, Filtering unification and most general unifiers in modal logic, Duality for modal \(\mu\)-logics, Mixed algebras and their logics, Relational representation for subordination Tarski algebras, Sahlqvist theorem for modal fixed point logic, Concurrent algebras: an algebraic study of a fragment of concurrent propositional dynamic logic, Post complete and 0-axiomatizable modal logics, On canonicity of poset expansions, A duality for the algebras of a Łukasiewicz \(n+1\)-valued modal system, CANONICITY RESULTS OF SUBSTRUCTURAL AND LATTICE-BASED LOGICS, Duality and the completeness of the modal \(\mu\)-calculus, Semi-metrics, closure spaces and digital topology, The enriched Vietoris monad on representable spaces, Maximal Kripke-type semantics for modal and superintuitionistic predicate logics, Fuzzy topology and Łukasiewicz logics from the viewpoint of duality theory, Duality and completeness for US-logics, Stone coalgebras, Elementary canonical formulae: extending Sahlqvist's theorem, The bounded proof property via step algebras and step frames, Topological duality for Boolean algebras with a normal \(n\)-ary monotonic operator, Subordination Tarski algebras, Quasi-subtractive varieties, A new proof of Sahlqvist's theorem on modal definability and completeness, Easkia Duality and Its Extensions, Dualities for modal algebras from the point of view of triples

Cites Work

• An incomplete system of modal logic
• Some kinds of modal completeness
• Algebraic and relational semantics for tense logics
• Representation and duality theory for diagonalizable algebras. (The algebraization of theories which express Theor. IV.)
• Categories of frames for modal logic
• Two simple incomplete modal logics
• Canonical modal logics and ultrafilter extensions
• An incomplete logic containing S4
• An incompleteness theorem in modal logic
• Algebraic semantics for modal logics I
• Semantic analysis of tense logics
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Boolean Algebras with Operators. Part I
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item