Algebraic semantics for modal logics I
From MaRDI portal
Cites work
Cited in
(74)- Solving the \$100 modal logic challenge
- Critical modal logics containing the Brouwer axiom
- An algebraic study of well-foundedness
- Topology and duality in modal logic
- Duality for modal \(\mu\)-logics
- First-order indefinite and uniform neighbourhood semantics
- Some kinds of modal completeness
- The deducibilities of S5
- Amalgamation and interpolation in normal modal logics
- Algebras with modular lattice reducts and simple subdirectly irreducibles
- Kripke semantics for modal systems including S4.3
- Investigations into quantified modal logic. I
- Hereditarily finitely axiomatizable extensions of logic S4
- On modal logic with an intuitionistic base
- On some intuitionistic modal logics
- A study of Kripke-type models for some modal logics by Gentzen's sequential method
- Noncompact extensions of the logic S4
- Constructive and algebraic methods of the theory of rough sets
- A comparative study of fuzzy sets and rough sets
- Squares in fork arrow logic
- Mathematical modal logic: A view of its evolution
- Modal multilattice logic
- Power structures
- Two views of the theory of rough sets in finite universes
- Completeness of modal logics with prefinite width
- Positive modal logic
- Combination problems for commutative/monoidal theories or how algebra can help in equational unification
- Modal extensions of sub-classical logics for recovering classical logic
- An algebraic study of tense operators on Nelson algebras
- On ultrafilter extensions of first-order models and ultrafilter interpretations
- A categorical equivalence for tense Nelson algebras
- Dugundji's theorem revisited
- Interconnection of the lattices of extensions of four logics
- A unification of two approaches to vagueness: the Boolean many-valued approach and the modal-precisificational approach
- On fork arrow logic and its expressive power
- Construction of rough approximations in fuzzy setting
- On the finite model property for Kripke models
- Rough operations on Boolean algebras
- Validity and necessity
- An interpretation of Łukasiewicz's 4-valued modal logic
- On regular modal logics with axiom \(\square \top \to \square \square \top\)
- Varieties of complex algebras
- Many-sorted coalgebraic modal logic: A model-theoretic study
- Complete abstractions and subclassical modal logics
- Polynomial ring calculus for modal logics: a new semantics and proof method for modalities
- Forcing operators on MTL-algebras
- European Summer Meeting of the Association for Symbolic Logic, (Logic Colloquium '87), Granada, Spain, 1987
- Non-classical operations hidden in classical logic
- The lattice of modal logics: an algebraic investigation
- GENERALIZED TOPOLOGIES AND THEIR RELEVANCE TO GENERAL SYSTEM† Bibliography of Works of the č ech Topological School
- PROTECTION AS A GENERAL SYSTEMS PROBLEM
- On a semantics for non-classical logics
- Logics with Impossibility as the Negation and Regular Extensions of the Deontic Logic D2
- Four-valued logics \(\mathbf {BD}\) and \(\mathbf {DM4}\): expansions
- On theses without iterated modalities of modal logics between \(\mathbf{C1}\) and \(\mathbf{S5}\). I
- On Finite Model Property for Admissible Rules
- Stable modal logics
- Modal operators on pseudo-BE algebras
- Counterfactuals as modal conditionals, and their probability
- ALGEBRAIC SEMANTICS FOR RELATIVE TRUTH, AWARENESS, AND POSSIBILITY
- C. I. Lewis's intensional semantics
- Possible worlds in use
- Algebras and relational frames for Gödel modal logic and some of its extensions
- Valuation semantics for some systems of non-normal modal logic
- The Boolean many-valued solution to the sorites paradox
- Peirce and Łukasiewicz on modal and multi-valued logics
- Modern faces of filtration
- Saul Kripke: a portrait of the modal logician as a young man
- Modal hyperdoctrine: higher-order and non-normal extensions
- Monadic bounded algebras
- Finite model property of pretransitive analogues of (w)K4 and GL
- On correspondence of standard modalities and negative ones on the basis of regular and quasi-regular logics
- Modal logic for other-world agnostics: Neutrality and Halldén incompleteness
- Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus
This page was built for publication: Algebraic semantics for modal logics I
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5525332)
