activity
20192023
most citedA Deontic Stit Logic Based on Beliefs and Expected Utility

2 citations · 3 across the 5 of their papers we have counts for

collaborators
Showing 2023Show all

2 papers · 1 filter

cs.LO2023

A Logic-Based Analysis of Responsibility

Aldo Ivńn Ramírez Abarca

This paper presents a logic-based framework to analyze responsibility, which I refer to as intentional epistemic act-utilitarian stit theory (IEAUST). To be precise, IEAUST is used…

cs.LO2023

From ATL to Stit

Aldo Iván Ramírez Abarca

I present a technical embedding of alternating-time temporal logic into stit theory.