Basic objectives of dialogue logic in historical perspective

DOI10.1023/A:1010367416884MaRDI QIDQ5946358zbMATH OpenOpenAlexFDO

Authors Kuno Lorenz

Publication date 12 March 2002

Published in Synthese (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1010367416884

zbMATH Keywords

dialogue logichistorical survey

Mathematics Subject Classification ID

History of mathematical logic and foundations (03-03) Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Applications of game theory (91A80)

Review text

This paper gives a historical survey on the development of dialogue logic which started with \textit{P. Lorenzen}'s fundamental presentation in his book: Einführung in die operative Logik und Mathematik (Springer, Berlin) (1955; Zbl 0066.24802, Zbl 0068.00801). Moreover it serves as an introduction to the special issue of Synthese dedicated to a variety of themes connected with dialogue logic.

Recommendations

• Dialogue logic. An introduction. Volume 1: The dialogue method. Rules and exercises
• scientific article; zbMATH DE number 3882399
• \textsc{DiaLog}: a system for dialogue logic
• scientific article; zbMATH DE number 1416047
• From games to dialogues and back. Towards a general frame for validity

Cited in

(13)

• scientific article; zbMATH DE number 3882399 (Why is no real title available?)
• The Axiom of Choice as Interaction Brief Remarks on the Principle of Dependent Choices in a Dialogical Setting
• Dialogues, reasons and endorsement
• scientific article; zbMATH DE number 4127168 (Why is no real title available?)
• scientific article; zbMATH DE number 1180141 (Why is no real title available?)
• First-order dialogical games and tableaux
• A curious dialogical logic and its composition problem
• Conceptions of infinity and set in Lorenzen's operationist system
• Connecting sequent calculi with Lorenzen-style dialogue games
• A free dialogical logic for surrogate reasoning: generation of hypothesis without ontological commitments
• A game-theoretic framework for specification and verification of cryptographic protocols
• A simple token game and its logic
• Dialogical logic and constructive type theory: new explorations

This page was built for publication: Basic objectives of dialogue logic in historical perspective

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