Partly free semantics for some Anderson-like ontological proofs

DOI10.1007/S10849-011-9146-9MaRDI QIDQ2255183zbMATH OpenOpenAlexFDO

Authors Mirosław Szatkowski

Publication date 9 February 2015

Published in Journal of Logic, Language and Information (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial 4.0 International

Full work available at URL https://doi.org/10.1007/s10849-011-9146-9

zbMATH Keywords

strong completenesspositive propertiesontological proofessenceGodabsolute and relative identitynecessary existencesecond-order free modal logic

Mathematics Subject Classification ID

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

Recommendations

• Contingent modal semantics for some variants of Anderson-like ontological proofs
• Semantic analysis of some variants of Anderson-like ontological proofs
• Ontology-free modal semantics
• Computer-assisted analysis of the Anderson-Hájek ontological controversy
• Variants of Gödel's ontological proof in a natural deduction calculus

Cites work

• scientific article; zbMATH DE number 1028834 (Why is no real title available?)
• scientific article; zbMATH DE number 937367 (Why is no real title available?)
• scientific article; zbMATH DE number 3300580 (Why is no real title available?)
• scientific article; zbMATH DE number 3325547 (Why is no real title available?)
• A new small emendation of Gödel's ontological proof
• Contingent modal semantics for some variants of Anderson-like ontological proofs
• First-order intensional logic
• First-order modal logic
• Free Logic
• Incompleteness and the Barcan formula
• Semantic analysis of some variants of Anderson-like ontological proofs
• Types, tableaus, and Gödel's God

Cited in

(2)

• Semantic analysis of some variants of Anderson-like ontological proofs
• Contingent modal semantics for some variants of Anderson-like ontological proofs

This page was built for publication: Partly free semantics for some Anderson-like ontological proofs

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