The following pages link to Andreas Herzig (Q302221):
Displayed 50 items.
- Uniform Interpolation by Resolution in Modal Logic (Q3532469) (← links)
- A STIT-Extension of ATL (Q3533122) (← links)
- A Modularity Approach for a Fragment of $\mathcal{ALC}$ (Q3533133) (← links)
- Introducing Attempt in a Modal Logic of Intentional Action (Q3533139) (← links)
- OCC’s Emotions: A Formalization in a BDI Logic (Q3541828) (← links)
- A logic of trust and reputation (Q3550961) (← links)
- ‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’ (Q3580674) (← links)
- On the Dynamics of Institutional Agreements (Q3644778) (← links)
- Regression in Modal Logic (Q3647207) (← links)
- Dynamic Context Logic (Q3655214) (← links)
- Intentions and Assignments (Q3655229) (← links)
- Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences All Together (Q3655230) (← links)
- The Logic of Acceptance: Grounding Institutions on Agents' Attitudes (Q3656760) (← links)
- (Q3800001) (← links)
- (Q4012252) (← links)
- (Q4225117) (← links)
- (Q4235432) (← links)
- (Q4236367) (← links)
- (Q4247690) (← links)
- (Q4279076) (← links)
- Interference logic = conditional logic + frame axiom (Q4293721) (← links)
- A translation from the modal logic of provability into K4 (Q4299137) (← links)
- (Q4385438) (← links)
- (Q4448344) (← links)
- (Q4460680) (← links)
- (Q4539631) (← links)
- (Q4576175) (← links)
- Public announcements, public assignments and the complexity of their logic (Q4583171) (← links)
- Dynamic epistemic logics: promises, problems, shortcomings, and perspectives (Q4586238) (← links)
- How to share knowledge by gossiping (Q4589265) (← links)
- Judgment aggregation in dynamic logic of propositional assignments (Q4612447) (← links)
- Talkin'bout consistency, or: When logically possible becomes possible (Q4632294) (← links)
- (Q4636026) (← links)
- A formal account of dishonesty (Q4644514) (← links)
- Grounding power on actions and mental attitudes (Q4925175) (← links)
- A Logical Account of Lying (Q4930772) (← links)
- A Dynamic Logic for Termgraph Rewriting (Q4931304) (← links)
- Formalizing action and change in modal logic I: the frame problem (Q4934812) (← links)
- (Q4944961) (← links)
- (Q4952297) (← links)
- A Dynamic Logic Account of Active Integrity Constraints (Q4973846) (← links)
- Three Traditions in the Logic of Action: Bringing them Together (Q4982652) (← links)
- (Q4999277) (← links)
- (Q5016798) (← links)
- (Q5020961) (← links)
- Frame-validity Games and Lower Bounds on the Complexity of Modal Axioms (Q5066806) (← links)
- (Q5104712) (← links)
- (Q5224561) (← links)
- Encoding Argument Graphs in Logic (Q5230074) (← links)
- Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL (Q5271051) (← links)