Modal logic as dialogical logic

DOI10.1023/A:1010358017657MaRDI QIDQ5946352zbMATH OpenOpenAlexFDO

Authors Patrick Blackburn

Publication date 14 October 2001

Published in Synthese (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60)

Recommendations

• scientific article; zbMATH DE number 1874097
• How to extend the dialogical approach to provability logic
• Multi-agent dialogues and dialogue sequents for proof search and scheduling in intuitionistic logic and the modal logic S4
• Implicit versus explicit knowledge in dialogical logic
• On dialogues and natural deduction

Cited in

(25)

• Modal logic as metalogic
• Non-deterministic logic of informal provability has no finite characterization
• Games for hybrid logic. From semantic games to analytic calculi
• Logics for multi-subset spaces
• Epistemic planning for single- and multi-agent systems
• Families of the granules for association rules and their properties
• ERRATUM: "RATIONAL DYNAMICS AND EPISTEMIC LOGIC IN GAMES"
• Modal Logics of Negotiation and Preference
• Establishing Connections between Aristotle's Natural Deduction and First-Order Logic
• Functional systems in the context of temporal×modal logics with indexed flows
• Why does the proof-theory of hybrid logic work so well?
• scientific article; zbMATH DE number 166117 (Why is no real title available?)
• scientific article; zbMATH DE number 1735873 (Why is no real title available?)
• Multi-agent dialogues and dialogue sequents for proof search and scheduling in intuitionistic logic and the modal logic S4
• scientific article; zbMATH DE number 1874097 (Why is no real title available?)
• RATIONAL DYNAMICS AND EPISTEMIC LOGIC IN GAMES
• A Road Map of Interval Temporal Logics and Duration Calculi
• A Road Map of Interval Temporal Logics and Duration Calculi
• How to extend the dialogical approach to provability logic
• Dialogical connexive logic
• Adaptive structure seeking dialogues
• Games for hybrid logic from semantic games to analytic calculi
• Playing with modalities (invited talk)
• Logics for belief as maximally plausible possibility
• A modal interpretation of the logic of interrogation

This page was built for publication: Modal logic as dialogical logic

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