research
∙
01/12/2020
Commonly Knowingly Whether
This paper introduces `commonly knowing whether', a non-standard version...
share
research
∙
02/03/2018
Arrow Update Synthesis
In this contribution we present arbitrary arrow update model logic (AAUM...
research
∙
07/27/2017
Cheryl's Birthday
We present four logic puzzles and after that their solutions. Joseph Yeo...
research
∙
03/03/2015
