The following pages link to (Q4694256):
Displaying 3 items.
- On the modal logic of subset and superset: tense logic over Medvedev frames (Q519848) (← links)
- Quantified modal logics of positive rational numbers and some related systems (Q1309336) (← links)
- A duality between Pawlak's knowledge representation systems and bi-consequence systems (Q1896761) (← links)