Stit semantics for epistemic notions based on information disclosure in interactive settings
From MaRDI portal
Publication:5919130
DOI10.1016/j.jlamp.2021.100708OpenAlexW3179794402MaRDI QIDQ5919130
Jan M. Broersen, Aldo Iván Ramírez Abarca
Publication date: 3 November 2021
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlamp.2021.100708
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Combinations of \textit{stit} with \textit{ought} and \textit{know}
- Decidability of an Xstit logic
- Deontic epistemic stit logic distinguishing modes of mens rea
- Making a start with the stit logic analysis of intentional action
- Modelling knowledge and action in distributed systems
- Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
- Doing without nature
- Together we know how to achieve: an epistemic logic of know-how
- Memory and perfect recall in extensive games
- Complexity results of STIT fragments
- A logic of goal-directed knowing how
- A logic of objective and subjective oughts
- A logical analysis of responsibility attribution: emotions, individuals and collectives
- Embedding Alternating-time Temporal Logic in Strategic Logic of Agency
- A Logic of Knowing How
- A Complete STIT Logic for Knowledge and Action, and Some of Its Applications
- Temporal logic and its application to normative reasoning
- ACTION TYPES IN STIT SEMANTICS
This page was built for publication: Stit semantics for epistemic notions based on information disclosure in interactive settings
