|
|||||
|
|
Proof-Theoretic Analysis of the Logics of Agency: The Deliberative STIT |
|
| Authors: | Negri S Pavlović E |
| Institution: | 1.Department of Mathematics, University of Genova, Via Dodecaneso 35, 16146, Genoa, Italy ;2.Department of Philosophy, University of Helsinki, Unioninkatu 40, Helsinki, Finland ; |
| Abstract: | Studia Logica - A sequent calculus methodology for systems of agency based on branching-time frames with agents and choices is proposed, starting with a complete and cut-free system for multi-agent... |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |