Multi-Agent Dialogues and Dialogue Sequents for Proof Search and Scheduling in Intuitionistic Logic and the Modal Logic S4

Sticht, MartinMartinSticht0009-0006-6719-864X2019-09-192018-07-2420180169-2968https://fis.uni-bamberg.de/handle/uniba/44251engdialogues, proof search, intuitionistic logic, modal logic, game theories, parallel reasoningMulti-Agent Dialogues and Dialogue Sequents for Proof Search and Scheduling in Intuitionistic Logic and the Modal Logic S4article10.3233/FI-2018-1700https://content.iospress.com/articles/fundamenta-informaticae/fi1700