First-order dialogical games and tableaux

DOI10.1007/S10992-013-9289-ZzbMath1343.03004OpenAlexW2012280751MaRDI QIDQ484155

Nicolas Clerbout

Publication date: 18 December 2014

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-013-9289-z

zbMATH Keywords

tableauxclassical logicdialogical semanticsfinite dialogues

Mathematics Subject Classification ID

2-person games (91A05) Philosophical and critical aspects of logic and foundations (03A05) Classical first-order logic (03B10)

Related Items (8)

Lorenzen won the game, Lorenz did too: dialogical logic for ellipsis and anaphora resolution ⋮ A free dialogical logic for surrogate reasoning: generation of hypothesis without ontological commitments ⋮ The Axiom of Choice as Interaction Brief Remarks on the Principle of Dependent Choices in a Dialogical Setting ⋮ A curious dialogical logic and its composition problem ⋮ Dialogues, Reasons and Endorsement ⋮ Dialogue Games for Minimal Logic ⋮ Symbolic Existence in Hugh MacColl: A Dialogical Approach ⋮ Inconsistency-adaptive dialogical logic

Cites Work

• Dialogues, strategies, and intuitionistic provability
• Dialogspiele als Semantische Grundlage von Logikkalkülen
• Basic objectives of dialogue logic in historical perspective
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: First-order dialogical games and tableaux