Pages that link to "Item:Q5375871"
From MaRDI portal
The following pages link to Frames for fusions of modal logics (Q5375871):
Displaying 4 items.
- A general framework for FDE-based modal logics (Q2027214) (← links)
- Frame constructions, truth invariance and validity preservation in many-valued modal logic (Q3647234) (← links)
- Formalizing action and change in modal logic I: the frame problem (Q4934812) (← links)
- From Frame Properties to Hypersequent Rules in Modal Logics (Q5271078) (← links)