Labelled natural deduction for interval logics

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

Volumn 2142, Issue , 2001, Pages 308-323

  Rasmussen, Thomas Marthedal ^a  

^a TECHNICAL UNIVERSITY OF DENMARK   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS;

DURATION CALCULUS; INTERVAL LOGIC; ISABELLE; NATURAL DEDUCTION; NORMALIZATION PROPERTIES; PROOF SYSTEM; THEOREM PROVING SYSTEMS;

COMPUTER CIRCUITS;

EID: 38149039164     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44802-0_22     Document Type: Conference Paper

References (17)

1. D. Basin, S. Matthews, and L. Viganò. Labelled Propositional Modal Logics: Theory and Practice. Journal of Logic and Computation, 7(6):685–717, 1997.
2. D. Basin, S. Matthews, and L. Viganò. Labelled Modal Logics: Quantifiers. Journal of Logic, Language and Information, 7(3):237–263, 1998.
3. D. Basin, S. Matthews, and L. Viganò. Natural Deduction for Non-Classical Logics. Studia Logica, 60(1):119–160, 1998.
4. B. Dutertre. Complete Proof Systems for First Order Interval Temporal Logic. In LICS’95, pages 36–43. IEEE Press, 1995.
5. D.M. Gabbay. Labelled Deductive Systems. Oxford, 1996.
6. M.R. Hansen and Zhou Chaochen. Duration Calculus: Logical Foundations. Formal Aspects of Computing, 9(3):283–330, 1997.
7. À. Kurucz, I. Németi, I. Sain, and A. Simon. Decidable and Undecidable Logics with a Binary Modality. Journal of Logic, Language and Information, 4:191–206, 1995.
8. M. Marx and Y. Venema. Multi-Dimensional Modal Logic. Kluwer, 1997.
9. B. Moszkowski. A Temporal Logic for Multilevel Reasoning about Hardware. IEEE Computer, 18(2):10–19, 1985.
10. L.C. Paulson. Isabelle, A Generic Theorem Prover, volume 828 of LNCS. Springer, 1994.
11. D. Prawitz. Natural Deduction. A Proof-Theoretical Study. Almquist & Wiksell, 1965.
12. T.M. Rasmussen. Signed Interval Logic. In CSL’99, volume 1683 of LNCS, pages 157–171. Springer, 1999.
13. T.M. Rasmussen. A Sequent Calculus for Signed Interval Logic. Technical Report IMM-TR-2001-06, Informatics and Mathematical Modeling, Technical University of Denmark, 2001.
14. A.S. Troelstra and H. Schwichtenberg. Basic Proof Theory. Cambridge, 1996.
15. L. Viganò. Labelled Non-Classical Logics. Kluwer, 2000.
16. Zhou Chaochen and M.R. Hansen. An Adequate First Order Interval Logic. In COMPOS’97, volume 1536 of LNCS, pages 584–608. Springer, 1998.
17. Zhou Chaochen, C.A.R. Hoare, and A.P. Ravn. A Calculus of Durations. Information Processing Letters, 40(5):269–276, 1991.