The following pages link to Louwe B. Kuijer (Q343912):
Displayed 21 items.
- Arbitrary arrow update logic (Q343913) (← links)
- Second-order propositional modal logic: expressiveness and completeness results (Q1731834) (← links)
- Expressivity of some versions of APAL (Q2055759) (← links)
- Reasoning about general preference relations (Q2093401) (← links)
- The logic of gossiping (Q2211849) (← links)
- Arrow update synthesis (Q2216107) (← links)
- Knowledge without complete certainty (Q2303621) (← links)
- Reachability of five gossip protocols (Q2330604) (← links)
- The undecidability of arbitrary arrow update logic (Q2404071) (← links)
- Sequent Systems for Nondeterministic Propositional Logics without Reflexivity (Q2859105) (← links)
- THE EXPRESSIVITY OF FACTUAL CHANGE IN DYNAMIC EPISTEMIC LOGIC (Q2940872) (← links)
- Sanction Semantics and Contrary-to-Duty Obligations (Q3167597) (← links)
- (Q3384080) (← links)
- (Q4636038) (← links)
- How Arbitrary Are Arbitrary Public Announcements? (Q5170726) (← links)
- The expressivity of update logics (Q5262482) (← links)
- (Q5869598) (← links)
- HyperLTL Satisfiability Is Σ₁¹-Complete, HyperCTL* Satisfiability Is Σ₁²-Complete. (Q6168463) (← links)
- Almost APAL (Q6189209) (← links)
- Simple Axioms for Local Properties (Q6199600) (← links)
- Satisfiability of Arbitrary Public Announcement Logic with Common Knowledge is Σ^1_1-hard (Q6199614) (← links)