Pages that link to "Item:Q2904138"
From MaRDI portal
The following pages link to Cut-elimination and completeness in dynamic topological and linear-time temporal logics (Q2904138):
Displaying 3 items.
- Partial cut elimination for propositional discrete linear time temporal logic (Q2810015) (← links)
- Relating first-order monadic omega-logic, propositional linear-time temporal logic, propositional generalized definitional reflection logic and propositional infinitary logic (Q3133194) (← links)
- (Q5202986) (← links)