The following pages link to (Q5483003):
Displaying 6 items.
- Modularity and relevant logic (Q584243) (← links)
- Metatheory of actions: beyond consistency (Q1028966) (← links)
- Preferential reasoning for modal logics (Q2825407) (← links)
- Chains of theories and companionability (Q2944867) (← links)
- (Q3328695) (← links)
- Modules TTK-critiques et notions connexes (Q3344327) (← links)