Decidability of interval temporal logics over split-frames via granularity

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2424, Issue , 2002, Pages 259-270

  Montanari, Angelo ^a   Sciavicco, Guido ^a   Vitacolonna, Nicola ^a  

^a UNIVERSITY OF UDINE   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTABILITY AND DECIDABILITY; RECONFIGURABLE HARDWARE; TEMPORAL LOGIC;

EXPRESSIVE POWER; FIRST ORDER; INTERVAL STRUCTURES; INTERVAL TEMPORAL LOGIC; TEMPORAL DOMAIN; TIME GRANULARITIES; TIME INTERVAL; TIMING PROPERTIES;

COMPUTER CIRCUITS;

EID: 77952082667     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (13)

1. J. F. Allen. Maintaining Knowledge about Temporal Intervals. Communications of the ACM, 26:832-843, 1983.
2. P. Blackburn, M. de Rijke, and Y. Venema. Modal Logic. Cambridge University Press, 2001.
3. H. Bowman and S. J. Thompson. A tableaux method for interval temporal logic with projection. Lecture Notes in Artificial Intelligence, 1397:108-123, 1998.
4. Z. Chaochen and M. R. Hansen. An Adequate First Order Interval Logic. Lecture Notes in Computer Science, 1536:584-608, 1998.
5. J. Y. Halpern, Z. Manna, and B. Moszkowski. A Hardware Semantics Based on Temporal Intervals. Lecture Notes in Computer Science, 154:278-291, 1983.
6. J. Y. Halpern and Y. Shoham. A Propositional Modal Logic of Time Intervals. Journal of the ACM, 38(4):935-962, 1991.
7. A. Montanari, A. Peron, and A. Policriti. Decidable theories of ω-layered metric temporal structures. Logic Journal of the IGPL, 7(1):79-102, 1999.
8. A. Montanari and A. Policriti. Decidability results for metric and layered temporal logics. Notre Dame Journal of Formal Logic, 37:260-282, 1996.
9. A. Montanari, G. Sciavicco, and N. Vitacolonna. Decidability of Interval Temporal Logics over Split-Frames via Granularity. Research Report 01/02, Department of Mathematics and Computer Science, University of Udine, February 2002.
10. A. Montanari. Metric and Layered Temporal Logic for Time Granularity. PhD thesis, ILLC, University of Amsterdam, 1996.
11. B. C. Moszkowski. Reasoning about digital circuits. PhD thesis, Stanford University, June 1983.
12. J. van Benthem. The Logic of Time. Kluwer Academic Publisher, 2nd ed., 1991.
13. Y. Venema. A Modal Logic for Chopping Intervals. Journal of Logic and Computation, 1(4):453-476, 1991.