The following pages link to Barteld P. Kooi (Q1403402):
Displaying 40 items.
- (Q343911) (redirect page) (← links)
- Arbitrary arrow update logic (Q343913) (← links)
- On the succinctness of some modal logics (Q360052) (← links)
- Three-valued logics in modal logic (Q383567) (← links)
- The secret of my success (Q857682) (← links)
- Logics of communication and change (Q859825) (← links)
- Dynamic epistemic logic (Q953926) (← links)
- Strong completeness and limited canonicity for PDL (Q1006490) (← links)
- Erratum to: ``Strong completeness and limited canonicity for PDL'' (Q1016034) (← links)
- Dynamic update with probabilities (Q1035842) (← links)
- Probabilistic dynamic epistemic logic (Q1403403) (← links)
- Local properties in modal logic (Q1761295) (← links)
- How knowledge triggers obligation. A dynamic logic of epistemic conditional obligation (Q2148834) (← links)
- Arrow update synthesis (Q2216107) (← links)
- A dynamic epistemic framework for reasoning about conformant probabilistic plans (Q2321264) (← links)
- Moral conflicts between groups of agents (Q2481240) (← links)
- Trying to resolve the two-envelope problem (Q2576414) (← links)
- Two-sided sequent calculi for \textit{FDE}-like four-valued logics (Q2698547) (← links)
- (Q2818537) (← links)
- Logics of Rational Interaction (Q2902939) (← links)
- On the Relative Succinctness of Two Extensions by Definitions of Multimodal Logic (Q2904422) (← links)
- (Q2990022) (← links)
- ARROW UPDATE LOGIC (Q3224046) (← links)
- Playing Cards with Hintikka: An Introduction to Dynamic Epistemic Logic (Q3299578) (← links)
- Conflicting Obligations in Multi-agent Deontic Logic (Q3529361) (← links)
- Dynamic Epistemic Logic and Knowledge Puzzles (Q3608740) (← links)
- Expressivity and completeness for public update logics via reduction axioms (Q3647272) (← links)
- (Q4453636) (← links)
- (Q4648829) (← links)
- (Q4661972) (← links)
- COMPLETENESS VIA CORRESPONDENCE FOR EXTENSIONS OF THE LOGIC OF PARADOX (Q4899968) (← links)
- (Q5016794) (← links)
- Iterative social consolidations: Forming beliefs from many-valued evidence and peers’ opinions (Q5103725) (← links)
- Logic and Probabilistic Update (Q5249676) (← links)
- One Hundred Prisoners and a Light Bulb (Q5262526) (← links)
- (Q5296759) (← links)
- Hybrid Logics with Infinitary Proof Systems (Q5477452) (← links)
- (Q5483016) (← links)
- THE AMBIGUITY OF KNOWABILITY (Q5737948) (← links)
- Solutions to the knower paradox in the light of Haack's criteria (Q6166128) (← links)
