Dialogue logic. An introduction. Volume 1: The dialogue method. Rules and exercises

zbMATH Open1198.03002MaRDI QIDQ3586993FDOQ3586993

Authors: Matthieu Fontaine, Juan Redmond 

Publication date: 1 September 2010

Recommendations

• scientific article; zbMATH DE number 2132017
• scientific article; zbMATH DE number 3895029
• \textsc{DiaLog}: a system for dialogue logic
• scientific article; zbMATH DE number 1874097
• Non-normal dialogics for a wonderful world and more

zbMATH Keywords

intuitionistic logicnormal modal logicsclassical logiclogical calculiproof systemsdialogue logic

Mathematics Subject Classification ID

Classical propositional logic (03B05) Modal logic (including the logic of norms) (03B45) Proof theory in general (including proof-theoretic semantics) (03F03) Logic in artificial intelligence (68T27) Subsystems of classical logic (including intuitionistic logic) (03B20) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)

Cited In (13)

• Title not available (Why is that?)
• Inconsistency-adaptive dialogical logic
• Implicit versus explicit knowledge in dialogical logic
• Title not available (Why is that?)
• Logic after Wittgenstein
• Operation and Predicativity: Lorenzen’s Approach to Arithmetic
• Basic objectives of dialogue logic in historical perspective
• Non-normal dialogics for a wonderful world and more
• How to extend the dialogical approach to provability logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Game semantics and the manifestation thesis
• Title not available (Why is that?)

This page was built for publication: Dialogue logic. An introduction. Volume 1: The dialogue method. Rules and exercises

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