Actuality and quantification

DOI10.1305/NDJFL/1093635586MaRDI QIDQ2640589zbMATH OpenOpenAlexFDO

Authors A. P. Hazen

Publication date 1990

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1093635586

zbMATH Keywords

actuality operatornatural deduction systemquantified modal logicrigid quantifiersS5

Mathematics Subject Classification ID

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

Recommendations

• Actuality, quantifiers, and actuality quantifiers
• Validity and actuality
• Facts, values and quanta
• Realism and empirical equivalence
• Reality and Truth in Mathematics
• Reality and non-reality of physical variables
• Quantified beliefs and believed quantities
• Axioms for actuality

Cited in

(22)

• The true modal logic
• Quantified Quinean S5
• Actualism, serious actualism, and quantified modal logic
• Actuality and world-indexed sentences
• On the expressive power of first-order modal logic with two-dimensional operators
• Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different
• `Now' and `then' in tense logic
• Still in the mood: the versatility of subjunctive markers in modal logic
• Actuality in propositional modal logic
• How to Lewis a Kripke-Hintikka
• Worlds and times
• The Semantics of Actuality Terms: Indexical vs. Descriptive Theories
• On what \textit{actually} is
• On the expressivity of first-order modal logic with ``actually
• A Way of Making World Quantification Explicit
• Actuality, quantifiers, and actuality quantifiers
• Completeness and decidability results for some propositional modal logics containing ``actually operators
• Indexed actuality
• Substitutional quantification in truth-theories for modal languages
• In the mood
• Axioms for actuality
• First-order modal logic with an `actually' operator

This page was built for publication: Actuality and quantification

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