Kees van Berkel

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 22

Top Topics

Sequent Calculi

Reasoning About Actions

Decision Procedures

Top Venues

Publications

Ofer Arieli, Kees van Berkel, Christian Straßer
Defeasible Normative Reasoning: A Proof-Theoretic Integration of Logical Argumentation. AAAI (2024)
Tim S. Lyon, Kees van Berkel
Proof Theory and Decision Procedures for Deontic STIT Logics. CoRR (2024)
Kees van Berkel, Tim S. Lyon, Matteo Pascucci
A Logical Analysis of Instrumentality Judgments: Means-End Relations in the Context of Experience and Expectations. J. Philos. Log. 52 (5) (2023)
Kees van Berkel, Réka Markovich, Christian Straßer, Leendert van der Torre
Arguing About Choosing a Normative System: Conflict of Laws. JURIX (2023)
Kees van Berkel, Agata Ciabattoni, Elisa Freschi, Francesca Gulisano, Maya Olszewski
Deontic Paradoxes in Mīmāṃsā Logics: There and Back Again. J. Log. Lang. Inf. 32 (1) (2023)
Kees van Berkel, Christian Straßer
Reasoning With and About Norms in Logical Argumentation. COMMA (2022)
Kees van Berkel, Tim S. Lyon, Matteo Pascucci
A logical analysis of instrumentality judgments: means-end relations in the context of experience and expectations. CoRR (2022)
Ofer Arieli, Kees van Berkel, Christian Straßer
Annotated Sequent Calculi for Paraconsistent Reasoning and Their Relations to Logical Argumentation. IJCAI (2022)
Kees van Berkel, Dov M. Gabbay, Leendert van der Torre
If You Want to Smoke, Don't Buy Cigarettes: Near-Anankastics, Contexts, and Hyper Modality. DEON (2021)
Kees van Berkel, Agata Ciabattoni, Elisa Freschi, Francesca Gulisano, Maya Olszewski
The Gentle Murder Paradox in Sanskrit Philosophy. DEON (2021)
Kees van Berkel, Tim Lyon
The Varieties of Ought-Implies-Can and Deontic STIT Logic. DEON (2021)
Kees van Berkel, Tim Lyon, Francesco Olivieri
A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms. CLAR (2020)
Kees van Berkel, Tim Lyon
Cut-free Calculi and Relational Semantics for Temporal STIT Logics. CoRR (2019)
Kees van Berkel, Tim Lyon
Cut-Free Calculi and Relational Semantics for Temporal STIT Logics. JELIA (2019)
Tim Lyon, Kees van Berkel
Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics. CoRR (2019)
Kees van Berkel, Tim Lyon
A Neutral Temporal Deontic STIT Logic. CoRR (2019)
Kees van Berkel, Agata Ciabattoni, Elisa Freschi, Sanjay Modgil
Evaluating Networks of Arguments: A Case Study in Mīmāṃsā Dialectics. LORI (2019)
Kees van Berkel, Tim Lyon
A Neutral Temporal Deontic STIT Logic. LORI (2019)
Tim Lyon, Kees van Berkel
Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics. PRIMA (2019)
Kees van Berkel, Tim Lyon
Appendix for: Cut-free Calculi and Relational Semantics for Temporal STIT logics. CoRR (2019)
Kees van Berkel, Matteo Pascucci
Notions of Instrumentality in Agency Logic. PRIMA (2018)
Agata Ciabattoni, Björn Lellmann, Kees van Berkel
: workshop report. ACM SIGLOG News 5 (4) (2018)