1 problem

0 votes0 replies0 views
Non-definability of Hausdorff spaces in hybrid logic with global modality and binder
A topological model consists of a topological space together with the valuation of proposition letters and nominals; let $T_2$ denote the class of Hausdorff spaces, and let…
Conjectureopendefinability modal-logic topological-modelsarXiv posted 2 days ago

Non-definability of Hausdorff spaces in hybrid logic with global modality and binder