A
Agi Kurucz
Researcher at King's College London
Publications - 54
Citations - 1367
Agi Kurucz is an academic researcher from King's College London. The author has contributed to research in topics: Modal logic & Decidability. The author has an hindex of 13, co-authored 52 publications receiving 1309 citations. Previous affiliations of Agi Kurucz include University of Cambridge & Hungarian Academy of Sciences.
Papers
More filters
Book
Many-Dimensional Modal Logics: Theory and Applications
TL;DR: In this paper, the authors introduce modal axiomatic systems, including first-order modal logics, and demonstrate the decidability of these models with respect to the finite model property.
Combining modal logics
TL;DR: In this article, a survey of modal logics can be found and the consequences of combining them are discussed. But the authors focus mainly on fusions and products of Kripke frames.
Journal ArticleDOI
Combining spatial and temporal logics: expressiveness vs. complexity
TL;DR: It is demonstrated how different combining principles as well as spatial and temporal primitives can produce NP-, PSPACE-, EXPSPACE-, 2EXPSPace-complete, and even undecidable spatio-temporal logics out of components that are at most NP- or PSPACE-complete.
Journal ArticleDOI
Non-primitive recursive decidability of products of modal logics with expanding domains
TL;DR: The decidability and the finite expanding product model property of bimodal logics interpreted in two-dimensional structures where one component—call it the ‘flow of time’—is a finite linear order or a finite transitive tree and the other is composed of structures expanding over time are proved.