Sequent calculi for nominal tense logics: A step towards mechanization?

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

Volumn 1617, Issue , 1999, Pages 140-155

  Demri, Stéphane ^a  

^a Laboratoire LEIBNIZ   (France)

Author keywords

[No Author keywords available]

Indexed keywords

BIOMINERALIZATION; CALCULATIONS; COMPUTATION THEORY; DIFFERENTIATION (CALCULUS); MACHINERY; MECHANIZATION;

CLASSICAL LOGIC; COMPUTATIONAL PROPERTIES; FINITE NUMBER; FIRST ORDER; PROOF SEARCH; SEQUENT CALCULUS;

PATHOLOGY;

EID: 52649180449     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48754-9_15     Document Type: Conference Paper

References (32)

1. M. Baldoni. Normal Multimodal Logics: Automated Deduction and Logic Programming. PhD thesis, Università degli Studi di Torino, 1998.
2. J. van Benthem. Modal logic and classical logic. Bibliopolis, 1983.
3. B. Beckert and R. Goré. Free variable tableaux for propositional modal logics. In TABLEAUX'97, pages 91-106. LNAI 1227, Springer, 1997.
4. N. Bonnette and R. Goré. A labelled sequent systems for tense logic Kt. In Australian Joint Conference of Articifial Intelligence, pages 71-82. LNAI 1502, Springer, 1998.
5. P. Blackburn. Nominal tense logic. Notre Dame Journal of Formal Logic, 34(1):56-83, 1993.
6. P. Blackburn. Internalizing labeled deduction. Technical Report 102, Computerlinguistik, Universität des Saarlandes, 1998.
7. D. Basin, S. Matthews, and L. Viganò. Labelled propositional modal logics: Theory and practice. J. of Logic and Computation, 7(6):685-717, 1997.
8. D. Basin, S. Matthews, and L. Viganò. Natural deduction for nonclassical logics. Studia Logica, 60(1):119-160, 1998.
9. G. Boolos. Don't eliminate cut. J. of Philosophical Logic, 13:373-378, 1984.
10. M. Castilho, L. Fariñas del Cerro, O. Gasquet, and A. Herzig. Modal tableaux with propagation rules and structural rules. Fundamenta Informaticae, 32(3/4):281-297 1997.
11. M. d'Agostino. Investigations into the complexity of some propositional calculi. PhD thesis, Oxford University Computing Laboratory, 1990.
12. S. Demri and R. Goré. Cut-free display calculi for nominal tense logics. In this volume, 1999.
13. M. d'Agostino and M. Mondadori. The taming of the cut. Classical refutations with analytic cut. J. of Logic and Computation, 4(3):285-319, 1994.
14. M. Fitting. Proof methods for modal and intuitionistic logics. D. Reidel Publishing Co., 1983.
15. D. Gabbay. Labelled Deductive Systems. Oxford University Press, 1996.
16. I. Gent. Analytic proof systems for classical and modal logics of restricted quantification. PhD thesis, University of Warwick, 1992.
17. G. Gargov and V. Goranko. Modal logic with names. J. of Philosophical Logic, 22(6):607-636, 1993.
18. H. Ganzinger, U. Hustadt, and R. Meyer and C. Schmidt. A resolutionbased decision procedure for extensions of K4. In 2nd Workshop on Advances in Modal Logic, 1998. to appear.
19. R Goré. Tableaux methods for modal and temporal logics. In Handbook of Tableaux Methods. Kluwer, Dordrecht, 1999. to appear.
20. G. Governatori. Labelled tableaux for multi-modal logics. In TABLEAUX-4, pages 79-94. LNAI 918, Springer, 1995.
21. A. Heuerding. Sequent Calculi for Proof Search in Some Modal Logics. PhD thesis, University of Bern, 1998.
22. J. Hudelmaier. Improved decision procedures for the modal logics K, KT and S4. In CSL'95, pages 320-334. LNCS 1092, Springer, 1996.
23. B. Konikowska. A logic for reasoning about relative similarity. Studia Logica, 58(1):185-226, 1997.
24. M. Kracht. Power and weakness of the modal display calculus. In H. Wansing, editor, Proof theory of modal logic, pages 93-121. Kluwer Academic Publishers, 1996.
25. S. Kripke. Semantical analysis of modal logic I: normal modal propositional calculi. Zeitschrift für Mathematik Logik und Grundlagen der Mathematik, 9:67-96, 1963.
26. F. Massacci. Strongly analytic tableaux for normal modal logics. In CADE-12, pages 723-737. Springer, LNAI 814, 1994.
27. Z. Ognjanović. A tableau-like proof procedure for normal modal logics. TCS, 129:167-186, 1994.
28. A. Prior. Time and Modality. Clarendon Press, Oxford, 1957.
29. N. Rescher and A. Urquhart. Temporal Logic. Springer-Verlag, 1971.
30. A. Russo. Modal logics as labelled deductive systems. PhDthesis, Imperial College, London, 1996.
31. M. Tzakova. Tableau calculi for hybrid logics. In this volume, 1999.
32. L. Wallen. Automated Deduction in Nonclassical Logics. MIT Press, 1990.