论文信息 - First-Order Dialogical Games and Tableaux

First-Order Dialogical Games and Tableaux

We present a new proof of soundness/completeness of tableaux with respect to dialogical games in Classical First-Order Logic. As far as we know it is the first thorough result for dialogical games where finiteness of plays is guaranteed by means of what we call repetition ranks.

Nicolas Clerbout | Nicolas Clerbout

[1] David Gale,et al. 13. Infinite Games with Perfect Information , 1953 .

[2] R. Smullyan. First-Order Logic , 1968 .

[3] Kuno Lorenz. Dialogspiele als Semantische Grundlage von Logikkalkülen , 1968 .

[4] Walter Felscher,et al. Dialogues, strategies, and intuitionistic provability , 1985 .

[5] Shahid Rahman,et al. On Dialogues and Natural Deduction , 2009 .

[6] Reinhold Letz. First-Order Tableau Methods , 1999 .

[7] S. Vajda,et al. Contributions to the Theory of Games. Volume III. Annals of Mathematics Studies Number 39. Edited by M. Dresher, A. W. Tucker and P. Wolfe. (Princeton University Press) , 1954, The Mathematical Gazette.

[8] Erik C. W. Krabbe,et al. Formal systems of dialogue rules , 1985, Synthese.

[9] Daniel Vanderveken. Logic, Thought and Action , 2005, Logic, Epistemology, and the Unity of Science.

[10] Shahid Rahman,et al. On How to Be a Dialogician , 2005, Logic, Thought and Action.

[11] D. Gabbay,et al. Handbook of tableau methods , 1999 .

[12] Giuseppe Primiero,et al. Acts of Knowledge: History, Philosophy and Logic , 2009 .

[13] Dov M. Gabbay,et al. Handbook of Philosophical Logic , 2002 .

[14] Melvin Fitting,et al. First-Order Logic and Automated Theorem Proving , 1990, Graduate Texts in Computer Science.

[15] Kuno Lorenz,et al. basic objectives of dialogue logic in historical perspective , 2001, Synthese.

[16] Walter Felscher. Dialogues as a Foundation for Intuitionistic Logic , 2002 .