The following pages link to Andreas Herzig (Q302221):
Displaying 50 items.
- Announcements to attentive agents (Q302225) (← links)
- Kripke's worlds. An introduction to modal logics via tableaux (Q371440) (← links)
- A logic of intention and attempt (Q934779) (← links)
- Alternative axiomatics and complexity of deliberative STIT theories (Q939059) (← links)
- On the dynamics of institutional agreements (Q970091) (← links)
- Metatheory of actions: beyond consistency (Q1028966) (← links)
- A logical formalization of the OCC theory of emotions (Q1036048) (← links)
- Introspective forgetting (Q1036061) (← links)
- From ordering-based nonmonotonic reasoning to conditional logics (Q1327168) (← links)
- The epistemic gossip problem (Q1712508) (← links)
- (Q1978470) (redirect page) (← links)
- Propositional belief base update and minimal change (Q1978472) (← links)
- Epistemic reasoning about rationality and bids in auctions (Q2055787) (← links)
- Database repair via event-condition-action rules in dynamic logic (Q2103906) (← links)
- A lightweight epistemic logic and its application to planning (Q2238679) (← links)
- A dynamic logic of agency. I: STIT, capabilities and powers (Q2268355) (← links)
- The dynamic logic of policies and contingent planning (Q2296752) (← links)
- Autoepistemic equilibrium logic and epistemic specifications (Q2307335) (← links)
- Capturing equilibrium models in modal logic (Q2447178) (← links)
- Abstract argumentation with qualitative uncertainty: an analysis in dynamic logic (Q2695515) (← links)
- Using STIT Theory to Talk About Strategies (Q2817410) (← links)
- On Hierarchical Task Networks (Q2835901) (← links)
- Refinement of Intentions (Q2835902) (← links)
- A Simple Separation Logic (Q2849430) (← links)
- Combining Equilibrium Logic and Dynamic Logic (Q2851264) (← links)
- (Q2852085) (← links)
- (Q2852092) (← links)
- Listen to Me! Public Announcements to Agents That Pay Attention — or Not (Q2859098) (← links)
- Reasoning about Actions Meets Strategic Logics (Q2859103) (← links)
- Exploring the Power of Converse Events (Q2902941) (← links)
- A Dynamic View of Active Integrity Constraints (Q2938515) (← links)
- Propositional Update Operators Based on Formula/Literal Dependence (Q2946712) (← links)
- Contingency-Based Equilibrium Logic (Q3003260) (← links)
- (Q3003823) (← links)
- From Situation Calculus to Dynamic Epistemic Logic (Q3006113) (← links)
- (Q3007260) (← links)
- (Q3086943) (← links)
- A Dynamic Logic of Institutional Actions (Q3092309) (← links)
- A Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions (Q3167603) (← links)
- The Modal Logic of Equilibrium Models (Q3172888) (← links)
- Possible Worlds Semantics Based on Observation and Communication (Q3299583) (← links)
- Abstract Argumentation in Dynamic Logic: Representation, Reasoning and Change (Q3305693) (← links)
- (Q3400789) (← links)
- Unifying the Intentional and Institutional Semantics of Speech Acts (Q3402240) (← links)
- Tableaux for Acceptance Logic (Q3402241) (← links)
- Tableaux for Public Announcement Logic (Q3406684) (← links)
- Embedding Alternating-time Temporal Logic in Strategic Logic of Agency (Q3431962) (← links)
- A Poor Man’s Epistemic Logic Based on Propositional Assignment and Higher-Order Observation (Q3457699) (← links)
- (Q3509052) (← links)
- From DEL to EDL: Exploring the Power of Converse Events (Q3524930) (← links)
