The following pages link to (Q4194934):
Displaying 7 items.
- On the modal logic of subset and superset: tense logic over Medvedev frames (Q519848) (← links)
- An essay in combinatory dynamic logic (Q809068) (← links)
- ``That will do'': logics of deontic necessity and sufficiency (Q1706805) (← links)
- A logical study of group-size based social network creation (Q2423774) (← links)
- Open Reading and Free Choice Permission: A Perspective in Substructural Logics (Q3305689) (← links)
- Mixed algebras and their logics (Q4586236) (← links)
- MEREOLOGICAL BIMODAL LOGICS (Q5046599) (← links)
