The following pages link to Some normal extensions of K4.3 (Q2377059):
Displaying 5 items.
- The power of a propositional constant (Q742479) (← links)
- All proper normal extensions of S5-square have the polynomial size model property (Q1810814) (← links)
- All Finitely Axiomatizable Normal Extensions of K4.3 are Decidable (Q4323828) (← links)
- Normal extensions of KTB of codimension 3 (Q5224580) (← links)
- FMP-ensuring logics, RA-ensuring logics and FA-ensuring logics in NExtK4.3 (Q6067743) (← links)