The following pages link to Jan van Eijck (Q195248):
Displaying 50 items.
- Action emulation (Q375313) (← links)
- Epistemic protocols for dynamic gossip (Q504511) (← links)
- The language of social software (Q625718) (← links)
- Logics of communication and change (Q859825) (← links)
- Dynamic interpretation and Hoare deduction (Q1314291) (← links)
- Reasoning about update logic (Q1344850) (← links)
- Presupposition failure - a comedy of errors (Q1346767) (← links)
- Making things happen (Q1840646) (← links)
- Public announcements, public lies and recoveries (Q2093030) (← links)
- Dynamic gossip (Q2415893) (← links)
- Action emulation between canonical models (Q2441479) (← links)
- (Q2702230) (← links)
- (Q2702234) (← links)
- Tableau reasoning and programming with dynamic first order logic (Q2720297) (← links)
- Strategies in Social Software (Q2817414) (← links)
- (Q2901194) (← links)
- Composing models (Q2901220) (← links)
- Logic of Information Flow on Communication Channels (Q2999243) (← links)
- Normal Forms for Characteristic Functions on n-ary Relations (Q3025326) (← links)
- A Geometric Look at Manipulation (Q3092296) (← links)
- Reflections on Vote Manipulation (Q3094024) (← links)
- What is Money? (Q3299835) (← links)
- (Q3384066) (← links)
- Symbolic Model Checking for Dynamic Epistemic Logic (Q3457719) (← links)
- Propositional Dynamic Logic as a Logic of Belief Revision (Q3511454) (← links)
- (Q3571955) (← links)
- (Q3574475) (← links)
- Multi-agent Belief Revision with Linked Preferences (Q3584875) (← links)
- Natural Logic for Natural Language (Q3613048) (← links)
- (Q3717024) (← links)
- Modal Logic, Transition Systems and Processes (Q4316304) (← links)
- Typed logics with states (Q4357320) (← links)
- (Q4511299) (← links)
- (Q4599505) (← links)
- Symbolic model checking for Dynamic Epistemic Logic — S5 and beyond* (Q4612409) (← links)
- (Q4619875) (← links)
- (Q4636055) (← links)
- (Q4636291) (← links)
- (Q4783311) (← links)
- (Q4865618) (← links)
- (Q4866981) (← links)
- (Q4912026) (← links)
- Computational Semantics with Functional Programming (Q5172339) (← links)
- A temporal dynamic deontic logic (Q5222688) (← links)
- Knowing Values and Public Inspection (Q5224492) (← links)
- (Q5224687) (← links)
- (Q5224801) (← links)
- Dynamic Epistemic Logics (Q5249670) (← links)
- Sequentially Indexed Grammars (Q5385201) (← links)
- Incremental dynamics (Q5939955) (← links)
