Segui
Petar Iliev
Petar Iliev
Email verificata su math.bas.bg
Titolo
Citata da
Citata da
Anno
On the succinctness of some modal logics
T French, W van Der Hoek, P Iliev, B Kooi
Artificial Intelligence 197, 56-85, 2013
452013
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
362012
Succinctness of epistemic languages
T French, W Van Der Hoek, P Iliev, B Kooi
Twenty-Second International Joint Conference on Artificial Intelligence, 2011
292011
A logic of revelation and concealment.
W van der Hoek, P Iliev, MJ Wooldridge
AAMAS, 1115-1122, 2012
262012
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
142014
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
112014
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
102018
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
92012
The succinctness of the cover modality
H van Ditmarsch, P Iliev
Journal of Applied Non-Classical Logics 25 (4), 373-405, 2015
52015
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
42011
On the relative succinctness of some modal logics
P Iliev
University of Liverpool, 2013
32013
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
22022
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
22018
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
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
12023
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
Il sistema al momento non puň eseguire l'operazione. Riprova piů tardi.
Articoli 1–20