scientific article; zbMATH DE number 1874097
From MaRDI portal
Recommendations
- Multi-agent dialogues and dialogue sequents for proof search and scheduling in intuitionistic logic and the modal logic S4
- Modal logic as dialogical logic
- How to extend the dialogical approach to provability logic
- Non-normal dialogics for a wonderful world and more
- Dialogue logic. An introduction. Volume 1: The dialogue method. Rules and exercises
Cited in
(10)- Modal trees: Correction to a decision procedure for S5 (and T)
- Modal logic as dialogical logic
- Implicit versus explicit knowledge in dialogical logic
- First-order dialogical games and tableaux
- Multi-agent dialogues and dialogue sequents for proof search and scheduling in intuitionistic logic and the modal logic S4
- Dialogue logic. An introduction. Volume 1: The dialogue method. Rules and exercises
- Modal Logics Between S 4 and S 5
- scientific article; zbMATH DE number 3882405 (Why is no real title available?)
- Non-normal dialogics for a wonderful world and more
- How to extend the dialogical approach to provability logic
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4795605)
