Petar Iliev

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 6

Top Venues

Log. J. IGPL

Advances in Modal Logic

CoRR

Artif. Intell.

University of Liverpool, UK (PHD)

Education History

University of Liverpool, UK

PHD

Publications

Petar Iliev
On semantically labelled syntax trees and the non-existence of certain Sahlqvist formulae. Log. J. IGPL 31 (3) (2023)
Philippe Balbiani, David Fernández-Duque, Andreas Herzig, Petar Iliev
Frame-validity Games and Lower Bounds on the Complexity of Modal Axioms. Log. J. IGPL 30 (1) (2022)
David Fernández-Duque, Petar Iliev
Succinctness in Subsystems of the Spatial μ-Calculus. FLAP 5 (4) (2018)
Philippe Balbiani, David Fernández-Duque, Andreas Herzig, Petar Iliev
Frame-validity games and lower bounds on the complexity of modal axioms. CoRR (2018)
Philippe Balbiani, David Fernández-Duque, Andreas Herzig, Petar Iliev
Frame-Validity Games and Absolute Minimality of Modal Axioms. Advances in Modal Logic (2018)
Hans van Ditmarsch, Petar Iliev
The succinctness of the cover modality. J. Appl. Non Class. Logics 25 (4) (2015)
Hans van Ditmarsch, Jie Fan, Wiebe van der Hoek, Petar Iliev
Some Exponential Lower Bounds on Formula-size in Modal Logic. Advances in Modal Logic (2014)
Wiebe van der Hoek, Petar Iliev
On the relative succinctness of modal logics with union, intersection and quantification. AAMAS (2014)
Tim French, Wiebe van der Hoek, Petar Iliev, Barteld P. Kooi
On the succinctness of some modal logics. Artif. Intell. 197 (2013)
Wiebe van der Hoek, Petar Iliev, Barteld P. Kooi
On the Relative Succinctness of Two Extensions by Definitions of Multimodal Logic. CiE (2012)
Wiebe van der Hoek, Petar Iliev, Michael J. Wooldridge
A logic of revelation and concealment. AAMAS (2012)
Wiebe van der Hoek, Petar Iliev, Michael J. Wooldridge
Knowledge and Action in Semi-public Environments. LORI (2011)
Tim French, Wiebe van der Hoek, Petar Iliev, Barteld P. Kooi
Succinctness of Epistemic Languages. IJCAI (2011)
Philippe Balbiani, Petar Iliev, Dimiter Vakarelov
A Modal Logic for Pawlak's Approximation Spaces with Rough Cardinality n. Fundam. Informaticae 83 (4) (2008)

Petar Iliev.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Petar Iliev