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)

Full work available at URL https://doi.org/10.1023/A:1008237600846

zbMATH Keywords

consequence relationdualityintuitionistic logicmodal logictransitive Kripke frame

Mathematics Subject Classification ID

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

Review text

Reflexive and transitive Kripke frames can be talked about by both the classical modal and the intuitionistic non-modal (propositional) language, respectively, according to the standard semantic interpretations. Several results on the relationship between them have already been known; they have equivalent expressive power with respect to the axiomatizability of skeleton-closed classes, the lattice of intermediate logics is isomorphic to that of normal extensions of Grzegorczyk modal logic, and so on. In this paper the authors investigate such a relationship in the larger class of transitive Kripke frames without supposing reflexivity, where the basic logics turn out to be K4 and Visser's BPL instead of S4 and intuitionistic logic, respectively. With this generalization the non-modal language is shown to display some unusual features; its expressive power becomes weaker than that of classical modal language, the induced consequence relation does not enjoy the deduction theorem nor is it protoalgebraic. The consequence relation and its extensions, however, are analysed by making use of duality connecting algebraic and relational semantics. The expressive power of the non-modal language is restored as in the case of reflexive and transitive Kripke frames by adding to it one more implication.

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

(19)

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

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)