On the succinctness of some modal logics T French, W van Der Hoek, P Iliev, B Kooi Artificial Intelligence 197, 56-85, 2013 | 45 | 2013 |
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 | 36 | 2012 |
Succinctness of epistemic languages T French, W Van Der Hoek, P Iliev, B Kooi Twenty-Second International Joint Conference on Artificial Intelligence, 2011 | 29 | 2011 |
A logic of revelation and concealment. W van der Hoek, P Iliev, MJ Wooldridge AAMAS, 1115-1122, 2012 | 26 | 2012 |
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 | 14 | 2014 |
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 | 11 | 2014 |
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 | 10 | 2018 |
On the relative succinctness of two extensions by definitions of multimodal logic W van der Hoek, P Iliev, B Kooi How the World Computes: Turing Centenary Conference and 8th Conference on …, 2012 | 9 | 2012 |
The succinctness of the cover modality H van Ditmarsch, P Iliev Journal of Applied Non-Classical Logics 25 (4), 373-405, 2015 | 5 | 2015 |
Knowledge and action in semi-public environments W Van Der Hoek, P Iliev, M Wooldridge Logic, Rationality, and Interaction: Third International Workshop, LORI 2011 …, 2011 | 4 | 2011 |
On the relative succinctness of some modal logics P Iliev University of Liverpool, 2013 | 3 | 2013 |
Frame-validity games and lower bounds on the complexity of modal axioms P Balbiani, D Fernández-Duque, A Herzig, P Iliev Logic Journal of the IGPL 30 (1), 155-185, 2022 | 2 | 2022 |
Frame-validity games and absolute minimality of modal axioms P Balbiani, D Fernández-Duque, A Herzig, P Iliev 12th International Conference on Advances in Modal Logic (AiML 2018) 12, 83-102, 2018 | 2 | 2018 |
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 | 2 | 2008 |
On semantically labelled syntax trees and the non-existence of certain Sahlqvist formulae P Iliev Logic Journal of the IGPL 31 (3), 483-509, 2023 | 1 | 2023 |
On the number of different variables required to define the n-density or the bounded n-width of Kripke frames with some consequences for Sahlqvist formulae P Iliev Logic Journal of the IGPL, jzad026, 2023 | | 2023 |
On Some Aspects of the European Knowledge Economy P Iliev Balkan Journal of Philosophy 13 (2), 193-204, 2021 | | 2021 |
Educational Technologies based on Artificial Intelligence: some pros and cons P Iliev 2020 International Conference Automatics and Informatics (ICAI), 1-6, 2020 | | 2020 |
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 |
Knowledge and Action in Semi-public Environments W Hoek, P Iliev, M Wooldridge Logic, Rationality, and Interaction, 0 | | |