#### Filter Results:

- Full text PDF available (19)

#### Publication Year

1999

2017

- This year (1)
- Last 5 years (8)
- Last 10 years (14)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- David Gabelaia, Ágnes Kurucz, Frank Wolter, Michael Zakharyaschev
- J. Symb. Log.
- 2005

- David Gabelaia, Roman Kontchakov, Ágnes Kurucz, Frank Wolter, Michael Zakharyaschev
- J. Artif. Intell. Res.
- 2005

In this paper, we construct and investigate a hierarchy of spatio-temporal formalisms that result from various combinations of propositional spatial and temporal logics such as the propositional temporal logic PT L, the spatial logics RCC-8, BRCC-8, S4u and their fragments. The obtained results give a clear picture of the trade-off between expressiveness… (More)

- David Gabelaia, Ágnes Kurucz, Frank Wolter, Michael Zakharyaschev
- Ann. Pure Appl. Logic
- 2006

We show that—unlike products of ‘transitive’ modal logics which are usually undecidable— their ‘expanding domain’ relativisations can be decidable, though not in primitive recursive time. In particular, we prove the decidability and the finite expanding product model property of bimodal logics interpreted in two-dimensional structures where one… (More)

- Balder ten Cate, David Gabelaia, Dmitry Sustretov
- Ann. Pure Appl. Logic
- 2009

In this paper we study the expressive power and definability for (extended) modal languages interpreted on topological spaces. We provide topological analogues of the van Benthem characterization theorem and the Goldblatt-Thomason definability theorem in terms of the well established first-order topological language Lt.

- David Gabelaia, Marco Aiello, +4 authors Ingrid van Loon
- 2001

This thesis is mainly concerned with the definability issue when modal logic is interpreted on topological spaces. A topological analogon of Goldblatt-Thomason theorem is proved. Some new topological constructions are introduced. One of them, namely the notion of compact extension, is a generalization of the concept of Stone-Čech compactification known in… (More)

- Guram Bezhanishvili, Nick Bezhanishvili, David Gabelaia, Alexander Kurz
- Mathematical Structures in Computer Science
- 2010

GURAM BEZHANISHVIL I†‖, N ICK BEZHANISHVIL I‡ ‖ , DAVID GABELAIA§ ‖ and ALEXANDER KURZ¶ †Department of Mathematical Sciences, New Mexico State University, Las Cruces NM 88003-8001, U.S.A. Email: gbezhani@nmsu.edu ‡Department of Computing, Imperial College London, 180 Queen’s Gate, London SW7 2AZ, U.K. Email: nbezhani@doc.ic.ac.uk §Department of Mathematical… (More)

- Guram Bezhanishvili, Leo Esakia, David Gabelaia
- Studia Logica
- 2005

We consider two topological interpretations of the modal diamond—as the closure operator (C-semantics) and as the derived set operator (d-semantics). We call the logics arising from these interpretations C-logics and d-logics, respectively. We axiomatize a number of subclasses of the class of nodec spaces with respect to both semantics, and characterize… (More)

- Lev D. Beklemishev, David Gabelaia
- Ann. Pure Appl. Logic
- 2013

- David Gabelaia, Roman Kontchakov, Ágnes Kurucz, Frank Wolter, Michael Zakharyaschev
- FLAIRS Conference
- 2003

Recently, a hierarchy of spatio-temporal languages based on the propositional temporal logic PTL and the spatial languages RCC-8, BRCC-8 and S4u has been introduced. Although a number of results on their computational properties were obtained, the most important questions were left open. In this paper, we solve these problems and provide a clear picture of… (More)

- Guram Bezhanishvili, Leo Esakia, David Gabelaia
- TbiLLC
- 2009