Pages that link to "Item:Q2761753"
From MaRDI portal
The following pages link to The Complexity of Poor Man's Logic (Q2761753):
Displayed 12 items.
- The complexity of satisfiability for fragments of hybrid logic. I. (Q631087) (← links)
- Generalized modal satisfiability (Q988571) (← links)
- The decision problem of provability logic with only one atom (Q1423633) (← links)
- Complexity results for modal dependence logic (Q1956378) (← links)
- Complexity of modal logics with Presburger constraints (Q2638188) (← links)
- Complexity of Model Checking for Modal Dependence Logic (Q2891371) (← links)
- Weak Kripke Structures and LTL (Q3090846) (← links)
- The Complexity of Satisfiability for Fragments of Hybrid Logic—Part I (Q3182957) (← links)
- Adding clauses to poor man's logic (without increasing the complexity) (Q3647233) (← links)
- Expressivity and Complexity of Dependence Logic (Q5213639) (← links)
- KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS (Q5222523) (← links)
- Modal Logics with Hard Diamond-Free Fragments (Q5283414) (← links)