Dimitar P. Guelev. Associate Professor of Logic, Bulgarian Academy of Sciences. Verified email at math.bas.bg - Homepage · temporal logic ...
Contact information. Office: Department of Algebra and Logic Institute of Mathematics and Informatics Acad. G. Bonchev str., bl. 8. 1113 Sofia, BULGARIA
Dimitar P. Guelev , Ben C. Moszkowski: Expressive completeness by separation for discrete time interval temporal logic with expanding modalities.
Subject Areas: Formal languages and automata theory, Logic, Modal and temporal logics, Model checking, Access control, Computability.
Dimitar P. Guelev
Affiliation: Bulgarian Academy of Sciences
Research interests: Temporal Logic, Epistemic Logic, Modal Logic, and more
Dimitar P. Guelev | Bulgarian Academy of Sciences | 52 Publications ...
typeset.io › Author Directory
Dimitar P. Guelev is an academic researcher from Bulgarian Academy of Sciences. The author has contributed to research in topics: Decidability & Duration ...
Oct 26, 2023 · By transforming these extended CGMs into equivalent CGMs with incomplete information, established methods for rational synthesis become enabled.
Dimitar P. Guelev - publications. Journal papers. Dimitar P. Guelev and Ben Moszkowski . A separation theorem for discrete-time interval temporal logic.
Dimitar P. Guelev. Institute of Mathematics and Informatics, Bulgarian Academy of Sciences - Sofia / Bulgaria. Engineering & Technology / Computer Science ...
Dimitar Guelev, Bulgarian Academy of Sciences: 14 Followers, 13 Following, 104 Research papers. Research interests: Cognitive Science, Computer Science, ...
Missing: P. | Show results with:P.
Associate Professor (Senior Research Fellow 2nd Degree) since 2007. Research Interests: temporal logic, probability logic, real-time systems, model checking, ...