Mathematical modal logic: A view of its evolution
From MaRDI portal
Recommendations
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 logic1
- 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)