The following pages link to (Q5278420):
Displaying 11 items.
- Modal trees: Correction to a decision procedure for S5 (and T) (Q1099159) (← links)
- Axiomatizations for downward XPath on data trees (Q2402362) (← links)
- Hilbert-Style Axiomatization for Hybrid XPath with Data (Q2835860) (← links)
- Sequent Calculus in the Topos of Trees (Q2948556) (← links)
- Logics of Repeating Values on Data Trees and Branching Counter Systems (Q2988368) (← links)
- An Easy Completeness Proof for the Modal μ-Calculus on Finite Trees (Q3557849) (← links)
- NP trees and Carnap's modal logic (Q4369870) (← links)
- Tree-sequent calculi and decision procedures for intuitionistic modal logics (Q4612431) (← links)
- (Q5090950) (← links)
- (Q5155666) (← links)
- Data graphs with incomplete information (and a way to complete them) (Q6545578) (← links)