The following pages link to (Q3363966):
Displaying 4 items.
- Common knowledge does not have the Beth property (Q987837) (← links)
- Model completions and r-Heyting categories (Q1372155) (← links)
- Explicit definitions of implicitly definable objects in some modal logics (Q1972816) (← links)
- All Finitely Axiomatizable Normal Extensions of K4.3 are Decidable (Q4323828) (← links)