2 citations · 3 across the 5 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.LO2019
Stit Semantics for Epistemic Notions Based on Information Disclosure in Interactive Settings
Aldo Iván Ramírez Abarca, Jan Broersen
We characterize four types of agentive knowledge using a stit semantics over branching discrete-time structures. These are \emph{ex ante} knowledge, \emph{ex interim} knowledge, \e…
math.LO2019★ 1 cited
A Logic of Objective and Subjective Oughts (full paper with proofs)
Aldo Iván Ramírez Abarca, Jan Broersen
The relation between agentive action, knowledge, and obligation is central to the understanding of responsibility --a main topic in Artificial Intelligence. Based on the view that…