Contingent objects and the Barcan formula

DOI10.1007/S10670-005-0294-7MaRDI QIDQ2432045zbMATH OpenOpenAlexFDO

Authors Reina Hayaki

Publication date 25 October 2006

Published in Erkenntnis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10670-005-0294-7

zbMATH Keywords

existencequantified modal logic

Mathematics Subject Classification ID

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

Recommendations

• Incompleteness and the Barcan formula
• scientific article; zbMATH DE number 140383
• The Barcan formulas and necessary existence: the view from quarc
• Conditional objects as nonmonotonic consequence relationships
• scientific article; zbMATH DE number 1163395
• A converse Barcan formula in Aristotle's modal logic
• scientific article; zbMATH DE number 4092817
• Bar recursion in classical realisability: dependent choice and continuum hypothesis
• scientific article; zbMATH DE number 698631
• A formalization of Brouwer's argument for bar induction

Cites work

• A Functional calculus of first order based on strict implication
• Bare possibilia

Cited in

(3)

• scientific article; zbMATH DE number 698631 (Why is no real title available?)
• Intuitionistic fuzzy interpretations of Barcan formulas
• A note on Barcan formula

This page was built for publication: Contingent objects and the Barcan formula

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