Pages that link to "Item:Q1150599"

The following pages link to Pretabular varieties of modal algebras (Q1150599):

Displaying 20 items.

• On pretabular logics in NExtK4. I (Q456965) (← links)
• The tabularity problem over the minimal logic (Q515492) (← links)
• Interpolation in infinitely layered extensions of provability logic (Q584241) (← links)
• Definability theorems in normal extensions of the provability logic (Q918958) (← links)
• Continuum of normal extensions of the modal logic of provability with the interpolation property (Q920973) (← links)
• On superintuitionistic logics as fragments of proof logic extensions (Q1091383) (← links)
• On the lattice of extensions of the modal logics \(KAlt_ n\) (Q1111541) (← links)
• Amalgamation and interpolation in normal modal logics (Q1189894) (← links)
• Modal logics and varieties of modal algebras: The Beth properties, interpolation, and amalgamation (Q1317604) (← links)
• The structure of lattices of subframe logics (Q1361249) (← links)
• A second pretabular classical relevance logic (Q1708106) (← links)
• On variable separation in modal and superintuitionistic logics (Q1896757) (← links)
• On pretabular logics in NExtK4. II (Q2258999) (← links)
• An analog of Beth's theorem in normal extensions of the modal logic K4 (Q2366342) (← links)
• In memory of Willem Johannes Blok 1947-2003 (Q2433091) (← links)
• Willem Blok and modal logic (Q2433092) (← links)
• Finitary unification in locally tabular modal logics characterized (Q2667999) (← links)
• LC and Its Pretabular Relatives (Q3305421) (← links)
• How many varieties of cylindric algebras are there (Q5367105) (← links)
• There exists an uncountable set of pretabular extensions of the relevant logic <i>R</i> and each logic of this set is generated by a variety of finite height (Q5502814) (← links)