The following pages link to (Q4430405):
Displaying 6 items.
- Counterpart semantics at work: independence and incompleteness results in quantified modal logic (Q2094163) (← links)
- Counterpart theories for everyone (Q2690141) (← links)
- Counterpart theory as a semantics for modal logic (Q2735772) (← 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)