The frame problem and the semantics of classical proofs

DOI10.29007/3TL4MaRDI QIDQ6874935zbMATH OpenFDO

Authors G. Graham White

Publication date 14 January 2026

Full work available at URL https://doi.org/10.29007/3TL4

zbMATH Keywords

proof theorycategory theoryframe problemmodal logicclassical logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Proof theory in general (including proof-theoretic semantics) (03F03) Logic in the philosophy of science (03A10) Categorical logic, topoi (03G30)

Cites work

• scientific article; zbMATH DE number 4179372 (Why is no real title available?)
• scientific article; zbMATH DE number 3568624 (Why is no real title available?)
• scientific article; zbMATH DE number 1231517 (Why is no real title available?)
• scientific article; zbMATH DE number 1841811 (Why is no real title available?)
• A logic of universal causation
• Categorical proof theory of classical propositional calculus
• Causality, modality, and explanation
• Circumscription - a form of non-monotonic reasoning
• Controlled Revision - An algorithmic approach for belief revision
• Geometry of Interaction and linear combinatory algebras
• Polycategories
• The blind spot. Course in logic. I. On the perfection

This page was built for publication: The frame problem and the semantics of classical proofs

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