Pages that link to "Item:Q5287685"
From MaRDI portal
The following pages link to Splittings and the finite model property (Q5287685):
Displaying 6 items.
- A splitting logic in NExt(KTB) (Q995667) (← links)
- Frame based formulas for intermediate logics (Q1005954) (← links)
- Reasoning about update logic (Q1344850) (← links)
- On Finite Model Property for Admissible Rules (Q4704656) (← links)
- CANONICAL FORMULAS FOR <b>wK4</b> (Q4899969) (← links)
- Characteristic Formulas Over Intermediate Logics (Q5214733) (← links)
