research
∙
08/25/2022
A logical theory for strong and weak ontic necessities in branching time
Ontic necessities are those modalities universally quantifying over doma...
share
research
∙
08/25/2022
A logical theory for conditional weak ontic necessity based on context update
Weak ontic necessity is the ontic necessity expressed by “should” or “ou...
research
∙
02/11/2021
A Logic for Conditional Local Strategic Reasoning
We consider systems of rational agents who act and interact in pursuit o...
research
∙
11/08/2017