Barteld P. Kooi

Available identifiers

zbMath Open kooi.barteld-pieterWikidataQ102263398 ScholiaQ102263398MaRDI QIDQ1403402

List of research outcomes

Publication	Date of Publication	Type
Solutions to the knower paradox in the light of Haack's criteria	2023-08-02	Paper
Two-sided sequent calculi for \textit{FDE}-like four-valued logics	2023-04-24	Paper
Iterative social consolidations: Forming beliefs from many-valued evidence and peers’ opinions	2022-09-08	Paper
How knowledge triggers obligation. A dynamic logic of epistemic conditional obligation	2022-06-24	Paper
https://portal.mardi4nfdi.de/entity/Q5016794	2021-12-14	Paper
Arrow update synthesis	2020-12-15	Paper
Playing Cards with Hintikka: An Introduction to Dynamic Epistemic Logic	2020-07-24	Paper
A dynamic epistemic framework for reasoning about conformant probabilistic plans	2019-08-28	Paper
THE AMBIGUITY OF KNOWABILITY	2017-05-31	Paper
Arbitrary arrow update logic	2016-11-29	Paper
https://portal.mardi4nfdi.de/entity/Q2818537	2016-09-07	Paper
https://portal.mardi4nfdi.de/entity/Q2990022	2016-07-29	Paper
One Hundred Prisoners and a Light Bulb	2015-07-15	Paper
Logic and Probabilistic Update	2015-05-11	Paper
Three-valued logics in modal logic	2013-12-05	Paper
On the succinctness of some modal logics	2013-08-23	Paper
COMPLETENESS VIA CORRESPONDENCE FOR EXTENSIONS OF THE LOGIC OF PARADOX	2013-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q4648829	2012-11-16	Paper
Local properties in modal logic	2012-11-15	Paper
Logics of Rational Interaction	2012-08-23	Paper
On the Relative Succinctness of Two Extensions by Definitions of Multimodal Logic	2012-08-14	Paper
ARROW UPDATE LOGIC	2012-03-29	Paper
Expressivity and completeness for public update logics via reduction axioms	2009-11-30	Paper
Dynamic update with probabilities	2009-11-04	Paper
Erratum to: ``Strong completeness and limited canonicity for PDL	2009-05-04	Paper
Strong completeness and limited canonicity for PDL	2009-03-24	Paper
Dynamic Epistemic Logic and Knowledge Puzzles	2009-03-06	Paper
Dynamic epistemic logic	2008-11-07	Paper
Conflicting Obligations in Multi-agent Deontic Logic	2008-10-09	Paper
Moral conflicts between groups of agents	2008-04-09	Paper
https://portal.mardi4nfdi.de/entity/Q5296759	2007-07-16	Paper
Logics of communication and change	2007-01-22	Paper
The secret of my success	2006-12-20	Paper
https://portal.mardi4nfdi.de/entity/Q5483016	2006-08-15	Paper
Hybrid Logics with Infinitary Proof Systems	2006-07-03	Paper
Trying to resolve the two-envelope problem	2005-12-12	Paper
https://portal.mardi4nfdi.de/entity/Q4661972	2005-03-30	Paper
https://portal.mardi4nfdi.de/entity/Q4453636	2004-03-07	Paper
Probabilistic dynamic epistemic logic	2003-09-01	Paper

Research outcomes over time

This page was built for person: Barteld P. Kooi