Speaking about transitive frames in propositional languages

DOI10.1023/A:1008237600846MaRDI QIDQ1289105zbMATH OpenFDO

Authors Yasuhito Suzuki, F. Wolter, Michael Zakharyaschev

Publication date 2 September 1999

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

zbMATH Keywords

consequence relationdualityintuitionistic logicmodal logictransitive Kripke frame

Mathematics Subject Classification ID

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

Recommendations

• Modal definability in enriched languages
• Publication:3472079
• The Expressive Force of Some Fragments of Intuitionistic Propositional Logic with Regard to Kripke Frames
• scientific article; zbMATH DE number 218547
• A remark on propositional Kripke frames sound for intuitionistic logics

Cited in

(15)

• Constructive embedding from extensions of logics of strict implication into modal logics
• Modal definability in enriched languages
• On the characterizability of the frames for the ``unpreventability of the present and the past
• Sequent calculi for Visser's propositional logics
• Amalgamation property for the class of basic algebras and some of its natural subclasses
• scientific article; zbMATH DE number 6819811 (Why is no real title available?)
• 1998 European Summer Meeting of the Association for Symbolic Logic
• Correspondences between gentzen and hilbert systems
• Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic
• Every world can see a reflexive world
• ASSERTIONALLY EQUIVALENT QUASIVARIETIES
• A closer look at some subintuitionistic logics
• ON EQUATIONAL COMPLETENESS THEOREMS
• Alternative semantics for Visser's propositional logics
• Abstract algebraic logic. An introductory chapter

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1289105)