Knowledge and subjective oughts in STIT logic

zbMATH Open1418.03044MaRDI QIDQ5224902FDOQ5224902

Authors: Aldo Iván Ramírez Abarca, Jan Broersen 

Publication date: 24 July 2019

Recommendations

• A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’
• Stit semantics for epistemic notions based on information disclosure in interactive settings
• ACTION TYPES IN STIT SEMANTICS
• A Complete STIT Logic for Knowledge and Action, and Some of Its Applications
• Probabilistic stit logic

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27)

Cited In (4)

• A formalization of `ought not to know' based on STIT logic
• Choice-driven counterfactuals
• Stit semantics for epistemic notions based on information disclosure in interactive settings
• A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’

This page was built for publication: Knowledge and subjective oughts in STIT logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5224902)