The strong future tense

DOI10.1305/NDJFL/1093882655MaRDI QIDQ1844213zbMATH OpenOpenAlexFDO

Authors Storrs McCall

Publication date 1979

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1093882655

zbMATH Keywords

completenessdecidabilityfinite axiomatizabilityfuture tenseindeterministic universemultiplicity of branched futurestense logic

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Modal logic (including the logic of norms) (03B45)

Cited in

(2)

• A CLASSICAL MODAL THEORY OF LAWLESS SEQUENCES
• The modal logic of potential infinity: branching versus convergent possibilities

This page was built for publication: The strong future tense

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