The following pages link to (Q4215611):
Displaying 10 items.
- Combined model checking for temporal, probabilistic, and real-time logics (Q407511) (← links)
- Model-theoretic methods in combined constraint satisfiability (Q556677) (← links)
- \({\mathcal E}\)-connections of abstract description systems (Q814594) (← links)
- An NP-complete fragment of fibring logic (Q905999) (← links)
- Unions of non-disjoint theories and combinations of satisfiability procedures (Q1853591) (← links)
- Forgetting in multi-agent modal logics (Q2321251) (← links)
- A new combination procedure for the word problem that generalizes fusion decidability results in modal logics (Q2432763) (← links)
- Modularity results for interpolation, amalgamation and superamalgamation (Q2636527) (← links)
- Intuitionistic propositional logic with Galois negations (Q2699013) (← links)
- Completeness and Complexity of Multi-modal CTL (Q4982125) (← links)
