The following pages link to (Q4694251):
Displaying 17 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)
- Speaking about transitive frames in propositional languages (Q1289105) (← links)
- Completeness of certain bimodal logics for subset spaces (Q1611248) (← 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)
- Semantical characterizations for irreflexive and generalized modal languages (Q2472609) (← links)
- A hybridization of irreflexive modal logics (Q2867951) (← links)
- (Q3113915) (← links)
- A bimodal perspective on possibility semantics (Q3133167) (← links)
- A Modal Logic That is Complete with Respect to Strictly Linearly Ordered A-Models (Q3409453) (← links)
- Properties of independently axiomatizable bimodal logics (Q3984418) (← links)
- Predicate Modal Logics Do Not Mix Very Well (Q4379626) (← links)
- MEREOLOGICAL BIMODAL LOGICS (Q5046599) (← links)
- Continuum many maximal consistent normal bimodal logics with inverses (Q5937810) (← links)