| Publication | Date of Publication | Type |
|---|
Generalized alternating-time temporal logics. I: Semantics
Information and Computation | 2026-06-23 | Paper |
Seven kinds of equivalent models for generalized coalition logics
Information and Computation | 2026-03-20 | Paper |
| Next-time coalition logic | 2026-02-10 | Paper |
| Each of those eight coalition logics is also determined by four other kinds of models | 2026-01-08 | Paper |
A minimal coalition logic
Journal of Logic and Computation | 2025-12-17 | Paper |
| Actions and deontology: Janusz Czelakowski on actions and their assessment | 2025-10-24 | Paper |
Completeness of two fragments of a logic for conditional strategic reasoning
Logic Journal of the IGPL | 2025-09-30 | Paper |
Modeling dynamics of legal relations with dynamic logic
Journal Of Logic And Computation | 2024-11-12 | Paper |
A logical theory for conditional weak ontic necessity in branching time
Studia Logica | 2024-09-03 | Paper |
| Normative properties of sequential actions | 2024-08-05 | Paper |
A logical theory for conditional weak ontic necessity based on context update
Journal of Logic, Language and Information | 2024-02-06 | Paper |
A logic for conditional local strategic reasoning
Journal of Logic, Language and Information | 2022-07-15 | Paper |
Modeling legal conflict resolution based on dynamic logic
Journal Of Logic And Computation | 2021-09-24 | Paper |
A Logic for Conditional Local Strategic Reasoning
(available as arXiv preprint) | 2021-02-11 | Paper |
Towards a logic for conditional local strategic reasoning
(available as arXiv preprint) | 2020-01-30 | Paper |
| Towards a logic for conditional local strategic reasoning | 2020-01-30 | Paper |
| A logic for temporal conditionals and a solution to the sea battle puzzle | 2019-07-24 | Paper |
| To do something else | 2019-07-24 | Paper |
| scientific article; zbMATH DE number 7085145 (Why is no real title available?) | 2019-07-24 | Paper |
Commands changing obligations
Journal Of Logic And Computation | 2019-07-10 | Paper |
A temporal dynamic deontic logic
Journal Of Logic And Computation | 2019-07-10 | Paper |
| A dynamic approach to temporal normative logic | 2017-11-22 | Paper |
Trace Semantics for IPDL
Logic, Rationality, and Interaction | 2015-12-17 | Paper |
A dynamic deontic logic based on histories
Logic, Rationality, and Interaction | 2013-11-06 | Paper |
Update semantics for imperatives with priorities
Logic, Rationality, and Interaction | 2011-10-19 | Paper |
