A completeness theorem in modal logic
From MaRDI portal
Publication:3265659
DOI10.2307/2964568zbMath0091.00902OpenAlexW2155581733MaRDI QIDQ3265659
Publication date: 1959
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2964568
Related Items
Current trends in substructural logics, A logical query language for hypermedia systems, Soundness and completeness proofs by coinductive methods, Category theory, logic and formal linguistics: some connections, old and new, Twenty-five basic theorems in situation and world theory, Quantified epistemic logics for reasoning about knowledge in multi-agent systems, Ultraproducts and possible worlds semantics in institutions, Towards automating duality, The broadest necessity, Completeness results for intuitionistic and modal logic in a categorical setting, Introduction to Model Checking, Temporal Logic and Fair Discrete Systems, Logic and social cognition. The facts matter, and so do computational models, Automating Leibniz’s Theory of Concepts, Deontic logic and possible worlds semantics: A historical sketch, The modal logic of continuous functions on Cantor space, \textit{De re} language, \textit{de re} eliminability, and the essential limits of both, Pure extensions, proof rules, and hybrid axiomatics, Embedding an analytic equivalence relation in the transitive closure of a Borel relation, From intuitionism to many-valued logics through Kripke models, Propositional quantification in the topological semantics for \(\mathbf S4\), Does the deduction theorem fail for modal logic?, Higher-order contingentism. I: Closure and generation, A logical expression of reasoning, New representations of modal functions, Introducing \(H\), an institution-based formal specification and verification language, Reasoning-based introspection, Max-flow min-cut theorems on dispersion and entropy measures for communication networks, Squares in fork arrow logic, Dynamic reasoning with qualified syllogisms, Complete Abstractions and Subclassical Modal Logics, Counterpart theories for everyone, Quantified multimodal logics in simple type theory, Some kinds of modal completeness, Order-dual relational semantics for non-distributive propositional logics: a general framework, Opacity and the double life of singular propositions, Modal logic S5 in answer set programming with lazy creation of worlds, Kripke models for classical logic, Kripke modelling and verification of temporal specifications of a multiple UAV system, Computing distributed knowledge as the greatest lower bound of knowledge, A Hintikka possible worlds model for certainty levels in medical decision making, An epistemic model of logic programming, Contextual deduction theorems, Possible worlds in use, Mathematical modal logic: A view of its evolution, Second-order propositional modal logic and monadic alternation hierarchies, Quantified temporal alethic-deontic logic, Shortest axiomatizations of implicational S4 and S5, On fork arrow logic and its expressive power, Proof analysis in intermediate logics, The fundamental theorem of world theory, CIFOL: case-intensional first order logic. I: Toward a theory of sorts, On the decision problem for MELL, Abduction in economics: a conceptual framework and its model, On a derivation of the necessity of identity, Dialetheic Conditional Modal Logic, Generalized sketches as a framework for completeness theorems. I-III, On the logic of belief and propositional quantification, Reprint of: Reasoning about knowledge of unawareness revisited, Common belief of weak-dominance rationality in strategic-form games: a qualitative analysis, Formal reasoning with rough sets in multiple-source approximation systems, Revising Carnap's semantic conception of modality, John McCarthy's legacy, Conservative extension in relevant implication, Logical characterizations of regular equivalence in weighted social networks, Classical relevant logics. I, Classical relevant logics. II, Hauptsatz for higher-order modal logic, Normal modal model theory, Investigations into quantified modal logic. I, A simplicial complex model for dynamic epistemic logic to study distributed task computability, Actuality, tableaux, and two-dimensional modal logics, New foundations for counterfactuals, Quelques remarques sur les `tableaux de Beth', Back to the actual future, Propositional quantification in bimodal S5, Efficient multi-agent epistemic planning: teaching planners about nested belief, Public and private communication are different: Results on relative expressivity, Dynamic topological S5, Key notions of Tarski's methodology of deductive systems, Random models of logical systems. III. Models of quantified logics, Paraconsistency and the need for infinite semantics, The personal wealth importance to the intertemporal choice, A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers, Reasoning about knowledge of unawareness, Modal logic with subjunctive conditionals and dispositional predicates, Provability as a deontic notion, A strong completeness theorem in intuitionistic quantified modal logic, Labelled tableau systems for some subintuitionistic logics, Validity and necessity, A defense the Kripkean account of logical truth in first-order modal logic, Counterpart semantics at work: independence and incompleteness results in quantified modal logic, Interpreting network formalisms, On Kripke completeness of modal predicate logics around quantified \textbf{K5}, Five faces of minimality, Carnapian extensions of S5, An essay in combinatory dynamic logic, Where gamma fails, Three dual ontologies, The genesis of possible worlds semantics, IN MEMORIAM: J. MICHAEL DUNN, 1941–2021, Quantifying over propositions in relevance logic: nonaxiomatisability of primary interpretations of ∀p and ∃p, Assignment Calculus: A Pure Imperative Language, Undecidability of modal and intermediate first-order logics with two individual variables, A liberated version of S5, Infinitary combinatorics and modal logic, European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988, The implicational fragment of $R$-mingle, Intersection and union types, Separation logics and modalities: a survey, An Arithmetically Complete Predicate Modal Logic, Algebraic semantics for the minimum many-valued modal logic over Ł\(_n\), An (almost) fuzzy logic of action and preferences, its quasi-model interpretations, and the problem of its decidability, Back and forth constructions in modal logic: An interpolation theorem for a family of modal logics, Modal Rules: Extending Defeasible Logic with Modal Operators, ReLo: a Dynamic Logic to Reason About Reo Circuits, Logical analysis of emotions in text from natural language, Unnamed Item, EVERYONE KNOWS THAT SOMEONE KNOWS: QUANTIFIERS OVER EPISTEMIC AGENTS, CAN MODALITIES SAVE NAIVE SET THEORY?, A SAHLQVIST THEOREM FOR SUBSTRUCTURAL LOGIC, Unnamed Item, Boxes go bananas: Encoding higher-order abstract syntax with parametric polymorphism, Unnamed Item, From Philosophical to Industrial Logics, A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems, Intentional identity interpreted: A case study of the relations among quantifiers, pronouns, and propositional attitudes, Constructive decision via redundancy-free proof-search, From Monadic Logic to PSL, The Early Formation of Modal Logic and its Significance: A Historical Note on Quine, Carnap, and a Bit of Church, Finite-Chain Graded Modal Logic, Forcing-Based Cut-Elimination for Gentzen-Style Intuitionistic Sequent Calculus, Kripke modelling approaches of a multiple robots system with minimalist communication: A formal approach of choice, Algebraic semantics for modal logics I, Modal Logic S5 Satisfiability in Answer Set Programming, Interpretations of Weak Positive Modal Logics, Logics with Probability Operators
Cites Work
