Speaking about transitive frames in propositional languages

DOI10.1023/A:1008237600846zbMath0927.03036MaRDI QIDQ1289105

Yasuhito Suzuki, Michael Zakharyashchev, Frank Wolter

Publication date: 2 September 1999

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

zbMATH Keywords

modal logicdualityconsequence relationintuitionistic logictransitive Kripke frame

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (11)

1998 European Summer Meeting of the Association for Symbolic Logic ⋮ ON EQUATIONAL COMPLETENESS THEOREMS ⋮ Alternative Semantics for Visser’s Propositional Logics ⋮ Amalgamation property for the class of basic algebras and some of its natural subclasses ⋮ Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic ⋮ Abstract algebraic logic. An introductory chapter ⋮ Sequent calculi for Visser's propositional logics ⋮ ASSERTIONALLY EQUIVALENT QUASIVARIETIES ⋮ A closer look at some subintuitionistic logics ⋮ Constructive Embedding from Extensions of Logics of Strict Implication into Modal Logics ⋮ Correspondences between gentzen and hilbert systems

This page was built for publication: Speaking about transitive frames in propositional languages