Cut-free display calculi for nominal tense logics

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

Volumn 1617, Issue , 1999, Pages 155-170

  Demri, Stéphane ^a   Goré, Rajeev ^b  

^a Laboratoire LEIBNIZ CNRS   (France)

^b AUSTRALIAN NATIONAL UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

BIOMINERALIZATION; COMPUTER CIRCUITS; LINEARIZATION; PATHOLOGY; RECONFIGURABLE HARDWARE;

DISPLAY CALCULUS; NORMALISATION; STRUCTURAL RULES;

CALCULATIONS;

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

References (29)

1. Ph. Balbiani and S. Demri. Prefixed tableaux systems for modal logics with enriched languages. In IJCAI-15, pages 190–195. Morgan Kaufmann, 1997.
2. N. Belnap. Display logic. Journal of Philosophical Logic, 11:375–417, 1982.
3. P. Blackburn. Nominal Tense Logic and Other Sorted Intensional Frameworks. PhD thesis, University of Edinburgh, Edinburgh, 1990.
4. P. Blackburn. Nominal tense logic. NDJFL, 34(1):56–83, 1993.
5. P. Blackburn. Internalizing labeled deduction. Technical Report 102, Computerlinguistik, Universität des Saarlandes, 1998.
6. S. Demri. Sequent Calculi for Nominal Tense Logics: a step toward mechanization?. In this volume.
7. S. Demri and R. Goré. Cut-free display calculi for nominal tense logics. TRARP-07-98, A.R.P., A.N.U., 1998. http://arp.anu.edu.au/.
8. S. Demri and R. Goré. Theoremhood Preserving Maps as a Characterisation of Cut Elimination for Provability Logics. TR-ARP-??-99, forthcoming 1999.
9. 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.
10. D. Gabbay. An irreflexivity lemma with applications to axiomatization of conditions on tense frames. In U. Mönnich, editor, Aspects of Philosophical Logic, pages 67–89. Reidel, 1981.
11. G. Gargov and V. Goranko. Modal logic with names. J. of Philosophical Logic, 22(6):607–636, 1993.
12. R. Goré. Intuitionistic logic redisplayed. TR-ARP-1-95, ARP, ANU, 1995.
13. R. Goré. Substructural logics on display. LJIGPL, 6(3):451–504, 1998.
14. R. Goldblatt and S. Thomason. Axiomatic classes in propositional modal logic. In Algebra and Logic, LNM 450:163–173, 1975, Springer-Verlag.
15. B. Konikowska. A logic for reasoning about relative similarity. Studia Logica, 58(1):185–226, 1997.
16. R. Koymans. Specifying message passing and time-critical systems with temporal logic. LNCS 651, Springer-Verlag, 1992.
17. M. Kracht. Power and weakness of the modal display calculus. In H. Wansing, editor, Proof theory of modal logic, pages 93–121. Kluwer, 1996.
18. M. Kracht and F. Wolter. Simulation and transfer results in modal logic – A survey. Studia Logica, 59:149–1997, 1997.
19. E. Orłowska. Logic of indiscernibility relations. In 5th Symposium on Computation Theory, pages 177–186. LNCS 208, Springer-Verlag, 1984.
20. S. Passy and T. Tinchev. PDL with data constants. IPL, 20:35–41, 1985.
21. S. Passy and T. Tinchev. An essay in combinatory dynamic logic. Information and Computation, 93:263–332, 1991.
22. M. de Rijke. The modal logic of inequality. JSL, 57(2):566–584, 1992.
23. M. de Rijke. Extending modal logic. PhD thesis, ILLC, Amsterdam, 1993.
24. H. Sahlqvist. Completeness and correspondence in the first and second order semantics for modal logics. In S. Kanger, editor, 3rd Scandinavian Logic Symposium, pages 110–143. North Holland, 1975.
25. K. Segerberg. A note on the logic of elsewhere. Theoria, 47:183–187, 1981.
26. A. Troelstra and H. Schwichtenberg. Basic Proof Theory. Cambridge Tracts in Theoretical Computer Science 43. Cambridge University Press, 1996.
27. Y. Venema. Derivation rules as anti-axioms in modal logic. JSL, 58(3):1003–1034, 1993.
28. H. Wansing. Sequent calculi for normal modal propositional logics. J. of Logic and Computation, 4(2):125–142, 1994.
29. H. Wansing. Displaying Modal Logic, volume 3 of Trends in Logic. Kluwer Academic Publishers, Dordrecht, 1998.