Vytisknout
0558050 - ÚI 2025 GB eng J - Článek v odborném periodiku
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
Institucionální podpora: RVO:67985807
Klíčová slova: modal logic * topological semantics * expressivity
Obor OECD: Pure mathematics
Impakt faktor: 0.6, rok: 2022
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1017/S1755020322000120
Trvalý 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
Institucionální podpora: RVO:67985807
Klíčová slova: modal logic * topological semantics * expressivity
Obor OECD: Pure mathematics
Impakt faktor: 0.6, rok: 2022
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1017/S1755020322000120
Trvalý link: http://hdl.handle.net/11104/0331859