Projects per year
Original language | English |
---|---|
Title of host publication | Logic and Interactive Rationality, Volume II : Yearbook 2012 |
Editors | Zoe Christoff, Paolo Galeazzi, Nina Gierasimczuk, Alexandru Marcoci, Sonja Smets |
Publisher | University of Amsterdam |
Publication date | 2014 |
Pages | 79-103 |
Publication status | Published - 2014 |
Bibliographical note
Re-issue of article in TARK 2013 proceedings.Projects
- 1 Finished
-
Hybrid-Logical Proofs at Work in Cognitive Psychology
Braüner, T. (Project participant), Blackburn, P. R. (Project participant) & Polyanskaya, I. (Project participant)
01/01/2014 → 30/04/2019
Project: Research