Hybrid-Logical Reasoning in False-Belief Tasks

Preprint English OPEN
Brauner, Torben (2013)
  • Subject: Computer Science - Computer Science and Game Theory | Computer Science - Logic in Computer Science

The main aim of the present paper is to use a proof system for hybrid modal logic to formalize what are called falsebelief tasks in cognitive psychology, thereby investigating the interplay between cognition and logical reasoning about belief. We consider two different ... View more
Share - Bookmark