Pages that link to "Item:Q5145629"
From MaRDI portal
The following pages link to Modal Logics with Composition on Finite Forests (Q5145629):
Displaying 8 items.
- Finite approximability of forest superintuitionistic logics (Q1068076) (← links)
- NP trees and Carnap's modal logic (Q4369870) (← links)
- (Q4934251) (← links)
- (Q5101338) (← links)
- Copy and remove as dynamic operators (Q5861999) (← links)
- On Composing Finite Forests with Modal Logics (Q5886519) (← links)
- An auxiliary logic on trees: on the tower-hardness of logics featuring reachability and submodel reasoning (Q5925549) (← links)
- INTERLEAVING LOGIC AND COUNTING (Q6199174) (← links)