Calendar logic

Journal of Applied Non-Classical Logics

Volumn 8, Issue 4, 1998, Pages 291-323

  Ohlbach, Hans Jiirgen ^a   Gabbay, Dov ^a  

^a KING'S COLLEGE LONDON   (United Kingdom)

Author keywords

Calendar Systems; Tableau Calculus; Temporal Logic

Indexed keywords

EID: 1142281657     PISSN: 11663081     EISSN: 19585780     Source Type: Journal    
DOI: 10.1080/11663081.1998.10510948     Document Type: Article

References (7)

1. Alexander Chargov and Michael Zakharayaschev. Modal Logic, volume 35 of O:Ljord Logic Guides. Oxford University Press, 1997.
2. B. F. Chellas. Modal Logic: An Introduction. Cambridge University Press, Cambridge, 1980.
3. Nachum Dershowitz and Edward M. Reingold. Calendrical Calculations. Cambridge University Press, 1997.
4. Dov M. Gabbay, Ian Hodkinson, and Mark Reynolds. Temporal logic: Mathematical foundations and computational aspects. Vol. 1., volume 28 of Oxford logic guides. Oxford University Press, Oxford, 1994.
5. Hans Jiirgen Ohlbach. About real time, calendar systems and temporal notions. In H. Barringer and D. Gabbay, editors, Proc. of ICTL 1997, 1997.
6. Hans Jiirgen Ohlbach. Calendar Logic. A chapter in Dov M. Gabbay, Ian Hodkinson, and Mark Reynolds Temporal Logic mathematical foundations and computational aspects. Vol. 2., Oxford University Press, 1998.
7. Hans Jiirgen Ohlbach and Jana Koehler. How to extend a formal system with a Boolean Algebra component. In P.H. Schmidt W. Bibel, ed1tor, Automated- Deduction- X'Basis for-AppTications, vofume If( pages 57-75. Kluwer Academic Publishers, 1998.