0558050 - ÚI 2025 GB eng J - Journal Article
Fernández-Duque, David
Taming the 'Elsewhere': On Expressivity of Topological Languages.
Review of Symbolic Logic. Online 28 March 2022 (2024). ISSN 1755-0203. E-ISSN 1755-0211
Institutional support: RVO:67985807
Keywords : modal logic * topological semantics * expressivity
OECD category: Pure mathematics
Impact factor: 0.6, year: 2022
Method of publishing: Limited access
http://dx.doi.org/10.1017/S1755020322000120
Permanent Link: http://hdl.handle.net/11104/0331859
Fernández-Duque, David
Taming the 'Elsewhere': On Expressivity of Topological Languages.
Review of Symbolic Logic. Online 28 March 2022 (2024). ISSN 1755-0203. E-ISSN 1755-0211
Institutional support: RVO:67985807
Keywords : modal logic * topological semantics * expressivity
OECD category: Pure mathematics
Impact factor: 0.6, year: 2022
Method of publishing: Limited access
http://dx.doi.org/10.1017/S1755020322000120
Permanent Link: http://hdl.handle.net/11104/0331859