scientific article; zbMATH DE number 5995417

MaRDI QIDQ3105665zbMATH OpenFDO

Authors Andrzej Wiśniewski

Publication date 5 January 2012

zbMATH Keywords

decidabilitypossible worldspropositions

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Recommendations

• Propositions, sets, and worlds
• scientific article; zbMATH DE number 2236676
• Possible worlds in ``The craft of formal logic
• Propositions and counterpart theory
• General recursive realizability and basic logic
• scientific article; zbMATH DE number 3870631
• scientific article; zbMATH DE number 3896333
• Propositions
• Propositions, representation, and truth
• Possible world semantics for first-order logic of proofs

Cited in

(4)

• Interrogatives, recursion, and incompleteness
• scientific article; zbMATH DE number 823599 (Why is no real title available?)
• Are propositions sets of possible worlds?
• Why propositions cannot be sets of truth-supporting circumstances

This page was built for publication:

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