The following pages link to Wiebe van der Hoek (Q343910):
Displaying 50 items.
- Arbitrary arrow update logic (Q343913) (← links)
- On the succinctness of some modal logics (Q360052) (← links)
- Program equilibrium -- a program reasoning approach (Q361805) (← links)
- Reasoning about social choice functions (Q652736) (← links)
- Seeing is believing. And so are hearing and jumping (Q676178) (← links)
- Process algebra and constraint programming for modeling interactions in MAS (Q814899) (← links)
- Reasoning about coalitional games (Q834401) (← links)
- Towards a theory of intention revision (Q885523) (← links)
- Dynamic epistemic logic (Q953926) (← links)
- Knowledge condition games (Q1006447) (← links)
- Quantified coalition logic (Q1024128) (← links)
- Multi-modal CTL: completeness, complexity, and an application (Q1037587) (← links)
- Recovery of (non)monotonic theories (Q1275600) (← links)
- Temporalizing epistemic default logic (Q1289106) (← links)
- Generalized quantifiers and modal logic (Q1314283) (← links)
- (Q1353874) (redirect page) (← links)
- Counterfactual reasoning by (means of) defaults (Q1353877) (← links)
- A modal contrastive logic: The logic of ``but'' (Q1380429) (← links)
- A fully abstract model for the exchange of information in multi-agent systems. (Q1401189) (← links)
- Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications (Q1420807) (← links)
- (Q1731833) (redirect page) (← links)
- Second-order propositional modal logic: expressiveness and completeness results (Q1731834) (← links)
- Local properties in modal logic (Q1761295) (← links)
- Group knowledge is not always distributed (neither is it always implicit) (Q1806307) (← links)
- On agents that have the ability to choose (Q1840648) (← links)
- A general approach to multi-agent minimal knowledge: With tools and samples (Q1863823) (← links)
- Honesty in partial logic (Q1919981) (← links)
- Persistence and minimality in epistemic logic (Q1978029) (← links)
- A logical approach to the dynamics of commitments (Q1978378) (← links)
- A modal logic for mixed strategies (Q2016081) (← links)
- Reasoning about general preference relations (Q2093401) (← links)
- Introduction to the special Section on logic and the foundations of game and decision theory (LOFT12) (Q2098954) (← links)
- The logic of gossiping (Q2211849) (← links)
- Arrow update synthesis (Q2216107) (← links)
- A verification framework for agent programming with declarative goals (Q2372188) (← links)
- The undecidability of arbitrary arrow update logic (Q2404071) (← links)
- On the logic of cooperation and propositional control (Q2457673) (← links)
- On obligations and normative ability: Towards a logical analysis of the social contract (Q2568339) (← links)
- (Q2702561) (← links)
- On programming KARO agents (Q2716927) (← links)
- (Q2728930) (← links)
- On dynamically generated ontology translators in agent communication (Q2739004) (← links)
- (Q2757826) (← links)
- Modal Logic with Bounded Quantification over Worlds (Q2772882) (← links)
- (Q2776473) (← links)
- (Q2844045) (← links)
- (Q2844048) (← links)
- (Q2852032) (← links)
- Boolean Games with Epistemic Goals (Q2859089) (← links)
- On the Relative Succinctness of Two Extensions by Definitions of Multimodal Logic (Q2904422) (← links)
