Axioms for actuality

DOI10.1007/BF00297575MaRDI QIDQ792998zbMATH OpenOpenAlexWikidataFDO

Authors Harold T. Hodes

Publication date 1984

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

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

zbMATH Keywords

modal logicnecessityS5Henkin constructionmodel-theoretic semanticsactuality operatormodal models

Mathematics Subject Classification ID

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

Recommendations

• Modal validity and the dispensability of the actuality operator
• Actuality in propositional modal logic
• First-order modal logic with an `actually' operator
• Indexed actuality
• Actuality and quantification

Cites work

• Some theorems on the expressive limitations of modal languages
• To the memory of Arthur Prior Formal properties of ‘now’

Cited in

(33)

• Meaning in use
• Modal validity and the dispensability of the actuality operator
• On the expressive power of first-order modal logic with two-dimensional operators
• Actuality, quantifiers, and actuality quantifiers
• New axioms for mereology
• Modal Platonism: an easy way to avoid ontologial commitment to abstract entities
• Validity and actuality
• Completeness and decidability results for some propositional modal logics containing ``actually operators
• STRONGLY MILLIAN SECOND-ORDER MODAL LOGICS
• `Now' and `then' in tense logic
• Relative-sameness counterpart theory
• Where do the natural numbers come from?
• Expressive power, mood, and actuality
• Indexed actuality
• The logic of counterpart theory with actuality
• First-order modal logic with an `actually' operator
• Completeness results for some two-dimensional logics of actuality
• Worlds and times
• New axioms for immediate acceptance
• Actuality and quantification
• Actuality in propositional modal logic
• The problem of cross-world predication
• Some theorems on the expressive limitations of modal languages
• Actuality and world-indexed sentences
• Actuality, tableaux, and two-dimensional modal logics
• On what \textit{actually} is
• Axioms of an experimental system
• Plantinga's haecceitism and simple quantified modal logic
• Individual-actualism and three-valued modal logics. I: Model-theoretic semantics
• On the expressivity of first-order modal logic with ``actually
• Actualism, serious actualism, and quantified modal logic
• Actuality entailments: when the modality is in the presupposition
• AXIOMS FOR DETERMINATENESS AND TRUTH

This page was built for publication: Axioms for actuality

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q792998)