scientific article; zbMATH DE number 1003731

MaRDI QIDQ3128959zbMATH OpenFDO

Authors Alexander Vasil'evich Chagrov, Michael Zakharyaschev

Publication date 24 April 1997

Recommendations

Modal logic
Tools and techniques in modal logic
scientific article; zbMATH DE number 625207

Cited in

(only showing first 100 items - show all)

Canonical varieties with no canonical axiomatisation
Rosser provability and normal modal logics
Constructive embedding from extensions of logics of strict implication into modal logics
Algorithmic correspondence and canonicity for distributive modal logic
A note on admissible rules and the disjunction property in intermediate logics
A note on the issue of cohesiveness in canonical models
Bilattice logic of epistemic actions and knowledge
The complexity of identifying characteristic formulae
scientific article; zbMATH DE number 7397337 (Why is no real title available?)
A simplified lower bound for implicational logic
Undecidability of the problem of recognizing axiomatizations of superintuitionistic propositional calculi
A simple way to overcome hyperconnexivity
Relational semantics for normal topological quasi-Boolean logic
Modal languages for topology: expressivity and definability
The modal logic of \({\beta(\mathbb{N})}\)
Through an inference rule, darkly
Tabularity and post-completeness in tense logic
KD45 with propositional quantifiers
Canonical formulas for \(k\)-potent commutative, integral, residuated lattices
Quasi-modal operators on distributive nearlattices
Intermediate logics admitting a structural hypersequent calculus
INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY
Goal-oriented proof-search in natural deduction for intuitionistic propositional logic
scientific article; zbMATH DE number 92610 (Why is no real title available?)
An algebraic approach to subframe logics. Intuitionistic case
The modal logic of affine planes is not finitely axiomatisable
Kripke semantics for provability logic GLP
Connected modal logics
Optimization techniques for propositional intuitionistic logic and their implementation
On Kripke completeness of modal predicate logics around quantified \textbf{K5}
MNiBLoS: a SMT-based solver for continuous t-norm based logics and some of their modal expansions
Duality for \(\kappa\)-additive complete atomic modal algebras
About the unification type of modal logics between \(\mathbf{KB}\) and \(\mathbf{KTB} \)
Program schemata technique for propositional program logics: a 30-year history
Frames for fusions of modal logics
On modal logics betweenK × K × KandS5 × S5 × S5
Multiple-valued semantics for metric temporal logic
The decision problem for combined modal logics
Three dual ontologies
Projective algebras and primitive subquasivarieties in varieties with factor congruences
scientific article; zbMATH DE number 7204446 (Why is no real title available?)
CHARACTERIZING EXISTENCE OF A MEASURABLE CARDINAL VIA MODAL LOGIC
An evaluation-driven decision procedure for G3i
Frege systems for extensible modal logics
Axiomatic and dual systems for constructive necessity, a formally verified equivalence
Lower complexity bounds in justification logic
On modal logics arising from scattered locally compact Hausdorff spaces
Modal logics for mobile processes revisited
DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV
A coalgebraic view on positive modal logic
Monotonic distributive semilattices
Multimodal epistemic Łukasiewicz logics with application in immune system
\(\mathcal {BCDL}\): Basic constructive description logic
The modal logic of agreement and noncontingency
Modal companions for the special extensions of Nelson's constructive logic
An intriguing logic with two implicational connectives
Complexity of some problems in positive and related calculi
Kripke completeness of infinitary predicate multimodal logics
On provability logics of Niebergall arithmetic
Reflection calculus and conservativity spectra
IMPROVING STRONG NEGATION
Unification and Passive Inference Rules for Modal Logics
On Shehtman's two problems
Decidability of multi-modal logic LTK of linear time and knowledge
Prior's OIC nonconservativity example revisited
General frames for relevant modal logics
Intermediate logics and Visser's rules
Epimorphism surjectivity in varieties of Heyting algebras
INTUITIONISTIC EPISTEMIC LOGIC
Unification, finite duality and projectivity in varieties of Heyting algebras
Terminating calculi for propositional Dummett logic with subformula property
Self-referential justifications in epistemic logic
The contribution of A. V. Kuznetsov to the theory of modal systems and structures
Free Heyting algebra endomorphisms: Ruitenburg’s Theorem and beyond
SLAP: specification logic of actions with probability
On Blass translation for Leśniewski's propositional ontology and modal logics
A semantic hierarchy for intuitionistic logic
A note on the complexity of \textbf{S4.2}
A Lindström theorem for intuitionistic first-order logic
Nested sequents for intermediate logics: the case of Gödel-Dummett logics
Rules with parameters in modal logic. II.
The power of a propositional constant
A Sahlqvist theorem for distributive modal logic
Poset products as relational models
MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS
Fixed point logics and definable topological properties
Normal companions of intuitionistic modal logics
FRACTIONAL-VALUED MODAL LOGIC
Almost structural completeness; an algebraic approach
Term satisfiability in \(\mathrm{FL}_{\mathrm{ew}}\)-algebras
Admissible bases via stable canonical rules
Automorphisms of the lattice of classical modal logics
Disjunction property and complexity of substructural logics
Krull dimension in modal logic
scientific article; zbMATH DE number 4041866 (Why is no real title available?)
Complexity of admissible rules
On interpolation in NEXT(KB.Alt(2))
The closed fragment of IL is PSPACE hard
A negative solution of Kuznetsov’s problem for varieties of bi-Heyting algebras
Bi-intermediate logics of trees and co-trees

This page was built for publication:

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