HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:finite model property

Papers
A Finite Model Property for Gödel Modal Logics
Xavier Caicedo, George Metcalfe, Ricardo Oscar Rodriguez and Jonas Rogger
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
Almost structural completeness; an algebraic approach
Wojciech Dzik and Michal Stronkowski
In:TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic
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
Copyright © 2012-2023 easychair.org. All rights reserved.