Mathematical modal logic: A view of its evolution

DOI10.1016/S1570-8683(03)00008-9MaRDI QIDQ1422628zbMATH OpenFDO

Authors Robert Goldblatt

Publication date 24 February 2004

Published in Journal of Applied Logic (Search for Journal in Brave)

zbMATH Keywords

surveymodal logicKripke semanticsBoolean algebras with operatorshistory of logic

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Modal logic (including the logic of norms) (03B45) History of mathematical logic and foundations (03-03)

Recommendations

• Provability: The emergence of a mathematical modality
• Logic and the modalities in the twentieth century
• Meredith, Prior, and the history of possible worlds semantics
• scientific article; zbMATH DE number 1489632
• scientific article; zbMATH DE number 1418447

Cites work

• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 432737 (Why is no real title available?)
• scientific article; zbMATH DE number 3650525 (Why is no real title available?)
• scientific article; zbMATH DE number 3887063 (Why is no real title available?)
• scientific article; zbMATH DE number 3124827 (Why is no real title available?)
• scientific article; zbMATH DE number 3125693 (Why is no real title available?)
• scientific article; zbMATH DE number 3129315 (Why is no real title available?)
• scientific article; zbMATH DE number 3131078 (Why is no real title available?)
• scientific article; zbMATH DE number 3160337 (Why is no real title available?)
• scientific article; zbMATH DE number 3162889 (Why is no real title available?)
• scientific article; zbMATH DE number 3164639 (Why is no real title available?)
• scientific article; zbMATH DE number 3870578 (Why is no real title available?)
• scientific article; zbMATH DE number 3898850 (Why is no real title available?)
• scientific article; zbMATH DE number 747023 (Why is no real title available?)
• scientific article; zbMATH DE number 3688686 (Why is no real title available?)
• scientific article; zbMATH DE number 3714896 (Why is no real title available?)
• scientific article; zbMATH DE number 3716792 (Why is no real title available?)
• scientific article; zbMATH DE number 42735 (Why is no real title available?)
• scientific article; zbMATH DE number 42737 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 67029 (Why is no real title available?)
• scientific article; zbMATH DE number 108434 (Why is no real title available?)
• scientific article; zbMATH DE number 192841 (Why is no real title available?)
• scientific article; zbMATH DE number 3461905 (Why is no real title available?)
• scientific article; zbMATH DE number 3463628 (Why is no real title available?)
• scientific article; zbMATH DE number 3468783 (Why is no real title available?)
• scientific article; zbMATH DE number 3485746 (Why is no real title available?)
• scientific article; zbMATH DE number 3494368 (Why is no real title available?)
• scientific article; zbMATH DE number 3499717 (Why is no real title available?)
• scientific article; zbMATH DE number 3499719 (Why is no real title available?)
• scientific article; zbMATH DE number 3508462 (Why is no real title available?)
• scientific article; zbMATH DE number 3510287 (Why is no real title available?)
• scientific article; zbMATH DE number 3603256 (Why is no real title available?)
• scientific article; zbMATH DE number 3607998 (Why is no real title available?)
• scientific article; zbMATH DE number 3635994 (Why is no real title available?)
• scientific article; zbMATH DE number 3639591 (Why is no real title available?)
• scientific article; zbMATH DE number 1215499 (Why is no real title available?)
• scientific article; zbMATH DE number 1222481 (Why is no real title available?)
• scientific article; zbMATH DE number 1222487 (Why is no real title available?)
• scientific article; zbMATH DE number 1028833 (Why is no real title available?)
• scientific article; zbMATH DE number 1032009 (Why is no real title available?)
• scientific article; zbMATH DE number 1142324 (Why is no real title available?)
• scientific article; zbMATH DE number 1142326 (Why is no real title available?)
• scientific article; zbMATH DE number 1150562 (Why is no real title available?)
• scientific article; zbMATH DE number 1170091 (Why is no real title available?)
• scientific article; zbMATH DE number 2079039 (Why is no real title available?)
• scientific article; zbMATH DE number 1488152 (Why is no real title available?)
• scientific article; zbMATH DE number 1489632 (Why is no real title available?)
• scientific article; zbMATH DE number 4119650 (Why is no real title available?)
• scientific article; zbMATH DE number 3799616 (Why is no real title available?)
• scientific article; zbMATH DE number 3010765 (Why is no real title available?)
• scientific article; zbMATH DE number 757645 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• scientific article; zbMATH DE number 1414373 (Why is no real title available?)
• scientific article; zbMATH DE number 3204690 (Why is no real title available?)
• scientific article; zbMATH DE number 3212004 (Why is no real title available?)
• scientific article; zbMATH DE number 3222098 (Why is no real title available?)
• scientific article; zbMATH DE number 3222132 (Why is no real title available?)
• scientific article; zbMATH DE number 3248792 (Why is no real title available?)
• scientific article; zbMATH DE number 3271460 (Why is no real title available?)
• scientific article; zbMATH DE number 3315171 (Why is no real title available?)
• scientific article; zbMATH DE number 3325547 (Why is no real title available?)
• scientific article; zbMATH DE number 3339390 (Why is no real title available?)
• scientific article; zbMATH DE number 3349291 (Why is no real title available?)
• scientific article; zbMATH DE number 3385864 (Why is no real title available?)
• scientific article; zbMATH DE number 3411260 (Why is no real title available?)
• scientific article; zbMATH DE number 3051936 (Why is no real title available?)
• scientific article; zbMATH DE number 3054619 (Why is no real title available?)
• scientific article; zbMATH DE number 3062910 (Why is no real title available?)
• A Henkin completeness theorem for T
• A NOTE ON THE MODAL CALCULI S 4.2 AND S 4.3
• A Neighbourhood Frame for T with No Equivalent Relational Frame
• A calculus of communicating systems
• A completeness theorem in modal logic
• A finite model theorem for the propositional \(\mu\)-calculus
• A generalisation of the concept of a relational model for modal logic¹
• A guide to completeness and complexity for modal logics of knowledge and belief
• A lattice-theoretical fixpoint theorem and its applications
• A modal logic for message passing processes
• A near-optimal method for reasoning about action
• A new proof of Sahlqvist's theorem on modal definability and completeness
• A normal modal calculus between T and S4 without the finite model property
• A note on modal formulae and relational properties
• A remark on functionally free algebras
• Algebraic laws for nondeterminism and concurrency
• Algebraic polymodal logic: a survey
• Algebraic postulates and a geometric interpretation for the Lewis calculus of strict implication
• Algebraic semantics for modal logics I
• Algebras Whose Congruence Lattices are Distributive.
• An algebraic study of Diodorean modal systems
• An algebraic study of tense logics with linear time
• An automata theoretic decision procedure for the propositional mu- calculus
• An axiomatic basis for computer programming
• An axiomatization of full computation tree logic
• An essay in modal logic
• An extension of S4 complete for the neighbourhood semantics but incomplete for the relational semantics
• An incomplete decidable modal logic
• An incomplete logic containing S4
• An incomplete system of modal logic
• An incompleteness theorem in modal logic
• Application of modal logic to programming
• Arithmetical necessity, provability and intuitionistic logic
• Boolean Algebras with Operators
• Boolean Algebras with Operators. Part I
• CTL^* and ECTL^* as fragments of the modal -calculus
• Calculi for synchrony and asynchrony
• Categories of frames for modal logic
• Completeness in the theory of types
• Completeness of Kozen's axiomatisation of the propositional \(\mu\)-calculus.
• Computational types from a logical perspective
• Decidability and the finite model property
• Decidability of Second-Order Theories and Automata on Infinite Trees
• Decision procedures and expressiveness in the temporal logic of branching time
• Descriptively complete process logic
• Diodorean modality in Minkowski spacetime
• Duality between modal algebras and neighbourhood frames
• Elementary generation and canonicity for varieties of Boolean algebras with operators
• Equational Bases and Nonmodular Lattice Varieties
• Extensions of the Lewis system S5
• First-order definability in modal logic
• First-order dynamic logic
• Grothendieck Topology as Geometric Modality
• Handbook of process algebra
• Incompleteness of semantics for intermediate predicate logics, I. Kripke's Semantics
• Investigations in modal and tense logics with applications to problems in philosophy and linguistics
• Metamathematics of modal logic
• Modal Logics Between S 4 and S 5
• Modal Operators, Equivalence Relations, and Projective Algebras
• Modal formulas are either elementary or not ΣΔ-elementary
• Modal logics and mu-calculi: An introduction
• Modal logics and varieties of modal algebras: The Beth properties, interpolation, and amalgamation
• Modal logics for communicating systems
• Modal logics for mobile processes
• Modal logics of domains on the real plane
• Modal logics with linear alternative relations
• Modal operators on Heyting algebras
• Modalities and Quantification
• Modality and quantification in S5
• Model theory
• Multi-dimensional modal logic
• New foundations for Lewis modal systems
• Noncompactness in propositional modal logic
• Normal forms in modal logic
• Note on a paper in tense logic
• Notions of computation and monads
• On Some Completeness Theorems in Modal Logic
• On closed elements in closure algebras
• On decidable, finitely axiomatizable, modal and tense logics without the finite model property. I, II
• On powerdomains and modality
• On the canonicity of Sahlqvist identities
• On the syntactical construction of systems of modal logic
• Pragmatics and intensional logic
• Process logic: Expressiveness, decidability, completeness
• Projective Algebra I
• Proof systems for satisfiability in Hennessy-Milner logic with recursion
• Propositional dynamic logic of looping and converse is elementarily decidable
• Propositional dynamic logic of nonregular programs
• Propositional dynamic logic of regular programs
• Propositional lax logic
• Provability interpretations of modal logic
• Provability: The emergence of a mathematical modality
• Quasi-modal equivalence of canonical structures
• Reduction of second‐order logic to modal logic
• Reduction of tense logic to modal logic II
• Reduction of tense logic to modal logic. I
• Relationships between nondeterministic and deterministic tape complexities
• Remarks about axiomatizations of certain modal systems
• Results on the propositional \(\mu\)-calculus
• Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras
• Self-reference and modal logic
• Semantic analysis of tense logics
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Solution of a problem of Leon Henkin
• Solution to a completeness problem of Lemmon and Scott
• Some embedding theorems for modal logic
• Some kinds of modal completeness
• Some relational systems and the associated topological spaces
• Some theorems about the sentential calculi of Lewis and Heyting
• Subdirect unions in universal algebra
• Syntactic aspects of modal incompleteness theorems
• Temporal logic can be more expressive
• That All Normal Extensions of S4.3 Have the Finite Model Property
• The Complexity of Tree Automata and Logics of Programs
• The Computational Complexity of Provability in Systems of Modal Propositional Logic
• The Logics Containing S 4.3
• The McKinsey axiom is not canonical
• The Morning Star Paradox
• The Russell-Prawitz modality
• The Undecidability of Monadic Modal Quantification Theory
• The algebra of topology
• The completeness of S1 and some related systems
• The completeness of the first-order functional calculus
• The complexity of theorem-proving procedures
• The elimination theorem when modality is present
• The inadequacy of the neighbourhood semantics for modal logic
• The lattice of modal logics: an algebraic investigation
• The logical consequence relation of propositional tense logic
• The preservation of Sahlqvist equations in completions of Boolean algebras with operators
• The problem of interpreting modal logic
• The temporal logic of branching time
• The temporal semantics of concurrent programs
• Tools and techniques in modal logic
• Topological representations of distributive lattices and Brouwerian logics
• Two simple incomplete modal logics
• Varieties of complex algebras
• “Sometimes” and “not never” revisited

