Pages that link to "Item:Q4286214"
From MaRDI portal
The following pages link to Solution to a Problem of Goranko and Passy (Q4286214):
Displaying 5 items.
- A simple incomplete extension of T which is the union of two complete modal logics with f. m. p (Q1868335) (← links)
- Sequent calculi for global modal consequence relations (Q2323632) (← links)
- ON THE INADEQUACY OF THE RELATIONAL SEMANTIC FOR THE “UNTIL” OPERATOR (Q4295236) (← links)
- Completeness and decidability of tense logics closely related to logics above K4 (Q4338319) (← links)
- (Q5068627) (← links)