Resolution-based calculi for modal and temporal logics

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

Volumn 1104, Issue , 1996, Pages 598-612

  Nonnengart, Andreas ^a  

^a MAX PLANCK INSTITUTE FOR INFORMATICS   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; BIOMINERALIZATION; FORMAL LOGIC; PATHOLOGY; RECONFIGURABLE HARDWARE; TEMPORAL LOGIC; THEOREM PROVING;

BACKGROUND THEORY; CLASSICAL LOGIC; FIRST ORDER; INFERENCE RULES; PREDICATE LOGIC; RESOLUTION-BASED CALCULI; THEOREM PROVERS;

COMPUTER CIRCUITS;

EID: 84957685576     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61511-3_116     Document Type: Conference Paper

References (14)

1. Yves Auffray and Patrice Enjalbert. Modal theorem proving: An equational viewpoint. Journal of Logic and Computation, 2(3):247 - 295, 1992.
2. Brian F. Chellas. Modal Logic, an introduction. Cambridge University Press, 1980.
3. Rajeev Goré. Cut-free Sequent and Tableau Systems for Propositional Normal Modal Logics. Technical Report 257, Computer Laboratory, University of Cambridge, Cambridge, England, May 1992.
4. G. Hughes and M. Cresswell. An Introduction to Modal Logic. Menthuen, London, 1968.
5. Erik Mohr. Resolution-based calculi for modal logics. Master's thesis, University of Saarbrücken, Germany, 1995.
6. Andreas Nonnengart. First-order modal logic theorem proving and functional simulation. In Ruzena Bajcsy, editor, Proceedings of the 13th IJCAI, volume 1, pages 80 - 85. Morgan Kaufmann Publishers, 1993.
7. Andreas Nonnengart. How to use modalities and sorts in prolog. In Craig MacNish, David Pearce, and Luis Moniz Pereira, editors, Logics in Artificial Intelligence, volume LNAI 838, pages 365 - 378. Springer Verlag, 1994.
8. Andreas Nonnengaxt. A Resolution-Based Calculus for Temporal Logics. PhD thesis, Universität des Saarlandes, Saarbrücken, Germany, December 1995.
9. th International Conference on Automated Deduction, CADE-88 Argonne, IL, volume 310 of LNCS, pages 500-516, Berlin, Heidelberg, New York, 1988. Springer-Verlag. extended version: SEKI Report SR- 88-08, FB Informatik, Universität Kaiserslautern, 1988.
10. Hans Jürgen Ohlbach. Semantics-based translation methods for modal logics. Journal of Logic and Computation, 1(5):691-746, 1991.
11. Arthur Prior. Past, Present and Future. Clarendon Press, Oxford, 1967.
12. N. Rescher and A. Urquhart. Temporal Logic. Springer, Berlin, 1971.
13. Krister Segerberg. An essay in classical modal logic. Technical Report 13, University of Uppsala, Filosofìska Studier, 1971. Volume 1-3.
14. Johan van Benthem. The Logic of Time. Reidel, Dordrecht, 1990.