Pages that link to "Item:Q4934884"
From MaRDI portal
The following pages link to Tableau calculus for local cubic modal logic and its implementation (Q4934884):
Displaying 6 items.
- Deciding regular grammar logics with converse through first-order logic (Q2567343) (← links)
- Labelled deduction for the guarded fragment (Q2701985) (← links)
- A Tableau Calculus for Hajek's Logic BL (Q4461931) (← links)
- (Q4542599) (← links)
- Computer Science Logic (Q5311279) (← links)
- (Q5324977) (← links)