HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Joel Lucero-Bryan

Publications
Topological completeness of extensions of S4
Guram Bezhanishvili, David Gabelaia and Joel Lucero-Bryan
In:TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic

Keyphrases

countable model property, modal logic, topological semantics.

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