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)

Term satisfiability in \(\mathrm{FL}_{\mathrm{ew}}\)-algebras ⋮ Almost structural completeness; an algebraic approach ⋮ Automorphisms of the lattice of classical modal logics ⋮ Admissible bases via stable canonical rules ⋮ Duality for \(\kappa\)-additive complete atomic modal algebras ⋮ About the unification type of modal logics between \(\mathbf{KB}\) and \(\mathbf{KTB} \) ⋮ On modal logics of model-theoretic relations ⋮ Reasoning about proof and knowledge ⋮ Quantified epistemic logics for reasoning about knowledge in multi-agent systems ⋮ The decision problem of modal product logics with a diagonal, and faulty counter machines ⋮ Matching topological and frame products of modal logics ⋮ On the modal logic of Jeffrey conditionalization ⋮ Free and projective bimodal symmetric Gödel algebras ⋮ Reasoning about negligibility and proximity in the set of all hyperreals ⋮ Completeness and definability in the logic of noncontingency ⋮ A generalization of inquisitive semantics ⋮ Proof complexity of intuitionistic implicational formulas ⋮ Structural completeness in propositional logics of dependence ⋮ The structure of lattices of subframe logics ⋮ Profinite completions and canonical extensions of Heyting algebras ⋮ Complexity of admissible rules ⋮ Connectionist modal logic: representing modalities in neural networks ⋮ Unification, finite duality and projectivity in varieties of Heyting algebras ⋮ Axiomatization and polynomial solvability of strictly positive fragments of certain modal logics ⋮ The modal logic of Gödel sentences ⋮ Does the deduction theorem fail for modal logic? ⋮ Some metacomplete relevant modal logics ⋮ Natural factors of the Muchnik lattice capturing IPC ⋮ Simple weakly transitive modal algebras ⋮ Lower complexity bounds in justification logic ⋮ Algorithmic correspondence and canonicity for distributive modal logic ⋮ First-order logic in the Medvedev lattice ⋮ Complexity of some problems in positive and related calculi ⋮ Inquisitive logic ⋮ The quasi-lattice of indiscernible elements ⋮ The d-logic of the rational numbers: a fruitful construction ⋮ Temporal logic of linearly ordered \(\alpha\)-spaces ⋮ Restricted interpolation property in superintuitionistic logics ⋮ Table admissible inference rules ⋮ Decidability of the interpolation problem and of related properties in tabular logics ⋮ A modal logic framework for reasoning about comparative distances and topology ⋮ Kripke semantics for provability logic GLP ⋮ Modal logics of Stone spaces ⋮ Modal and temporal logics for abstract space-time structures ⋮ Subspaces of \(\mathbb{Q}\) whose d-logics do not have the FMP ⋮ An algebraic approach to canonical formulas: modal case ⋮ Possible worlds in use ⋮ Fatal Heyting algebras and forcing persistent sentences ⋮ Not every splitting Heyting or interior algebra is finitely presentable ⋮ Dynamic modalities ⋮ Foreword to the special issue dedicated to the memory of Leo Esakia ⋮ Mathematical modal logic: A view of its evolution ⋮ On pretabular logics in NExtK4. I ⋮ Interval MV-algebras and generalizations. ⋮ Logics for stable and unstable mereological relations ⋮ Modal logics of some geometrical structures ⋮ The modal logic of agreement and noncontingency ⋮ Proof analysis in intermediate logics ⋮ A note on admissible rules and the disjunction property in intermediate logics ⋮ Admissibility and refutation: some characterisations of intermediate logics ⋮ Natural factors of the Medvedev lattice capturing IPC ⋮ Zolin and Pizzi: defining necessity from noncontingency ⋮ On the linear logic of knowledge and time with intransitive time relation ⋮ A new constant in superintuitionistic logic L3 ⋮ Structural connections between a forcing class and its modal logic ⋮ On non-self-referential fragments of modal logics ⋮ Free equivalential algebras ⋮ Finite frames fail: how infinity works its way into the semantics of admissibility ⋮ Cofinal stable logics ⋮ On the modal logic of subset and superset: tense logic over Medvedev frames ⋮ Multimodal epistemic Łukasiewicz logics with application in immune system ⋮ Optimization techniques for propositional intuitionistic logic and their implementation ⋮ Interpolation in weakly transitive modal logics ⋮ Scattered and hereditarily irresolvable spaces in modal logic ⋮ Connected modal logics ⋮ New constants in two pretabular superintuitionistic logics ⋮ Standard Gödel modal logics ⋮ Fuzzy topology and Łukasiewicz logics from the viewpoint of duality theory ⋮ An intriguing logic with two implicational connectives ⋮ Kripke completeness of infinitary predicate multimodal logics ⋮ \(\mathcal {BCDL}\): Basic constructive description logic ⋮ A coalgebraic view on positive modal logic ⋮ Disjunction property and complexity of substructural logics ⋮ A Sahlqvist theorem for distributive modal logic ⋮ Intermediate logics and Visser's rules ⋮ General frames for relevant modal logics ⋮ Monadic bounded algebras ⋮ Self-referential justifications in epistemic logic ⋮ A note on the expressibility problem for modal logics and star-free regular expressions ⋮ Fast decision procedure for propositional Dummett logic based on a multiple premise tableau calculus ⋮ The bounded proof property via step algebras and step frames ⋮ The power of a propositional constant ⋮ The modal logic of \({\beta(\mathbb{N})}\) ⋮ Substitution Frege and extended Frege proof systems in non-classical logics ⋮ Modal languages for topology: expressivity and definability ⋮ Algebraic semantics of the \(\left\{ \rightarrow ,\square \right\} \)-fragment of propositional lax logic ⋮ Uniform Lyndon interpolation property in propositional modal logics ⋮ Semiconic idempotent residuated structures ⋮ \({\mathcal E}\)-connections of abstract description systems ⋮ Conditional excluded middle in systems of consequential implication

This page was built for publication: