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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Barteld P. Kooi