Searching for just a few words should be enough to get started. If you need to make more complex queries, use the tips below to guide you.
Issue title: Special Issue on the 31Th Italian Conference on Computational Logic: CILC 2016
Guest editors: Camillo Fiorentini, Alberto Momigliano and Alberto Pettorossi
Article type: Research Article
Authors: Sticht, Martin; *; †
Affiliations: Informatics Theory Group, University of Bamberg, Germany. martin.sticht@uni-bamberg.de
Correspondence: [†] Address for correspondence: Informatics Theory Group, University of Bamberg, Kapuzinerstrasse 16, D-96047 Bamberg, Germany
Note: [*] partially funded by Austrian Science Fund (FWF) project P25417-G15 (LOGFRADIG)
Abstract: Dialogical games as introduced by Lorenzen and Lorenz describe a reasoning technique for intuitionistic and classical predicate logic: two players (proponent and opponent) argue about the validity of a given formula according to predefined rules. If the proponent has a winning strategy then the formula is proven to be valid. The underlying game rules can be modified to have an impact on proof search strategies and increase the efficiency of such a searching process. In this paper, a multi-agent version of dialogical logic is introduced that corresponds more to multi-conclusion sequent calculi for propositional intuitionistic logic rather than single-conclusion ones which are more related to two-player dialogues. We also consider an extension for the normal modal logic S4. The rules lead us to a normalization of a proof, let us focus on the proponents’ relevant decisions, and therefore give explicit directives that increase compactness of the proofsearching process. This allows us to perform parts of the proof in a parallel way. We prove soundness and completeness of these multi-agent systems.
Keywords: dialogues, proof search, intuitionistic logic, modal logic, game theories, parallel reasoning
DOI: 10.3233/FI-2018-1700
Journal: Fundamenta Informaticae, vol. 161, no. 1-2, pp. 191-218, 2018
IOS Press, Inc.
6751 Tepper Drive
Clifton, VA 20124
USA
Tel: +1 703 830 6300
Fax: +1 703 830 2300
sales@iospress.com
For editorial issues, like the status of your submitted paper or proposals, write to editorial@iospress.nl
IOS Press
Nieuwe Hemweg 6B
1013 BG Amsterdam
The Netherlands
Tel: +31 20 688 3355
Fax: +31 20 687 0091
info@iospress.nl
For editorial issues, permissions, book requests, submissions and proceedings, contact the Amsterdam office info@iospress.nl
Inspirees International (China Office)
Ciyunsi Beili 207(CapitaLand), Bld 1, 7-901
100025, Beijing
China
Free service line: 400 661 8717
Fax: +86 10 8446 7947
china@iospress.cn
For editorial issues, like the status of your submitted paper or proposals, write to editorial@iospress.nl
如果您在出版方面需要帮助或有任何建, 件至: editorial@iospress.nl