A Minimal hybrid logic for intervals

Logic Journal of the IGPL

Volumn 14, Issue 1, 2006, Pages 35-62

  Hussain, Altaf ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

Bulldozing; Hybrid logic; Interval logics; Tableau method

Indexed keywords

BIOMINERALIZATION; COMPUTABILITY AND DECIDABILITY; COMPUTER CIRCUITS;

BINARY RELATION; BULLDOZING; HYBRID LOGIC; INTERVAL LOGIC; INTERVAL STRUCTURES; SATISFIABILITY PROBLEMS; SOUND AND COMPLETE; TABLEAU-METHODS; TEMPORAL INTERVALS; TEMPORAL STRUCTURES;

TEMPORAL LOGIC;

EID: 33750109493     PISSN: 13670751     EISSN: 13689894     Source Type: Journal    
DOI: 10.1093/jigpal/jzk003     Document Type: Article

References (27)

1. J. Allen and J. Koomen. Planning using a temporal world model. Proc. 8th IJCAI, 741-747, Morgan-Kaufmann, 1983.
2. J. Allen. Towards a general theory of action and time. Artificial Intelligence, 23(2): 123-154, 1984.
3. C. Areces, P. Blackburn, and M. Marx. The Computational Complexity of Hybrid temporal Logics. Logic Journal of the IGPL, 8(5): 653-679, 2000.
4. C. Areces, P. Blackburn, and M. Marx. Hybrid Logics: Characterization, Interpolation and Complexity. Journal of Symbolic Logic, 66: 977-1010, 2001.
5. P. Blackburn. Internalizing labelled Deduction. Journal of Logic and Computation, 10(1): 137-168, 2000.
6. P. Blackburn. Representation, Reasoning, and Relational Structures: A hybrid Logic Manifesto. logic Journal of the IGPL, 8(3): 339-365, 2000.
7. P. Blackburn and B. ten Cate. Beyond pure Axioms: Node creating rules in Hybrid tableaux. In C. Areces, P. Blackburn, M. Marx and U. Sattler, editors, Proceedings of the 4th Workshop on Hybrid Logics (Hylo 2002), 21-35, 2002.
8. P. Blackburn, M. de Rijke, and Y. Venema. Modal Logic. Cambridge University Press, 2002.
9. P. Blackburn and J. Seligman. Hybrid Languages, Journal of Logic, Language and Information, 4: 251-272, 1995.
10. J. P. Burgess. Axioms for tense logic II: Time periods. Notre Dame J. Formal Logic, 23(4): 375-383, 1982.
11. M. Finger, D. Gabbay, and M. Reynolds. Temporal logic: Mathematical foundations and computational aspects, vol. 2, Oxford University Press, 2000.
12. J. Halpern, Z. Manna, and B. Moszkowski. A high-level semantics based on interval logic. Proceedings of the 10th ICALP, 278-291, Springer Verlag, 1983.
13. J. Halpern and Y. Shoham. A propositional modal logic of time intervals. Journal of the Association for Computing Machinery, Vol. 38, No. 4, 935-962, 1991.
14. C. L. Hamblin. Instants and intervals. Stud. Gen., 27: 127-134, 1983.
15. D. Harel, D. Kozen, and R. Parikh. Process logic: Expressiveness, decidability, completeness. J. Comput. Syst. Sci., 25(2): 145-180, 1982.
16. I. L. Humberstone. Interval semantics for tense logics: Some remarks. J. Philosophical Logic, 8: 171-196, 1979.
17. A. Hussain. A new modal approach to the logic of intervals, submitted 2005, available at http://www.doc.ic.ac.uk/ah701/research/ modalInterval.pdf
18. R. A. Kowalski and M. J. Sergot. A Logic-Based Calculus of Events. New Generation Computing, 4(1): 67-96, 1986.
19. R. Parikh. A decidability result for for second order process logic. Proc. of the 19th Annual Symposium on Foundations of Computer Science, IEEE, 177-183, 1978.
20. A. Pnueli. A temporal logic of programs. Proc. of the 18th Annual Symposium on Foundations of Computer Science, IEEE, 46-57, 1977.
21. V. Pratt. Models of program logics. In Proceedings of the 20th IEEE Symposium on Foundations of Computer Science, 115-122, 1979.
22. V. R. Pratt. Process logic. Proc. of the 6th Annual Symposium on the Principles of Programming Languages, 93-100, 1979.
23. A. N. Prior. Past, Present and Future. Clarendon Press, Oxford, England, 1967.
24. E. Spaan. Complexity of modal logics. PhD thesis, ILLC. University of Amsterdam, 1993.
25. J. van Benthem. The Logic of Time. Kluwer Academic Publishers, Dordrecht, The Netherlands, 2nd edition, 1991.
26. Y. Venema. Expressiveness and completeness of an interval tense logic. Notre Dame Journal of Formal Logic, 31: 529-547, 1990.
27. Y. Venema. Temporal Logic. In L. Goble, editor, Blackwell Guide to Philosophical logic, Blackwell Publishers, 203-223, 1998.