A completeness theorem in modal logic
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Reprint of: Reasoning about knowledge of unawareness revisited
- Public and private communication are different: Results on relative expressivity
- Where gamma fails
- A Hintikka possible worlds model for certainty levels in medical decision making
- Current trends in substructural logics
- Deontic logic and possible worlds semantics: A historical sketch
- European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988
- An Arithmetically Complete Predicate Modal Logic
- On Kripke completeness of modal predicate logics around quantified \textbf{K5}
- Undecidability of modal and intermediate first-order logics with two individual variables
- Three dual ontologies
- A defense the Kripkean account of logical truth in first-order modal logic
- Infinitary combinatorics and modal logic
- Five faces of minimality
- Quantifying over propositions in relevance logic: nonaxiomatisability of primary interpretations of ∀p and ∃p
- Some kinds of modal completeness
- On the decision problem for MELL
- Twenty-five basic theorems in situation and world theory
- CIFOL: case-intensional first order logic. I: Toward a theory of sorts
- Constructive decision via redundancy-free proof-search
- Conservative extension in relevant implication
- Revising Carnap's semantic conception of modality
- Labelled tableau systems for some subintuitionistic logics
- John McCarthy's legacy
- New foundations for counterfactuals
- Algebraic semantics for modal logics I
- Investigations into quantified modal logic. I
- Validity and necessity
- Soundness-preserving fusion of modal logics in Coq
- Paraconsistency and the need for infinite semantics
- Separation logics and modalities: a survey
- On the logic of belief and propositional quantification
- Category theory, logic and formal linguistics: some connections, old and new
- Carnapian extensions of S5
- Logical analysis of emotions in text from natural language
- A liberated version of S5
- The early formation of modal logic and its significance: a historical note on Quine, Carnap, and a bit of Church
- Classical relevant logics. I
- Classical relevant logics. II
- Contextual deduction theorems
- Order-dual relational semantics for non-distributive propositional logics: a general framework
- Modal logic S5 satisfiability in answer set programming
- Kripke modelling and verification of temporal specifications of a multiple UAV system
- A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems
- CAN MODALITIES SAVE NAIVE SET THEORY?
- The broadest necessity
- Boxes go bananas: Encoding higher-order abstract syntax with parametric polymorphism
- Forcing-Based Cut-Elimination for Gentzen-Style Intuitionistic Sequent Calculus
- Shortest axiomatizations of implicational S4 and S5
- Computing distributed knowledge as the greatest lower bound of knowledge
- The genesis of possible worlds semantics
- Machine-checked meta-theory of dual-tableaux for intuitionistic logic
- Common belief of weak-dominance rationality in strategic-form games: a qualitative analysis
- An epistemic model of logic programming
- Embedding an analytic equivalence relation in the transitive closure of a Borel relation
- On fork arrow logic and its expressive power
- Dialetheic conditional modal logic
- EVERYONE KNOWS THAT SOMEONE KNOWS: QUANTIFIERS OVER EPISTEMIC AGENTS
- Elements for a history of artificial intelligence
- A simplicial complex model for dynamic epistemic logic to study distributed task computability
- Generalized sketches as a framework for completeness theorems. I-III
- New(ish) foundations for theories of entailment
- Substructural negations as normal modal operators
- Mission impossible
- Individual concepts: their logic, philosophy, and some of their uses
- Entailment, mingle and binary accessibility
- The logic of logical necessity
- Saul Kripke: a portrait of the modal logician as a young man
- Dynamic reasoning with qualified syllogisms
- Temporal logic and fair discrete systems
- Complete abstractions and subclassical modal logics
- Finite-Chain Graded Modal Logic
- Normal modal model theory
- Equivalence and theory expansion
- An (almost) fuzzy logic of action and preferences, its quasi-model interpretations, and the problem of its decidability
- A logical expression of reasoning
- From intuitionism to many-valued logics through Kripke models
- Modal logic with subjunctive conditionals and dispositional predicates
- Mathematical modal logic: A view of its evolution
- Soundness and completeness proofs by coinductive methods
- Logics with Probability Operators
- Second-order propositional modal logic and monadic alternation hierarchies
- Expressive power of propositionally quantified modal logics on variable domain structures with accessibility
- From Monadic Logic to PSL
- Propositional quantification in the topological semantics for S4
- A logical query language for hypermedia systems
- Reasoning-based introspection
- An essay in combinatory dynamic logic
- IN MEMORIAM: J. MICHAEL DUNN, 1941–2021
- New representations of modal functions
- Quantified multimodal logics in simple type theory
- Back to the actual future
- Propositional quantification in bimodal S5
- The implicational fragment of R-mingle
- Kripke modelling approaches of a multiple robots system with minimalist communication: A formal approach of choice
- Actuality, tableaux, and two-dimensional modal logics
- The modal logic of continuous functions on Cantor space
- Proof analysis in intermediate logics
- Intersection and union types
- The fundamental theorem of world theory
This page was built for publication: A completeness theorem in modal logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3265659)
