The following pages link to The price of universality (Q1815426):
Displayed 19 items.
- A description logic based situation calculus (Q604908) (← links)
- Pure extensions, proof rules, and hybrid axiomatics (Q863181) (← links)
- Generalized modal satisfiability (Q988571) (← links)
- A polynomial space construction of tree-like models for logics with local chains of modal connectives (Q1399966) (← links)
- A logic of argumentation for specification and verification of abstract argumentation frameworks (Q1935593) (← links)
- Rethinking epistemic logic with belief bases (Q2307332) (← links)
- Axiomatization and completeness of lexicographic products of modal logics (Q2901209) (← links)
- From self-regarding to other-regarding agents in strategic games: a logical analysis (Q2901222) (← links)
- Modal Inclusion Logic: Being Lax is Simpler than Being Strict (Q2946343) (← links)
- Logical approaches to deontic reasoning: From basic questions to dynamic solutions (Q3537541) (← links)
- Complexity of intuitionistic propositional logic and its fragments (Q3643316) (← links)
- Axiomatization and Completeness of Lexicographic Products of Modal Logics (Q3655198) (← links)
- Separation logics and modalities: a survey (Q4586138) (← links)
- HTab: a Terminating Tableaux System for Hybrid Logic (Q4982111) (← links)
- (Q5018521) (← links)
- Dynamic Epistemic Logics (Q5249670) (← links)
- On the Decidability of Elementary Modal Logics (Q5277903) (← links)
- A Qualitative Theory of Cognitive Attitudes and their Change (Q6063857) (← links)
- A simple logic of concepts (Q6156201) (← links)