Pages that link to "Item:Q5937819"
From MaRDI portal
The following pages link to Failure of interpolation in combined modal logics (Q5937819):
Displaying 5 items.
- Notes on logics of metric spaces (Q878157) (← links)
- Epimorphisms in cylindric algebras and definability in finite variable logic (Q1047108) (← links)
- ``That will do'': logics of deontic necessity and sufficiency (Q1706805) (← links)
- Preservation of Craig interpolation by the product of matrix logics (Q2446552) (← links)
- Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions (Q6082232) (← links)