First-order modal theories

DOI10.1007/BF00370319zbMath0468.03011OpenAlexW2076886449MaRDI QIDQ1156123

Kit Fine

Publication date: 1980

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

Full work available at URL: https://doi.org/10.1007/bf00370319

zbMATH Keywords

Kripke semanticsactualismobjectualismmodal theory of propositions

Mathematics Subject Classification ID

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

Related Items (5)

Essence and necessity ⋮ STRONGLY MILLIAN SECOND-ORDER MODAL LOGICS ⋮ Model theory for modal logic. III. Existence and predication ⋮ Property theory: The type-free approach \(v\). The Church approach ⋮ LOGICS FOR PROPOSITIONAL CONTINGENTISM

Cites Work

• Unnamed Item
• Unnamed Item
• Model theory for modal logic. I: The de re / de dicto distinction
• Properties, propositions and sets
• Model theory for modal logic. II: The elimination of de re modality
• Propositional quantifiers in modal logic1
• On modal logic with propositional quantifiers
• Some theorems on definability and decidability
• On reduction to a symmetric relation

This page was built for publication: First-order modal theories