First-order dialogical games and tableaux
From MaRDI portal
Publication:484155
DOI10.1007/S10992-013-9289-ZzbMATH Open1343.03004OpenAlexW2012280751MaRDI QIDQ484155FDOQ484155
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
Recommendations
Philosophical and critical aspects of logic and foundations (03A05) 2-person games (91A05) Classical first-order logic (03B10)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Dialogspiele als Semantische Grundlage von Logikkalkülen
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Dialogues, strategies, and intuitionistic provability
- Title not available (Why is that?)
- First-order tableau methods
- On dialogues and natural deduction
- Basic objectives of dialogue logic in historical perspective
Cited In (12)
- Dialogues, reasons and endorsement
- Inconsistency-adaptive dialogical logic
- Material dialogues for first-order logic in constructive type theory
- The Axiom of Choice as Interaction Brief Remarks on the Principle of Dependent Choices in a Dialogical Setting
- A free dialogical logic for surrogate reasoning: generation of hypothesis without ontological commitments
- First order in Ludics
- Dialogue games for minimal logic
- Lorenzen won the game, Lorenz did too: dialogical logic for ellipsis and anaphora resolution
- Dialogue Game Tree with Nondeterministic Additive Consolidation
- Symbolic existence in Hugh MacColl: a dialogical approach
- A curious dialogical logic and its composition problem
- Title not available (Why is that?)
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)
