Knowledge and subjective oughts in STIT logic

MaRDI QIDQ5224902zbMATH OpenFDO

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

Publication date 24 July 2019

Mathematics Subject Classification ID

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

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

Cited in

(5)

• 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
• 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)