Possible-worlds semantics for modal notions conceived as predicates

DOI10.1023/A:1023080715357zbMath1031.03041MaRDI QIDQ1810820

Volker Halbach, Hannes Leitgeb, Philip D. Welch

Publication date: 9 June 2003

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

zbMATH Keywords

paradoxmodal logicpossible worldsnecessitysyntactic treatments of modality

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05)

Related Items

Unwinding modal paradoxes on digraphs ⋮ MODALITY AND AXIOMATIC THEORIES OF TRUTH I: FRIEDMAN-SHEARD ⋮ The elimination of direct self-reference ⋮ The logic of Quinean revisability ⋮ Transductions in arithmetic ⋮ A UNIFIED THEORY OF TRUTH AND PARADOX ⋮ Ungroundedness in Tarskian languages ⋮ PROVING UNPROVABILITY ⋮ Paradoxes of interaction? ⋮ Jump liars and Jourdain's card via the relativized T-scheme ⋮ 2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Notes on naive semantics
• How truthlike can a predicate be? A negative result
• An axiomatic approach to self-referential truth
• Countable admissible ordinals and hyperdegrees
• A syntactical approach to modality
• Elementary induction on abstract structures
• Proof theory of reflection
• The genesis of possible worlds semantics
• Truth and paradox
• A system of complete and consistent truth
• Paraconsistent logics?
• Logical frameworks for truth and abstraction. An axiomatic study
• The truth is never simple
• Addendum to “The truth is never simple”
• Construction of Satisfaction Classes for Nonstandard Models
• Full Satisfaction Classes and Recursive Saturation
• Reflecting on incompleteness
• A degree-theoretic definition of the ramified analytical hierarchy
• Outline of a Theory of Truth
• Recursive Pseudo-Well-Orderings
• Metamathematische Begriffe in Standardtheorien
• Incompleteness along paths in progressions of theories
• Truth as translation. Part B
• Theories of truth which have no standard models