| Publication | Date of Publication | Type |
|---|
| A deontic stit logic based on beliefs and expected utility | 2024-11-24 | Paper |
| On floating conclusions | 2024-08-05 | Paper |
| A stit logic of intentionality | 2024-06-05 | Paper |
DOING WITHOUT ACTION TYPES
The Review of Symbolic Logic | 2024-03-16 | Paper |
| On elitist lifting and consistency in structured argumentation | 2022-09-28 | Paper |
Stit semantics for epistemic notions based on information disclosure in interactive settings
Journal of Logical and Algebraic Methods in Programming | 2021-11-03 | Paper |
| Normative reasoning and consequence | 2021-06-15 | Paper |
Agents necessitating effects in Newtonian time and space: from power and opportunity to effectivity
Synthese | 2021-01-19 | Paper |
Stit semantics for epistemic notions based on information disclosure in interactive settings
Lecture Notes in Computer Science | 2020-07-08 | Paper |
A logic of objective and subjective oughts
(available as arXiv preprint) | 2020-02-18 | Paper |
| Arguments, responsibilities and moral dilemmas in abductive default logic | 2019-07-24 | Paper |
| Knowledge and subjective oughts in STIT logic | 2019-07-24 | Paper |
A Logic of Objective and Subjective Oughts (full paper with proofs)
(available as arXiv preprint) | 2019-03-25 | Paper |
Regulating competing coalitions: a logic for socially optimal group choices
Journal of Applied Non-Classical Logics | 2018-08-28 | Paper |
Using STIT theory to talk about strategies
Lecture Notes in Computer Science | 2016-08-30 | Paper |
On the reconciliation of logics of agency and logics of event types
Outstanding Contributions to Logic | 2015-04-10 | Paper |
Forbidding undesirable agreements
Journal Of Logic And Computation | 2015-02-26 | Paper |
| scientific article; zbMATH DE number 6297873 (Why is no real title available?) | 2014-05-22 | Paper |
| From coalition logic to STIT | 2013-10-07 | Paper |
Grounding power on actions and mental attitudes
Logic Journal of the IGPL | 2013-06-11 | Paper |
Probabilistic stit logic and its decomposition
International Journal of Approximate Reasoning | 2013-06-04 | Paper |
Discussion paper: Changing norms is changing obligation change
Lecture Notes in Computer Science | 2012-11-02 | Paper |
Ten problems of deontic logic and normative reasoning in computer science
Lecture Notes in Computer Science | 2012-11-01 | Paper |
Making a start with the stit logic analysis of intentional action
Journal of Philosophical Logic | 2011-12-15 | Paper |
Probabilistic stit logic
Lecture Notes in Computer Science | 2011-06-29 | Paper |
Deontic epistemic stit logic distinguishing modes of mens rea
Journal of Applied Logic | 2011-06-22 | Paper |
Forbidding undesirable agreements: a dependence-based approach to the regulation of multi-agent systems
Lecture Notes in Computer Science | 2010-09-29 | Paper |
| What groups \textit{do}, \textit{can} do, and \textit{know} they can do: an analysis in normal modal logics | 2010-02-05 | Paper |
An Update Operator for Strategic Ability
Logic, Rationality, and Interaction | 2010-01-07 | Paper |
Determining the environment: a modal logic for closed interaction
Synthese | 2009-11-04 | Paper |
Deontic Logic in Computer Science
Lecture Notes in Computer Science | 2009-04-30 | Paper |
Deontic Logic in Computer Science
Lecture Notes in Computer Science | 2009-04-30 | Paper |
A Complete STIT Logic for Knowledge and Action, and Some of Its Applications
Lecture Notes in Computer Science | 2009-02-12 | Paper |
‘What I Fail to Do Today, I Have to Do Tomorrow’: A Logical Study of the Propagation of Obligations
Lecture Notes in Computer Science | 2009-02-12 | Paper |
A STIT-Extension of ATL
Logics in Artificial Intelligence | 2008-10-30 | Paper |
A Logic for Closed-World Interaction
Logics in Artificial Intelligence | 2008-10-27 | Paper |
Strategic Deontic Temporal Logic as a Reduction to ATL, with an Application to Chisholm’s Scenario
Deontic Logic and Artificial Normative Systems | 2008-10-09 | Paper |
A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’
Lecture Notes in Computer Science | 2008-08-28 | Paper |
A Deontic Logic for Socially Optimal Norms
Lecture Notes in Computer Science | 2008-08-28 | Paper |
Embedding Alternating-time Temporal Logic in Strategic Logic of Agency
Journal Of Logic And Computation | 2007-04-13 | Paper |
Logics in Artificial Intelligence
Lecture Notes in Computer Science | 2006-10-25 | Paper |
Beliefs, obligations, intentions, and desires as components in an agent architecture
International Journal of Intelligent Systems | 2005-09-22 | Paper |
| scientific article; zbMATH DE number 2196585 (Why is no real title available?) | 2005-08-22 | Paper |
Action negation and alternative reductions for dynamic deontic logics
Journal of Applied Logic | 2004-08-06 | Paper |
Realistic desires
Journal of Applied Non-Classical Logics | 2004-03-07 | Paper |
| scientific article; zbMATH DE number 1983273 (Why is no real title available?) | 2003-09-18 | Paper |
| scientific article; zbMATH DE number 1844498 (Why is no real title available?) | 2002-12-12 | Paper |
| scientific article; zbMATH DE number 1735828 (Why is no real title available?) | 2002-10-15 | Paper |
| scientific article; zbMATH DE number 1696844 (Why is no real title available?) | 2002-01-28 | Paper |
| scientific article; zbMATH DE number 1304381 (Why is no real title available?) | 1999-06-17 | Paper |
