Quantified modal logic: non-normal worlds and propositional attitudes

DOI10.1007/BF00373492zbMath0529.03004MaRDI QIDQ787129

Veikko Rantala

Publication date: 1982

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

modalities; modal operators; Kripke style semantics; non-normal possible worlds; non-normal world; quantified logics

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

03A05: Philosophical and critical aspects of logic and foundations

Related Items

A fugue on the themes of awareness logic and correspondence, Equivalence of the information structure with unawareness to the logic of awareness, Two-dimensional awareness logics, Strong completeness theorems for weak logics of common belief, A general possible worlds framework for reasoning about knowledge and belief, European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988, QUANTIFIED LOGIC OF AWARENESS AND IMPOSSIBLE POSSIBLE WORLDS

Cites Work

• The intentions of intentionality and other new models for modalities
• Impossible possible worlds vindicated
• Two notes on abstract model theory. I. Properties invariant on the range of definable relations between structures
• Axioms for abstract model theory
• Welding Semantics For Weak Strict Modal Logics into the General Framework of Modal Logic Semantics
• Semantic analysis of tense logics
• Absolute logics and L∞ω
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item