Situated modeling of epistemic puzzles

Logic Journal of the IGPL 3 (1):51-76 (1995)
  Copy   BIBTEX

Abstract

Situation theory is a mathematical theory of meaning introduced by Jon Barwise and John Perry. It has evoked great theoretical interest and motivated the framework of a few ‘computational’ systems. PROSIT is the pioneering work in this direction. Unfortunately, there is a lack of real-life applications on these systems and this study is a preliminary attempt to remedy this deficiency. Here, we solve a group of epistemic puzzles using the constructs provided by PROSIT.

Analytics

Added to PP
2009-01-28

Downloads
221 (#82,836)

6 months
29 (#93,536)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Varol Akman
Bilkent University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references