The following pages link to (Q5419898):
Displaying 7 items.
- ExpTime tableau decision procedures for regular grammar logics with converse (Q763333) (← links)
- Nested sequents for intuitionistic modal logics via structural refinement (Q2142093) (← links)
- (Q3012537) (← links)
- (Q3726092) (← links)
- (Q4289049) (← links)
- Grafting hypersequents onto nested sequents (Q4644546) (← links)
- Nested sequents for provability logic GLP: FIG. 1. (Q4644600) (← links)