The following pages link to (Q4694251):
Displayed 7 items.
- On the modal logic of subset and superset: tense logic over Medvedev frames (Q519848) (← links)
- Normal bimodal logics of ability and action (Q1207434) (← links)
- ``That will do'': logics of deontic necessity and sufficiency (Q1706805) (← links)
- The dynamics of epistemic attitudes in resource-bounded agents (Q2001362) (← links)
- A system of relational syllogistic incorporating full Boolean reasoning (Q2255203) (← links)
- Modal logics of reactive frames (Q2269510) (← links)
- MEREOLOGICAL BIMODAL LOGICS (Q5046599) (← links)