A propositional logic of temporal connectives

DOI10.12775/LLP.2014.020MaRDI QIDQ2987734zbMATH OpenOpenAlexFDO

Authors Richard L. Epstein, Esperanza Buitrago-Díaz

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

completeness theoremlinear orderingspropositional logicsubjective experience of timetemporal logic

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 4127179
• scientific article; zbMATH DE number 1749195
• Temporal reference in linear tense logic
• scientific article; zbMATH DE number 1444740
• The temporal logic of branching time

Cites work

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

Cited in

(11)

• The INFOLOG linear tense propositional logic of events and transactions
• Temporal prepositions and their logic
• The derivations of temporal logic formulas
• A spurious confusion in temporal logic
• scientific article; zbMATH DE number 4170873 (Why is no real title available?)
• Temporal Assertions with Parametrized Propositions
• scientific article; zbMATH DE number 4127179 (Why is no real title available?)
• A propositional modal logic of time intervals
• Simple Reasoning with Time-Dependent Propositions
• An investigation of 'non-intermingling' principles in temporal logic
• scientific article; zbMATH DE number 1444740 (Why is no real title available?)

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

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