The following pages link to (Q4266483):
Displaying 7 items.
- A polynomial space construction of tree-like models for logics with local chains of modal connectives (Q1399966) (← links)
- Guarded fixed point logics and the monadic theory of countable trees. (Q1853504) (← links)
- Logical separability of labeled data examples under ontologies (Q2093388) (← links)
- Undecidability of Multi-modal Hybrid Logics (Q2867946) (← links)
- Semiring Provenance for Guarded Logics (Q5015965) (← links)
- Structure and Power: an Emerging Landscape (Q5038563) (← links)
- Modal Satisfiability via SMT Solving (Q5256336) (← links)