A propositional logic of temporal connectives

DOI10.12775/LLP.2014.020zbMath1375.03020OpenAlexW2015496558MaRDI QIDQ2987734

Esperanza Buitrago-Díaz, Richard L. Epstein

Publication date: 18 May 2017

Published in: Logic and Logical Philosophy (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.12775/llp.2014.020

zbMATH Keywords

propositional logiccompleteness theoremtemporal logiclinear orderingssubjective experience of time

Mathematics Subject Classification ID

Logic of natural languages (03B65) Temporal logic (03B44)

Related Items (1)

A spurious confusion in temporal logic

Cites Work

• Maintaining knowledge about temporal intervals
• Reflections on temporal and modal logic

This page was built for publication: A propositional logic of temporal connectives