Simple Reasoning with Time-Dependent Propositions

DOI10.1093/JIGPAL/10.4.379MaRDI QIDQ4779582zbMATH OpenOpenAlexFDO

Authors Maroua Bouzid, Peter B. Ladkin

Publication date 2002

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/db8e7ed774e6f3d41756b2314679d2b8664365d2

zbMATH Keywords

temporal reasoningtemporal logic

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Temporal logic (03B44)

Recommendations

• scientific article; zbMATH DE number 4127179
• A propositional logic of temporal connectives
• A propositional modal logic of time intervals
• Reified temporal logics: An overview
• scientific article; zbMATH DE number 1182796

Cited in

(3)

• scientific article; zbMATH DE number 4127179 (Why is no real title available?)
• Operators vs. arguments: The ins and outs of reification
• Satisfying constraint sets through convex envelopes

This page was built for publication: Simple Reasoning with Time-Dependent Propositions

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