Kees van Berkel

From MaRDI portal
Person:2291249

Available identifiers

zbMath Open van-berkel.keesMaRDI QIDQ2291249

List of research outcomes





PublicationDate of PublicationType
A logical analysis of instrumentality judgments: means-end relations in the context of experience and expectations2023-10-24Paper
Deontic paradoxes in Mīmāṃsā logics: there and back again2023-08-16Paper
https://portal.mardi4nfdi.de/entity/Q58783642023-02-21Paper
https://portal.mardi4nfdi.de/entity/Q58783622023-02-21Paper
https://portal.mardi4nfdi.de/entity/Q58783632023-02-21Paper
A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms2022-08-30Paper
Cut-free calculi and relational semantics for temporal STIT logics2020-02-18Paper
A neutral temporal deontic STIT logic2020-01-30Paper
Evaluating networks of arguments: a case study in Mīmāṃsā dialectics2020-01-30Paper
Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics2019-08-29Paper
A Neutral Temporal Deontic STIT Logic2019-07-07Paper
Cut-free Calculi and Relational Semantics for Temporal STIT Logics2019-04-22Paper
Handshake Circuits1995-01-29Paper
https://portal.mardi4nfdi.de/entity/Q40344181993-05-16Paper
https://portal.mardi4nfdi.de/entity/Q40034591992-09-18Paper
Proof Theory and Decision Procedures for Deontic STIT LogicsN/APaper

Research outcomes over time

This page was built for person: Kees van Berkel

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2291249&oldid=6848870"
Powered by MediaWiki