Kees van Berkel

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Hypothesis-driven disjunctive reasoning in logical argumentation	2026-02-10	Paper
Towards an argumentative unification of default reasoning	2025-08-29	Paper
A nonmonotonic proof theory for dialectical argumentation under bounded resources	2025-08-29	Paper
Reasoning with and about norms in logical argumentation	2025-08-26	Paper
A tutorial in proof-theoretic approaches to logical argumentation	2025-06-17	Paper
A dialectical formalisation of preferred subtheories reasoning under resource bounds International Journal of Approximate Reasoning	2025-05-31	Paper
Proof theory and decision procedures for deontic STIT logics The Journal of Artificial Intelligence Research (JAIR)	2025-02-03	Paper
A logical analysis of instrumentality judgments: means-end relations in the context of experience and expectations Journal of Philosophical Logic	2023-10-24	Paper
Deontic paradoxes in Mīmāṃsā logics: there and back again Journal of Logic, Language and Information	2023-08-16	Paper
The varieties of ought-implies-can and deontic \textsf{STIT} logic	2023-02-21	Paper
The gentle murder paradox in Sanskrit philosophy	2023-02-21	Paper
scientific article; zbMATH DE number 7655699 (Why is no real title available?)	2023-02-21	Paper
A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms Lecture Notes in Computer Science	2022-08-30	Paper
Cut-free calculi and relational semantics for temporal STIT logics (available as arXiv preprint)	2020-02-18	Paper
A neutral temporal deontic STIT logic (available as arXiv preprint)	2020-01-30	Paper
Evaluating networks of arguments: a case study in Mīmāṃsā dialectics	2020-01-30	Paper
Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics	2019-08-29	Paper
A Neutral Temporal Deontic STIT Logic (available as arXiv preprint)	2019-07-07	Paper
Cut-free Calculi and Relational Semantics for Temporal STIT Logics (available as arXiv preprint)	2019-04-22	Paper
Handshake Circuits	1995-01-29	Paper
scientific article; zbMATH DE number 167430 (Why is no real title available?)	1993-05-16	Paper
scientific article; zbMATH DE number 53230 (Why is no real title available?)	1992-09-18	Paper
Proof Theory and Decision Procedures for Deontic STIT Logics (available as arXiv preprint)	N/A	Paper

Research outcomes over time

This page was built for person: Kees van Berkel