The following pages link to (Q2757841):
Displaying 11 items.
- Arity hierarchy for temporal logics (Q944387) (← links)
- Inessential features, ineliminable features, and modal logics for model theoretic syntax (Q1006492) (← links)
- Modal trees: Correction to a decision procedure for S5 (and T) (Q1099159) (← links)
- Program schemata technique for propositional program logics: a 30-year history (Q2216719) (← links)
- Querying linguistic trees (Q2268350) (← links)
- On model-theoretic tree properties (Q2951900) (← links)
- Deciding validity in a spatial logic for trees (Q3367666) (← links)
- An Easy Completeness Proof for the Modal μ-Calculus on Finite Trees (Q3557849) (← links)
- Tree-sequent calculi and decision procedures for intuitionistic modal logics (Q4612431) (← links)
- (Q5101338) (← links)
- Does Treewidth Help in Modal Satisfiability? (Q5892171) (← links)