Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
From MaRDI portal
Publication:5728442
DOI10.1002/MALQ.19630090502zbMath0118.01305OpenAlexW2075277371MaRDI QIDQ5728442
Publication date: 1963
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19630090502
Related Items (only showing first 100 items - show all)
Current trends in substructural logics ⋮ Formal theories of knowledge in AI and robotics ⋮ The computational complexity of the satisfiability of modal Horn clauses for modal propositional logics ⋮ A tableau-like proof procedure for normal modal logics ⋮ Fuzzy terms ⋮ A theory of modal dialectics ⋮ Dynamic interactive epistemology ⋮ Maximality in modal logic ⋮ Possible world semantics and autoepistemic reasoning ⋮ Rational choice and AGM belief revision ⋮ Completeness results for intuitionistic and modal logic in a categorical setting ⋮ Belief, awareness, and limited reasoning ⋮ Models for normal intuitionistic modal logics ⋮ Topology and duality in modal logic ⋮ Infinitary propositional normal modal logic ⋮ A natural semantics for modal logic over databases ⋮ Meredith, Prior, and the history of possible worlds semantics ⋮ The convolution algebra ⋮ A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic ⋮ The modal logic of continuous functions on Cantor space ⋮ Belief, knowledge, lies and other utterances in an algebra for space and extrusion ⋮ Pure extensions, proof rules, and hybrid axiomatics ⋮ Worlds, models and descriptions ⋮ Indexed systems of sequents and cut-elimination ⋮ Ternary relations and relevant semantics ⋮ Der Verband der normalen verzweigten Modallogiken ⋮ Bilattices and the theory of truth ⋮ Propositional quantification in the topological semantics for \(\mathbf S4\) ⋮ Some intuitions behind realizability semantics for constructive logic: Tableaux and Läuchli countermodels ⋮ A complete proof system for propositional projection temporal logic ⋮ The logic of uncertain justifications ⋮ Modeling agents as qualitative decision makers ⋮ Possibilistic reasoning -- a mini-survey and uniform semantics ⋮ First-order indefinite and uniform neighbourhood semantics ⋮ A logical characterization of extensive games with short sight ⋮ Information dependent games: can common sense be common knowledge? ⋮ Belief change in branching time: AGM-consistency and iterated revision ⋮ Application of modal logic to programming ⋮ A proof-theoretic investigation of a logic of positions ⋮ An NP-complete fragment of fibring logic ⋮ Order-dual relational semantics for non-distributive propositional logics: a general framework ⋮ A Hintikka possible worlds model for certainty levels in medical decision making ⋮ Some notes on Church's thesis and the theory of games ⋮ Possible worlds in use ⋮ Foreword to the special issue dedicated to the memory of Leo Esakia ⋮ Mathematical modal logic: A view of its evolution ⋮ Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus ⋮ Reasoning about collectively accepted group beliefs ⋮ The World's simplest axiom of choice fails ⋮ The semantics of entailment omega ⋮ Truth as an epistemic ideal ⋮ The fundamental theorem of world theory ⋮ Algebraic Kripke-style semantics for relevance logics ⋮ A semantic hierarchy for intuitionistic logic ⋮ Graded hypothesis theories ⋮ Amalgamation and interpolation in normal modal logics ⋮ A guide to completeness and complexity for modal logics of knowledge and belief ⋮ Agnostic hyperintensional semantics ⋮ A new proof of the McKinsey-Tarski theorem ⋮ An efficient approach for abstraction-refinement in model checking ⋮ Interpolation in weakly transitive modal logics ⋮ Normal bimodal logics of ability and action ⋮ Grades of probability modality in the law of evidence ⋮ John McCarthy's legacy ⋮ Dynamic topological logic ⋮ Normal modal model theory ⋮ A proof of topological completeness for S4 in \((0,1)\) ⋮ Rational belief change, Popper functions and counterfactuals ⋮ Investigations into quantified modal logic. I ⋮ On the nonexistence of universal information structures ⋮ Provability interpretations of modal logic ⋮ Tavole semantiche per sistemi astratti di logica estensionale ⋮ Semantical analyses of propositional systems of Fitch and Nelson ⋮ A splitting logic in NExt(KTB) ⋮ Kripke incomplete logics containing KTB ⋮ On some intuitionistic modal logics ⋮ Actuality, tableaux, and two-dimensional modal logics ⋮ Subformula results in some propositional modal logics ⋮ Solving the \$100 modal logic challenge ⋮ A study of Kripke-type models for some modal logics by Gentzen's sequential method ⋮ Propositional dynamic logic of regular programs ⋮ Dynamic topological S5 ⋮ Tensed modalities ⋮ On what ontology is and not-is ⋮ Axiomatic characterization of the AGM theory of belief revision in a temporal logic ⋮ An epistemic model of an agent who does not reflect on reasoning processes ⋮ Terminating tableau systems for hybrid logic with difference and converse ⋮ EXPtime tableaux for ALC ⋮ Interpreting network formalisms ⋮ Specification languages in algebraic compilers ⋮ Modal tableau calculi and interpolation ⋮ Noncumulative dialectical models and formal dialectics ⋮ Five faces of minimality ⋮ Carnapian extensions of S5 ⋮ An essay in combinatory dynamic logic ⋮ Constructive design of a hierarchy of semantics of a transition system by abstract interpretation ⋮ A simple modal logic for belief revision ⋮ The genesis of possible worlds semantics ⋮ Axiomatic-like performance analysis (ALPA) ⋮ The intrinsic quantum nature of Nash equilibrium mixtures
This page was built for publication: Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
