scientific article; zbMATH DE number 1874097
From MaRDI portal
Publication:4795605
zbMATH Open1015.03026MaRDI QIDQ4795605FDOQ4795605
Authors: Shahid Rahman, Helge Rückert 
Publication date: 26 February 2003
Title of this publication is not available (Why is that?)
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 logic as dialogical logic
- Modal trees: Correction to a decision procedure for S5 (and T)
- 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
- Title not available (Why is that?)
- 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)
