Pages that link to "Item:Q964499"
From MaRDI portal
The following pages link to Adjunct elimination in context logic for trees (Q964499):
Displaying 4 items.
- On Model Checking Boolean BI (Q3644756) (← 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 (Q5918962) (← links)
- An auxiliary logic on trees: on the tower-hardness of logics featuring reachability and submodel reasoning (Q5925549) (← links)
