The interpretation of branching time diagrams

DOI10.1007/978-3-319-40985-6_3zbMath1398.03022OpenAlexW2471125467MaRDI QIDQ1990466

Peter Øhrstrøm, David Jakobsen

Publication date: 25 October 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-40985-6_3

zbMATH Keywords

tense logicbranching timeA. N. Priorconcept of timenatural language reasoningtime and existence

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Logic of natural languages (03B65) Temporal logic (03B44)

This page was built for publication: The interpretation of branching time diagrams