First-Order Dialogical Games and Tableaux

@article{Clerbout2014FirstOrderDG,
  title={First-Order Dialogical Games and Tableaux},
  author={Nicolas Clerbout},
  journal={Journal of Philosophical Logic},
  year={2014},
  volume={43},
  pages={785-801}
}
  • Nicolas Clerbout
  • Published 2014
  • Mathematics, Computer Science
  • Journal of Philosophical Logic
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. 
Dialogues for proof search
  • Jesse Alama
  • Mathematics, Computer Science
  • ARQNL@IJCAR
  • 2014
Alexandra Pavlova Dialogue Games for Minimal Logic
Dialogues with Play-Objects
A Curious Dialogical Logic and its Composition Problem
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 17 REFERENCES
First-Order Tableau Methods
On How to Be a Dialogician
Dialogues, strategies, and intuitionistic provability
Dialogues as a Foundation for Intuitionistic Logic
basic objectives of dialogue logic in historical perspective
Handbook of Philosophical Logic
Formal systems of dialogue rules
First-Order Logic and Automated Theorem Proving
  • M. Fitting
  • Mathematics, Computer Science
  • Graduate Texts in Computer Science
  • 1996
...
1
2
...