research
∙
07/11/2023
Epistemic Syllogistic: First Steps
Aristotle's discussions on modal syllogistic have often been viewed as e...
share
research
∙
02/03/2022
Are Bundles Good Deals for FOML?
Bundled products are often offered as good deals to customers. When we b...
research
∙
06/22/2021
Knowing How to Plan
Various planning-based know-how logics have been studied in the recent l...
research
∙
06/22/2021
De Re Updates
In this paper, we propose a lightweight yet powerful dynamic epistemic l...
research
∙
07/22/2019
How to Agree without Understanding Each Other: Public Announcement Logic with Boolean Definitions
In standard epistemic logic, knowing that p is the same as knowing that ...
research
∙
05/10/2018
When Names Are Not Commonly Known: Epistemic Logic with Assignments
In standard epistemic logic, agent names are usually assumed to be commo...
research
∙
05/10/2018
Call Me by Your Name: Epistemic Logic with Assignments and Non-rigid Names
In standard epistemic logic, agent names are usually assumed to be commo...
research
∙
03/29/2018
Weakly Aggregative Modal Logic: Characterization and Interpolation
In this paper, we study the model theoretical aspects of Weakly Aggregat...
research
∙
03/28/2018
Bundled fragments of first-order modal logic: (un)decidability
Quantified modal logic provides a natural logical language for reasoning...
research
∙
07/27/2017
A New Modal Framework for Epistemic Logic
Recent years witnessed a growing interest in non-standard epistemic logi...
research
∙
05/15/2017
Strategically knowing how
In this paper, we propose a single-agent logic of goal-directed knowing ...
research
∙
09/21/2016
A Logic of Knowing Why
When we say "I know why he was late", we know not only the fact that he ...
research
∙
06/27/2016
True Lies
A true lie is a lie that becomes true when announced. In a logic of anno...
research
∙
06/24/2016
A Dynamic Epistemic Framework for Conformant Planning
In this paper, we introduce a lightweight dynamic epistemic logical fram...
research
∙
12/07/2015
From rules to runs: A dynamic epistemic take on imperfect information games
In the literature of game theory, the information sets of extensive form...
research
∙
05/25/2015
A Logic of Knowing How
In this paper, we propose a single-agent modal logic framework for reaso...
research
∙
11/30/2013