2 citations · 3 across the 3 of their papers we have counts for
3 papers
cs.LO2021★ 2 cited
A Deontic Stit Logic Based on Beliefs and Expected Utility
Aldo Iván Ramírez Abarca, Jan Broersen
The formalization of action and obligation using logic languages is a topic of increasing relevance in the field of ethics for AI. Having an expressive syntactic and semantic frame…
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…