Dialogue logic. An introduction. Volume 1: The dialogue method. Rules and exercises
From MaRDI portal
Publication:3586993
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)
Recommendations
Cited in
(16)- Logic after Wittgenstein
- How to extend the dialogical approach to provability logic
- scientific article; zbMATH DE number 1874097 (Why is no real title available?)
- scientific article; zbMATH DE number 2226181 (Why is no real title available?)
- Operation and predicativity: Lorenzen's approach to arithmetic
- IEL-based formal dialogue system for tutorials
- scientific article; zbMATH DE number 3882399 (Why is no real title available?)
- Non-normal dialogics for a wonderful world and more
- scientific article; zbMATH DE number 2132017 (Why is no real title available?)
- A curious dialogical logic and its composition problem
- scientific article; zbMATH DE number 3895029 (Why is no real title available?)
- Inconsistency-adaptive dialogical logic
- Implicit versus explicit knowledge in dialogical logic
- \textsc{DiaLog}: a system for dialogue logic
- Basic objectives of dialogue logic in historical perspective
- Game semantics and the manifestation thesis
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)
