HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Willem Conradie

Publications
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
Algorithmic correspondence for intuitionistic modal mu-calculus, Part 2
Willem Conradie, Yves Fomatati, Alessandra Palmigiano and Sumit Sourabh
In:TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic
Algorithmic correspondence for intuitionistic modal mu-calculus, Part 1
Willem Conradie, Yves Fomatati, Alessandra Palmigiano and Sumit Sourabh
In:TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic

Keyphrases

algorithmic correspondence, Bull theorem, correspondence theory, finite model property, Heyting algebras, hybrid logic, intuitionistic logic2, modal logic, modal mu-calculus2, Sahlqvist correspondence, Sahlvist theory.

Copyright © 2012-2025 easychair.org. All rights reserved.