Shortcuts and dynamic marking in the tableau method for adaptive logics

Studia Logica

Volumn 69, Issue 2, 2001, Pages 221-248

  Batens, Diderik ^a   Meheus, Joke ^a  

^a GHENT UNIVERSITY   (Belgium)

Author keywords

Adaptive Logic; Dynamics; Tableaux

Indexed keywords

EID: 14144255518     PISSN: 00393215     EISSN: 15728730     Source Type: Journal    
DOI: 10.1023/A:1013865807250     Document Type: Article

References (20)

1. Batens, B. Inconsistency-adaptive logics and the foundation of non-monotonic logics. Logique et Analyse, 145:57-94, 1994. Appeared 1996.
2. Batens, D. Blocks. The clue to dynamic aspects of logic. Logique et Analyse, 150-152:285-328, 1995. Appeared 1997.
3. Batens, D. Inconsistency-adaptive logics. In [17], pp. 445-472.
4. Batens, D. Minimally abnormal models in some adaptive logics. Synthese, 125:5-18, 2000.
5. Batens, D. A survey of inconsistency-adaptive logics. In [8], pp. 49-73.
6. Batens, D. Towards the unification of inconsistency handling mechanisms. Logic and Logical Philosophy, in print.
7. D. Batens and J. Meheus. A tableau method for inconsistency-adaptive logics. In R. Dyckhoff (ed.), Automated Reasoning with Analytic Tableaux and Related Methods, Lecture Notes in Artificial Intelligence 1847, pp. 127-142. Springer, 2000.
8. D. Batens, C. Mortensen, G. Priest and J. P. Van Bendegem, editors. Frontiers of Paraconsistent Logic. Research Studies Press, Baldock, UK, 2000.
9. Benferhat, S., D. Dubois and H. Prade. Some syntactic approaches to the handling of inconsistent knowledge bases: A comparative study. Part 1: The flat case. Studia Logica, 58:17-45, 1997.
10. Benferhat, S., D. Dubois, and H. Prade. Some syntactic approaches to the handling of inconsistent knowledge bases: A comparative study. Part 2: The prioritized case. In [17], pp. 473-511.
11. Boolos, G. S., and R. J. Jeffrey. Computability and Logic. Cambridge University Press, 1989. (Third edition).
12. D'Agostino, M. Tableau methods for classical propositional logic. In M. D'Agostino, D. M. Gabbay, R. Hänle, and J. Possegga, editors, Handbook of Tableau Methods, pp. 45-123. Kluwer, Dordrecht, 1999.
13. De Clercq, K. Two new strategies for inconsistency-adaptive logics. Logic and Logical Philosophy, in press.
14. Kraus, S., D. Lehman and M. Magidor. Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence, 44:167-207, 1990.
15. Meheus, J. Adaptive logic in scientific discovery: the case of Clausius. Logique et Analyse, 143-144:359-389, 1993. Appeared 1996.
16. Meheus, J. An extremely rich paraconsistent logic and the adaptive logic based on it. In [8], pp. 189-201.
17. Orlowska, E., editor. Logic at Work. Essays Dedicated to the Memory of Helena Rasiowa. Physica Verlag (Springer), Heidelberg, New York, 1999.
18. Priest, G. Minimally inconsistent LP. Studia Logica, 50:321-331, 1991.
19. Smullyan, R. M. First Order Logic. Dover, New York, 1995. Original edition: Springer, 1968.
20. Vanackere, G. Ambiguity-adaptive logic. Logique et Analyse, 159:261-280, 1997. Appeared 1999.