8 citations · 11 across the 4 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
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…
cs.LO2016★ 8 cited
Representing Strategies
Hein Duijf, Jan Broersen
Quite some work in the ATL-tradition uses the differences between various types of strategies (positional, uniform, perfect recall) to give alternative semantics to the same logica…