First-order dialogical games and tableaux

DOI10.1007/S10992-013-9289-ZMaRDI QIDQ484155zbMATHOpenAlexFDO

Authors 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

classical logictableauxdialogical semanticsfinite dialogues

Mathematics Subject Classification ID

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

Recommendations

• A curious dialogical logic and its composition problem
• Dialogue games for minimal logic
• scientific article; zbMATH DE number 7084933
• scientific article; zbMATH DE number 1874097
• Dialogue interpretation of the classical predicate calculus

Cites work

• scientific article; zbMATH DE number 3677798 (Why is no real title available?)
• scientific article; zbMATH DE number 46359 (Why is no real title available?)
• scientific article; zbMATH DE number 1028820 (Why is no real title available?)
• scientific article; zbMATH DE number 3274715 (Why is no real title available?)
• scientific article; zbMATH DE number 2226181 (Why is no real title available?)
• scientific article; zbMATH DE number 3078993 (Why is no real title available?)
• Basic objectives of dialogue logic in historical perspective
• Dialogspiele als Semantische Grundlage von Logikkalkülen
• Dialogues, strategies, and intuitionistic provability
• First-order tableau methods
• On dialogues and natural deduction

Cited in

(12)

• Dialogue games for minimal logic
• First order in Ludics
• scientific article; zbMATH DE number 5772817 (Why is no real title available?)
• Material dialogues for first-order logic in constructive type theory
• Dialogue Game Tree with Nondeterministic Additive Consolidation
• The Axiom of Choice as Interaction Brief Remarks on the Principle of Dependent Choices in a Dialogical Setting
• Dialogues, reasons and endorsement
• A free dialogical logic for surrogate reasoning: generation of hypothesis without ontological commitments
• A curious dialogical logic and its composition problem
• Inconsistency-adaptive dialogical logic
• Lorenzen won the game, Lorenz did too: dialogical logic for ellipsis and anaphora resolution
• Symbolic existence in Hugh MacColl: a dialogical approach

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q484155)