Displaying the modal logic of consistency

Journal of Symbolic Logic

Volumn 64, Issue 4, 1999, Pages 1573-1590

  Wansing, Heinrich ^a  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

Constructive logic; Four valued logic; Modal logic; Modal translations; Non monotonic reasoning

Indexed keywords

EID: 0033269115     PISSN: 00224812     EISSN: None     Source Type: Journal    
DOI: 10.2307/2586798     Document Type: Article

References (29)

1. A. ALMUKDAD and D. NELSON, Constructible falsity and inexact predicates, this JOURNAL, vol. 49 (1984), pp. 231-233.
2. J. BARBA, A modal reduction for partial logic, Journal of Philosophical Logic, vol. 22 (1993), pp. 429-435.
3. N. BELNAP, A useful four-valued logic, Modern uses of multiple-valued logic (J. M. Dunn and G. Epstein, editors), Reidel, Dordrecht, 1977, pp. 8-37.
4. _, Display logic, Journal of Philosophical Logic, vol. 11 (1982), pp. 375-417.
5. _, Linear logic displayed, Notre Dame Journal of Formal Logic, vol. 31 (1990), pp. 14-25.
6. _, The display problem, Proof theory of modal logic (H. Wansing, editor), Kluwer Academic Publishers, Dordrecht, 1996, pp. 79-93.
7. M. CLARKE, lntuitionistic non-monotonic reasonig - further results, ECAI88, Proceedings of the 8th European conference on artificial intelligence (Y. Kodratoff, editor), Pitman, London, 1988, pp. 525-527.
8. M. CLARKE and D. GABBAY, An intuitionistic basis for non-monotonic reasoning, Non-standard logics for automated reasoning (P. Smets et al., editors), Academic Press, London, 1988, pp. 163-178.
9. M. DUNN, The algebra of intentional logics, Ph-D. theses, University of Pittsburgh, Ann Arbor, 1966, University Microfilms.
10. D. GABBAY, Intuitioniaic basis for non-monotonie logic, Proceedings of the 6th conference on automated deduction, Lecture Notes in Computer Science, no. 138, Springer-Verlag, Berlin, 1982, pp. 260-273.
11. R. GORÉ, Intuitionistic logic redisplayed, Technical Report TR-ARP-1-95, Australian National University, Canberra, 1995.
12. J. Jaspars, Calculi for constructive communication, Ph.D. thesis, University of Tilburg, 1994.
13. M. KRACHT, Power and weakness of the modal display calculus, Proof theory of modal logic (H. Wansing, editor), Kluwer Academic Publishers, Dordrecht, 1996, pp. 95-122.
14. W. ŁUKASZEWICZ, Non-monotonie reasoning. Formalization of commonsense reasoning, Ellis Horwood, Chichester, 1990.
15. D. MCDERMOTT and J. DOYLE, Non-nionolonic logic I, Journal of Artificial Intelligence, vol. 13 (1980), pp. 41-72.
16. D. NELSON, Constructible falsity, this JOURNAL, vol. 14 (1949), pp. 16-26.
17. W. RAUTENBERG, Klassische und nicht-klassische Aussagenlogik, Vieweg, Braunschweig, 1979.
18. R. REITER, A logic for default reasoning, Artificial Intelligence, vol. 13 (1980), pp. 81-132.
19. G. RESTALL, Display logic and gaggle theory, Reports on Mathematical Logic, vol. 29 (1995), pp. 133-146, published in 1996.
20. _, Displaying and deciding substructural logics 1: Logics with contraposition, Journal of Philosophical Logic, vol. 27 (1998), pp. 179-216.
21. R. TURNER, Logics for artificial intelligence, Ellis Horwood, Chichester, 1984.
22. A. URQUHART, Many-valued logic, Handbook of philosophical logic (D. Gabbay and F. Guenthner, editors), vol. 3, 1986, pp. 71-116.
23. D. VAN ALEN, Intuitionisticlogic, Handbook of philosophical logic (D. Gabbay and F. Guenthner, editors), vol. 3, 1986, pp. 225-339.
24. H. Wansing, Sequent calculi modal propositional logics, Journal of Logic and Computation, vol. 4 (1994), pp. 125-142.
25. _, Semantics-based nonmonotonic inference, Notre Dame Journal of Formal Logic, vol. 36 (1995), pp. 44-54.
26. _, Strong cut-elimination in display logic, Reports on Mathematical Logic, vol. 29 (1995), pp. 117-131, published in 1996.
27. _, A full-circle theorem for simple tense logic, Advance in intensional logic (M. de Rijke, editor), Kluwer Academic Publishers, Dordrecht, 1997, pp. 173-193.
28. _, Negation as falsity: A reply to Tennant, What is negation? (D. Gabbay and H. Wansing, editors), Kluwer Academic Publishers, Dordrecht, 1999, pp. 223-238.
29. _, Predicate logics on display, Studia Logica, vol. 62 (1999), pp. 49-75.