Publication:4698331
From MaRDI portal
zbMath0855.03002MaRDI QIDQ4698331
Publication date: 15 May 1995
03B45: Modal logic (including the logic of norms)
03-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations
Related Items
A unified completeness theorem for quantified modal logics, Barcan Both Ways, A proof-theoretic study of the correspondence of classical logic and modal logic, Forcing in Proof Theory, Reflections on Fourteen Cryptic Issues Concerning the Nature of Statistical Inference*, Modal logics of succession for 2-dimensional integral spacetime, Completeness and decidability results for some propositional modal logics containing ``actually operators, Uncompactness of stit logics containing generalized refref conditionals, A note on the modal and temporal logics for \(n\)-dimensional spacetime, Indexed actuality, First-order expressivity for S5-models: Modal vs. two-sorted languages, Unifying quantified modal logic, Individual concepts in modal predicate logic, Conditional excluded middle in systems of consequential implication, First-order modal logic with an `actually' operator, An adaptive logic based on Jaśkowski's approach to paraconsistency, Modal logic for other-world agnostics: Neutrality and Halldén incompleteness, Derivability in certain subsystems of the logic of proofs is \(\Pi_2^p\)-complete, Connectionist modal logic: representing modalities in neural networks, Resolution principles in possibilistic logic, An algebraic semantics of notional entailment logic Cn, Algebraic neighbourhood logic, The method of Socratic proofs for modal propositional logics: K5, S4.2, S4.3, S4F, S4R, S4M and G., Solving the \$100 modal logic challenge, Chronological ignorance: Experiments in nonmonotonic temporal reasoning, A fuzzy document retrieval method based on two-valued indexing, Programming in metric temporal logic, Non-monotonic logic. I, Interpretations of intuitionist logic in non-normal modal logics, Combinations of tense and modality for predicate logic, A tableau-like proof procedure for normal modal logics, ``Everywhere in predicate algebra and modal logic, Synonymous logics, The fixed point property in modal logic, Extended quantum logic, A decidable multi-modal logic of context, The modal logic of agreement and noncontingency, Strong completeness theorems for weak logics of common belief, Some remarks on the possibility of extending resolution proof procedures to intuitionistic logic, Three dual ontologies, Effective completeness theorems for modal logic, Investigations into quantified modal logic, An incomplete relevant modal logic, Subjective reasoning -- dynamic games, Abductive reasoning in neural-symbolic systems, An intrinsic topology for orthomodular lattices, Approximations of modal logics: \(\mathbf K\) and beyond, A Grim semantics for logics of belief, On modal logic of deductive closure, Strict identity with no overlap, Action and knowledge in alternating-time temporal logic, Multimodal logic programming, Worlds and times, An axiomatization of PCTL*, A formal characterisation of Hamblin's action-state semantics, A deep inference system for the modal logic S5, On a rule-based interpretation of default conditionals, Fibring: completeness preservation, Decidable fragments of first-order modal logics, Undecidability of First-Order Intuitionistic and Modal Logics with Two variables, Some Rough Consequence Logics and their Interrelations, A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems, On the logic of theory change: Partial meet contraction and revision functions
