Petar Iliev
Petar Iliev
IRIT (Univ. Toulouse)
Verified email at irit.fr
Title
Cited by
Cited by
Year
On the succinctness of some modal logics
T French, W Van Der Hoek, P Iliev, B Kooi
Artificial Intelligence 197, 56-85, 2013
322013
Succinctness of epistemic languages
T French, W Van Der Hoek, P Iliev, B Kooi
Twenty-Second International Joint Conference on Artificial Intelligence, 2011
272011
Everything is Knowable – How to Get to Know Whether a Proposition is True
H Van Ditmarsch, W Van der Hoek, P Iliev
Theoria 78 (2), 93-114, 2012
252012
A logic of revelation and concealment.
W van der Hoek, P Iliev, MJ Wooldridge
AAMAS, 1115-1122, 2012
172012
Some Exponential Lower Bounds on Formula-size in Modal Logic.
H Van Ditmarsch, J Fan, W van der Hoek, P Iliev
Advances in modal logic 10, 139-157, 2014
112014
On the relative succinctness of modal logics with union, intersection and quantification
W van der Hoek, P Iliev
Proceedings of the 2014 international conference on Autonomous agents and …, 2014
72014
On the relative succinctness of two extensions by definitions of multimodal logic
W Van Der Hoek, P Iliev, B Kooi
Conference on Computability in Europe, 323-333, 2012
72012
Succinctness in Subsystems of the Spatial μ-Calculus
D Fernández-Duque, P Iliev
Journal of Applied Logics - IfCoLoG Journal of Logics and their Applications …, 2018
32018
The succinctness of the cover modality
H van Ditmarsch, P Iliev
Journal of Applied Non-Classical Logics 25 (4), 373-405, 2015
32015
On the relative succinctness of some modal logics
P Iliev
University of Liverpool, 2013
32013
Knowledge and action in semi-public environments
W Van Der Hoek, P Iliev, M Wooldridge
International Workshop on Logic, Rationality and Interaction, 97-110, 2011
32011
A modal logic for Pawlak's approximation spaces with rough cardinality n
P Balbiani, P Iliev, D Vakarelov
Fundamenta Informaticae 83 (4), 451-464, 2008
22008
Frame-Validity Games and Absolute Minimality of Modal Axioms.
P Balbiani, D Fernández-Duque, A Herzig, P Iliev
Advances in Modal Logic, 83-102, 2018
12018
Frame-validity games and lower bounds on the complexity of modal axioms
P Balbiani, D Fernández-Duque, A Herzig, P Iliev
arXiv preprint arXiv:1808.05051, 2018
2018
Public Announcements are Exponentially More Succinct than “Everybody Knows” and “Somebody Knows”
W van der Hoek, P Iliev
on Logical Aspects of Multi-Agent Systems LAMAS 2012, 55, 2012
2012
The system can't perform the operation now. Try again later.
Articles 1–15