The following pages link to Generalized Modal Satisfiability (Q5449825):
Displaying 10 items.
- On the applicability of Post's lattice (Q436335) (← links)
- The complexity of satisfiability for fragments of hybrid logic. I. (Q631087) (← links)
- The complexity of circumscriptive inference in Post's lattice (Q692903) (← links)
- Generalized modal satisfiability (Q988571) (← links)
- Parameterized modal satisfiability (Q1759682) (← links)
- Lewis dichotomies in many-valued logics (Q1935553) (← links)
- Generalised modal realisation as a practical and efficient tool for FWL implementation (Q3015116) (← links)
- The Complexity of Satisfiability for Fragments of Hybrid Logic—Part I (Q3182957) (← links)
- Generalized Davis-Putnam and satisfiability problems in mathematics (Q3577911) (← links)
- The Tractability of Model-checking for LTL: The Good, the Bad, and the Ugly Fragments (Q4982126) (← links)