The following pages link to (Q4250364):
Displayed 5 items.
- Interpolation in non-classical logics (Q1024121) (← links)
- Guarded Negation (Q5890544) (← links)
- Failure of interpolation in combined modal logics (Q5937819) (← links)
- Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions (Q6082232) (← links)
- Uniform guarded fragments (Q6181940) (← links)