Contingent objects and the Barcan formula

DOI10.1007/S10670-005-0294-7zbMATH Open1099.03004OpenAlexW1972330415MaRDI QIDQ2432045FDOQ2432045

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

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

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)

Cites Work

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

Cited In (3)

• Title not available (Why is that?)
• 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)