The following pages link to Modal logic as metalogic (Q1314285):
Displaying 7 items.
- Categorial inference and modal logic (Q1280045) (← links)
- Meeting strength in substructural logics (Q1344870) (← links)
- (Q4033732) (← links)
- Structuring metatheory on inductive definitions (Q4647512) (← links)
- MODAL LOGIC WITHOUT CONTRACTION IN A METATHEORY WITHOUT CONTRACTION (Q5216977) (← links)
- Modal Logic as Metaphysics (Q5495322) (← links)
- Deductive Completeness (Q5689262) (← links)