Taming the 'Elsewhere': On Expressivity of Topological Languages

Number of the records: 1

1.

SYSNO	0558050
Title	Taming the 'Elsewhere': On Expressivity of Topological Languages
Author(s)	Fernández-Duque, David (UIVT-O)_{SAI, ORCID, RID}
Source Title	Review of Symbolic Logic. Online 28 March 2022 (2024). - : Cambridge University Press
Document Type	Článek v odborném periodiku
Institutional support	UIVT-O - RVO:67985807
Language	eng
Country	GB
Keywords	modal logic * topological semantics * expressivity
Cooperating institutions	Ghent University (Belgium)
URL	http://dx.doi.org/10.1017/S1755020322000120
Permanent Link	http://hdl.handle.net/11104/0331859

	File	Download	Size	Commentary	Version	Access
	0558050-aonl.pdf	0	304.2 KB		Publisher’s postprint	open-access

Number of the records: 1