scientific article

Alexander Chagrov, Michael Zakharyashchev

Publication date: 24 April 1997

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

complexity undecidability modal logic completeness decidability algebraic semantics Kripke semantics Kripke frames finite axiomatizability algebraic structures modal algebras superintuitionistic logics algorithmic problems finite approximability pseudo-Boolean algebras

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Intermediate logics (03B55)

Related Items (only showing first 100 items - show all)

TEMPORAL INTERPRETATION OF MONADIC INTUITIONISTIC QUANTIFIERS ⋮ A Logic of East and West ⋮ Jankov Formulas and Axiomatization Techniques for Intermediate Logics ⋮ The Lattice NExtS41 as Composed of Replicas of NExtInt, and Beyond ⋮ Multiple Conclusion Rules in Logics with the Disjunction Property ⋮ Filtering unification and most general unifiers in modal logic ⋮ A Sound Interpretation of Leśniewski's Epsilon in Modal Logic KTB ⋮ Partitioning Kripke frames of finite height ⋮ Extensions of Solovay's system \(\mathbf{S}\) without independent sets of axioms ⋮ IMPROVING STRONG NEGATION ⋮ McKinsey-Tarski algebras: an alternative pointfree approach to topology ⋮ FMP-ensuring logics, RA-ensuring logics and FA-ensuring logics in NExtK4.3 ⋮ Бинарный предикат, транзитивное замыкание, две-три переменные: сыграем в домино? ⋮ A Lindström theorem for intuitionistic first-order logic ⋮ A frame-theoretic perspective on Esakia duality ⋮ On decidability of concept satisfiability in description logic with product semantics ⋮ Tarskian consequence relations bilaterally: some familiar notions ⋮ An extension of Jónsson‐Tarski representation and model existence in predicate non‐normal modal logics ⋮ Intuitionistic propositional probability logic ⋮ THE AUTOMORPHISM GROUP OF THE FRAÏSSÉ LIMIT OF FINITE HEYTING ALGEBRAS ⋮ Fixed point logics and definable topological properties ⋮ Involutive symmetric Gödel spaces, their algebraic duals and logic ⋮ On Boolean algebraic structure of proofs: towards an algebraic semantics for the logic of proofs ⋮ Fuzzy logics – quantitatively ⋮ Decidability of modal logics of non-\(k\)-colorable graphs ⋮ Abstract algebraic logic. An introductory chapter ⋮ THE BAIRE CLOSURE AND ITS LOGIC ⋮ POLYHEDRAL COMPLETENESS OF INTERMEDIATE LOGICS: THE NERVE CRITERION ⋮ A simple way to overcome hyperconnexivity ⋮ Multiple-valued semantics for metric temporal logic ⋮ An infinity of intuitionistic connexive logics ⋮ Relational semantics for normal topological quasi-Boolean logic ⋮ Fixed point logics and definable topological properties ⋮ Normal companions of intuitionistic modal logics ⋮ FRACTIONAL-VALUED MODAL LOGIC ⋮ The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions ⋮ Linear depth deduction with subformula property for intuitionistic epistemic logic ⋮ A Sequent Systems without Improper Derivations ⋮ Some remarks on semantics and expressiveness of the sentential calculus with identity ⋮ Nested sequents for intermediate logics: the case of Gödel-Dummett logics ⋮ Positive modal logic beyond distributivity ⋮ A graded semantics for counterfactuals ⋮ Esakia duals of regular Heyting algebras ⋮ Substitutional validity for modal logic ⋮ Semantic Analysis of Subexponential Modalities in Distributive Non-commutative Linear Logic ⋮ An algebraic glimpse at bunched implications and separation logic ⋮ Frames for fusions of modal logics ⋮ Reflection calculus and conservativity spectra ⋮ Lattices of Intermediate Theories via Ruitenburg's Theorem ⋮ Free Heyting algebra endomorphisms: Ruitenburg’s Theorem and beyond ⋮ A note on the complexity of S4.2 ⋮ A logic for metric and topology ⋮ Products of ‘transitive” modal logics ⋮ LOGICS ABOVE S4 AND THE LEBESGUE MEASURE ALGEBRA ⋮ INTUITIONISTIC EPISTEMIC LOGIC ⋮ Modal logics that need very large frames ⋮ The modal logic of forcing ⋮ Canonical varieties with no canonical axiomatisation ⋮ Finite-Chain Graded Modal Logic ⋮ Semantical Approach to Cut Elimination and Subformula Property in Modal Logic ⋮ Constructive Embedding from Extensions of Logics of Strict Implication into Modal Logics ⋮ Maksimova, Relevance and the Study of Lattices of Non-classical Logics ⋮ Characteristic Formulas Over Intermediate Logics ⋮ A Generalization of Maksimova’s Criterion for the Disjunction Property ⋮ Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics ⋮ Lattice NExtS4 from the Embedding Theorem Viewpoint ⋮ Dummett Logic, Irreflexive Modality and Novikov Completeness ⋮ On Linear Logic of Knowledge and Time ⋮ Proof Complexity of Non-classical Logics ⋮ KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS ⋮ Axiomatic and dual systems for constructive necessity, a formally verified equivalence ⋮ Logical consecutions in discrete linear temporal logic ⋮ COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS ⋮ VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS ⋮ TOPOLOGICAL COMPLETENESS OF LOGICS ABOVE S4 ⋮ MODAL LOGICS OF METRIC SPACES ⋮ On the Blok-Esakia Theorem ⋮ Constructive Modalities with Provability Smack ⋮ Topological Interpretations of Provability Logic ⋮ ANALYTIC CUT AND INTERPOLATION FOR BI-INTUITIONISTIC LOGIC ⋮ MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS ⋮ Towards Syntactic Epistemic Logic ⋮ Free Heyting Algebras: Revisited ⋮ On modal logics betweenK × K × KandS5 × S5 × S5 ⋮ AN ALGEBRAIC APPROACH TO INQUISITIVE AND -LOGICS ⋮ Logics for multi-subset spaces ⋮ MODAL OPERATORS ON RINGS OF CONTINUOUS FUNCTIONS ⋮ ON EQUATIONAL COMPLETENESS THEOREMS ⋮ UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS ⋮ A negative solution of Kuznetsov’s problem for varieties of bi-Heyting algebras ⋮ Changing a Semantics: Opportunism or Courage? ⋮ Duality and Universal Models for the Meet-Implication Fragment of IPC ⋮ Positive Formulas in Intuitionistic and Minimal Logic ⋮ Deriving Inverse Operators for Modal Logic ⋮ Image of Soviet and Russian logic in the West. Latter Half of the XXth Century ⋮ On Some Modal Type Intuitionistic Fuzzy Operators ⋮ Unnamed Item ⋮ Diego's theorem for nuclear implicative semilattices ⋮ Tree-like constructions in topology and modal logic ⋮ Tools for the Investigation of Substructural and Paraconsistent Logics

This page was built for publication: