scientific article

Publication date: 1980

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

possible worlds completeness filtrations decidability deontic logic Kripke models finite model property propositional modal logic conditional logic neighbourhood models normal systems Scott-Montague models

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02)

Related Items (only showing first 100 items - show all)

QUANTIFIED MODAL RELEVANT LOGICS ⋮ Differential Game Logic ⋮ Annual Meeting of the Association for Symbolic Logic, Durham, 1992 ⋮ HYPNO: Theorem Proving with Hypersequent Calculi for Non-normal Modal Logics (System Description) ⋮ A Conﬂict Tolerant Logic of Explicit Evidence ⋮ Coalgebraic Geometric Logic: Basic Theory ⋮ Relating Semantics for Epistemic Logic ⋮ Belief, provability, and logic programs ⋮ A Structure Theorem for Free Temporal Algebras ⋮ Formal semantics for authentication logics ⋮ A comparison between monoidal and substructural logics ⋮ Knowledge means ‘all’, belief means ‘most’ ⋮ Trust and agency in the context of communication ⋮ On the relation between possibilistic logic and modal logics of belief and knowledge ⋮ A Logic of Knowledge and Belief Based on Abstract Arguments ⋮ SEMANTICS FOR PURE THEORIES OF CONNEXIVE IMPLICATION ⋮ NEIGHBOURHOOD CANONICITY FOR EK, ECK, AND RELATIVES: A CONSTRUCTIVE PROOF ⋮ LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT ⋮ Arithmetical completeness theorems for monotonic modal logics ⋮ Neighbourhood Semantics for Graded Modal Logic ⋮ CARNAP’S PROBLEM FOR MODAL LOGIC ⋮ <scp>Stit</scp>-LOGIC FOR IMAGINATION EPISODES WITH VOLUNTARY INPUT ⋮ Rooted hypersequent calculus for modal logic \textsf{S5} ⋮ Deontic paradoxes in Mīmāṃsā logics: there and back again ⋮ An evidence logic perspective on Schotch-Jennings forcing ⋮ An Infinitary Graded Modal Logic (Graded Modalities VI) ⋮ Situation-based connexive logic ⋮ Two ways to scare a Gruffalo ⋮ The correctness and relevance of the modal ontological argument ⋮ Neighborhood semantics for logic of knowing how ⋮ The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions ⋮ Unnamed Item ⋮ Unnamed Item ⋮ From Kripke to Neighborhood Semantics for Modal Fuzzy Logics ⋮ Negation of Graded Beliefs ⋮ A multi-dimensional terminological knowledge representation language ⋮ On Theses Without Iterated Modalities of Modal Logics Between C1 and S5. Part 1 ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ From KLM-style conditionals to defeasible modalities, and back ⋮ Modal Tree‐Sequents ⋮ A logical approach to multilevel security of probabilistic systems ⋮ On the Logic of Common Belief ⋮ Modal logics with relative accessibility relations ⋮ A unified framework for hypothetical and practical reasoning (1): Theoretical foundations ⋮ A resolution-based proof method for temporal logics of knowledge and belief ⋮ Ideal and real belief about belief ⋮ Labelling ideality and subideality ⋮ On the semantics of the unknown ⋮ Practical reasoning with procedural knowledge ⋮ Distributed modal theorem proving with KE ⋮ Efficient loop-check for backward proof search in some non-classical propositional logics ⋮ Minimal refinements of specifications in modal and temporal logics ⋮ Doxastic logic: a new approach ⋮ Resolution-based calculi for modal and temporal logics ⋮ Peirce's Search for a Graphical Modal Logic (Propositional Part) ⋮ AGGREGATION AND IDEMPOTENCE ⋮ The Logic of Risky Knowledge ⋮ Axiomatizing Hybrid Products of Monotone Neighborhood Frames ⋮ Deontic Logic, Contrary to Duty Reasoning and Fault Tolerance ⋮ INSTANTIAL NEIGHBOURHOOD LOGIC ⋮ Completeness and decidability results for some propositional modal logics containing ``actually operators ⋮ Minimal refinements of specifications in modal and temporal logics ⋮ A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC ⋮ Topological modal logics satisfying finite chain conditions ⋮ Probability logic for type spaces ⋮ Canonical forms of fuzzy truthoods by meta-theory based upon modal logic ⋮ Introducing Polymodal Neighbourhood Logics ⋮ Temporal Alethic Dyadic Deontic Logic and the Contrary-to-Duty Obligation Paradox ⋮ Some contributions to nonmonotonic consequence ⋮ A nonstandard approach to the logical omniscience problem ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Effective Finite-Valued Approximations of General Propositional Logics ⋮ Duty and Sacrifice: A Logical Analysis of the Mīmāṃsā Theory of Vedic Injunctions ⋮ A nonstandard approach to the logical omniscience problem ⋮ A Review on Rough Sets and Possible World Semantics for Modal Logics ⋮ Paraconsistency, Chellas’s Conditional Logics, and Association Rules ⋮ MODAL LOGIC WITHOUT CONTRACTION IN A METATHEORY WITHOUT CONTRACTION ⋮ Incorporating an implicit time dimension into the relational model and algebra ⋮ Neighbourhood Contingency Bisimulation ⋮ A Tableau Decision Procedure for <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi mathvariant="script">ALC</mml:mi></mml:math> With Monotonic Modal Operators and Constant Domains ⋮ Axiomatic and dual systems for constructive necessity, a formally verified equivalence ⋮ A modal action logic based framework for organization specification and analysis ⋮ On Modal Logics Defining Jaśkowski-Like Discussive Logics ⋮ THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH ⋮ Logic and Game Theory ⋮ On Logic of Strictly-Deontic Modalities. A Semantic and Tableau Approach ⋮ A Non-Standard Kripke Semantics for the Minimal Deontic Logic ⋮ Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics ⋮ Modal multilattice logics with Tarski, Kuratowski, and Halmos operators ⋮ A Similarity-Based Three-Valued Modal Logic Approach to Reason with Prototypes and Counterexamples ⋮ On the Semilattice of Modal Operators and Decompositions of the Discriminator ⋮ Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work) ⋮ KNOWLEDGE, JUSTIFICATION, AND ADEQUATE REASONS ⋮ DYNAMIC HYPERINTENSIONAL BELIEF REVISION ⋮ LOGICS FOR PROPOSITIONAL CONTINGENTISM ⋮ Logics and decidability for labelled pre- and partially ordered Kripke structures

This page was built for publication: