First-order dialogical games and tableaux
From MaRDI portal
Publication:484155
Recommendations
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)