Algebraic semantics for modal logics I
From MaRDI portal
Publication:5525332
DOI10.2307/2270619zbMath0147.24805OpenAlexW4244478014MaRDI QIDQ5525332
Publication date: 1966
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2270619
Related Items
On correspondence of standard modalities and negative ones on the basis of regular and quasi-regular logics, An algebraic study of well-foundedness, Modal operators on pseudo-BE algebras, Topology and duality in modal logic, On regular modal logics with axiom \(\square \top \to \square \square \top\), Varieties of complex algebras, Positive modal logic, Modal logic for other-world agnostics: Neutrality and Halldén incompleteness, Interconnection of the lattices of extensions of four logics, European Summer Meeting of the Association for Symbolic Logic, (Logic Colloquium '87), Granada, Spain, 1987, Combination problems for commutative/monoidal theories or how algebra can help in equational unification, Logics with Impossibility as the Negation and Regular Extensions of the Deontic Logic D2, A unification of two approaches to vagueness: the Boolean many-valued approach and the modal-precisificational approach, Duality for modal \(\mu\)-logics, Modal multilattice logic, First-order indefinite and uniform neighbourhood semantics, Counterfactuals as modal conditionals, and their probability, ALGEBRAIC SEMANTICS FOR RELATIVE TRUTH, AWARENESS, AND POSSIBILITY, Squares in fork arrow logic, Complete Abstractions and Subclassical Modal Logics, C. I. Lewis's intensional semantics, Modal extensions of sub-classical logics for recovering classical logic, Some kinds of modal completeness, Four-Valued Logics BD and DM4: Expansions, On Theses Without Iterated Modalities of Modal Logics Between C1 and S5. Part 1, The deducibilities of S5, Possible worlds in use, Mathematical modal logic: A view of its evolution, Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus, On fork arrow logic and its expressive power, Construction of rough approximations in fuzzy setting, GENERALIZED TOPOLOGIES AND THEIR RELEVANCE TO GENERAL SYSTEM† Bibliography of Works of the č ech Topological School, PROTECTION AS A GENERAL SYSTEMS PROBLEM, POLYNOMIAL RING CALCULUS FOR MODAL LOGICS: A NEW SEMANTICS AND PROOF METHOD FOR MODALITIES, Amalgamation and interpolation in normal modal logics, Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study, Dugundji's theorem revisited, Algebras with modular lattice reducts and simple subdirectly irreducibles, On a semantics for non-classical logics, Kripke semantics for modal systems including S4.3, Monadic bounded algebras, Investigations into quantified modal logic. I, An algebraic study of tense operators on Nelson algebras, Hereditarily finitely axiomatizable extensions of logic S4, On modal logic with an intuitionistic base, On some intuitionistic modal logics, The lattice of modal logics: an algebraic investigation, On ultrafilter extensions of first-order models and ultrafilter interpretations, Solving the \$100 modal logic challenge, STABLE MODAL LOGICS, Power structures, A study of Kripke-type models for some modal logics by Gentzen's sequential method, Forcing operators on MTL-algebras, On Finite Model Property for Admissible Rules, Noncompact extensions of the logic S4, Two views of the theory of rough sets in finite universes, Non-classical operations hidden in classical logic, On the finite model property for Kripke models, Completeness of modal logics with prefinite width, Rough operations on Boolean algebras, Constructive and algebraic methods of the theory of rough sets, A comparative study of fuzzy sets and rough sets, Validity and necessity, Critical modal logics containing the Brouwer axiom, A categorical equivalence for tense Nelson algebras, An interpretation of Łukasiewicz's 4-valued modal logic
Cites Work
