The strong future tense
From MaRDI portal
Publication:1844213
DOI10.1305/NDJFL/1093882655zbMath0283.02024OpenAlexW1992658412MaRDI QIDQ1844213
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
completenessdecidabilitytense logicfinite axiomatizabilityfuture tenseindeterministic universemultiplicity of branched futures
Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25)
Related Items (1)
This page was built for publication: The strong future tense
