Calendar Logic

DOI10.1080/11663081.1998.10510948MaRDI QIDQ4236069zbMATH OpenOpenAlexFDO

Authors Hans Jürgen Ohlbach, Dov Gabbay

Publication date 8 February 2000

Published in Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/11663081.1998.10510948

zbMATH Keywords

calendar logictableau systemtemporal logictime intervalstranslation algorithms into propositional logic

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Temporal logic (03B44)

Review text

The main distinction of Calendar Logic (CL) from standard temporal logics consists in the property that ``the temporal operators [of the former] are always finite sets of finite intervals. Therefore, a translation into a decidable system (here: classical propositional logic) is possible. The language of CL, its syntax and semantics are defined and the translation algorithms into propositional logic are described; then soundness and completeness of the translation are proved. Finally a tableau system for CL is described and its soundness and completeness are proved. This last point is not clear, since the formulations of soundness and completeness seem to be confused: what is called soundness is completeness and vice versa.

Recommendations

• scientific article; zbMATH DE number 3904560
• The temporal logic of branching time
• scientific article; zbMATH DE number 4119669
• scientific article; zbMATH DE number 1444736
• Propositional temporal logics: decidability and completeness

Cites work

• Combining Hilbert style and semantic reasoning in a resolution framework
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• Temporal logic. 1st International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994. Proceedings

Cited in

(7)

• Calendar mechanisms
• LTL over integer periodicity constraints
• A logical and ontological framework for compositional concepts of objects and properties
• Modelling periodic temporal notions by labelled partitionings -- the PartLib library
• scientific article; zbMATH DE number 1444736 (Why is no real title available?)
• Calendar-Based Graphics for Visualizing People’s Daily Schedules
• Embedding the Calendar and Time Type System in Temporal Type Theory

This page was built for publication: Calendar Logic

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