Petar Iliev

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