Cited in

(23)

• Willem Blok and modal logic
• Decidability: theorems and admissible rules
• Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition
• Validity and necessity
• MacNeille completions and canonical extensions
• Canonical extensions: an algebraic approach to Stone duality
• Multimodal Separation Logic for Reasoning About Operational Semantics
• Erdős Graphs Resolve Fine's Canonicity Problem
• Proof complexity of non-classical logics
• Rethinking logic. Logic in relation to mathematics, evolution, and method
• Algebraic models of deviant modal operators based on De Morgan and Kleene lattices
• Branching time logics \(\mathcal {BTL}^{\text{U,S}}_{\text{N},\text{N}^{-1}}(\mathcal {Z})_{\alpha }\) with operations \textit{Until} and \textit{Since} based on bundles of integer numbers, logical consecutions, deciding algorithms
• Computational models for normative multi-agent systems
• On the Blok-Esakia theorem
• Finite-trace linear temporal logic: coinductive completeness
• COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS
• Intuitionistic epistemic logic, Kripke models and Fitch's paradox
• Modes of adjointness
• Possible worlds in use
• Constructive modalities with provability smack
• Knowledge means ‘all’, belief means ‘most’
• Topological Semantics for da Costa Paraconsistent Logics $$C_\omega $$ C ω and $$C^{*}_\omega $$ C ω ∗
• Lattices with Interior and Closure Operators and Abstract Approximation Spaces

This page was built for publication: Mathematical modal logic: A view of its evolution

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