scientific article; zbMATH DE number 6297875

MaRDI QIDQ5417801zbMATH OpenFDO

Authors James W. Garson

Publication date 22 May 2014

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1948185
• The open logic and its relation to circumscription
• On almost future temporal logics
• The future of logic: foundation-independence
• On the decidability of open logic
• Axiomatising the Prior future in predicate logic
• scientific article; zbMATH DE number 970714
• Future event logic -- axioms and complexity
• The power of the future perfect in program logics
• scientific article; zbMATH DE number 3888909

Cited in

(2)

• Axiomatising the Prior future in predicate logic
• Compositional Reasoning about Shared Futures

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 Q5417801)