Keyword:finite model property

Publications
The finite embeddability property for some noncommutative knotted extensions of FL Riquelmi Cardona In:TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic
Almost structural completeness; an algebraic approach Wojciech Dzik and Michał Stronkowski In:TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic
An analogue of Bull's theorem for Hybrid Logic Claudette Robinson and Willem Conradie In:TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic
A Finite Model Property for Gödel Modal Logics Xavier Caicedo, George Metcalfe, Ricardo Rodriguez and Jonas Rogger In:TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic