Petar Iliev

According to our database1, Petar Iliev authored at least 14 papers between 2008 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
On semantically labelled syntax trees and the non-existence of certain Sahlqvist formulae.
Log. J. IGPL, May, 2023

2022
Frame-validity Games and Lower Bounds on the Complexity of Modal Axioms.
Log. J. IGPL, 2022

2018
Succinctness in Subsystems of the Spatial μ-Calculus.
FLAP, 2018

Frame-Validity Games and Absolute Minimality of Modal Axioms.
Proceedings of the Advances in Modal Logic 12, 2018

2015
The succinctness of the cover modality.
J. Appl. Non Class. Logics, 2015

2014
On the relative succinctness of modal logics with union, intersection and quantification.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

Some Exponential Lower Bounds on Formula-size in Modal Logic.
Proceedings of the Advances in Modal Logic 10, 2014

2013
On the relative succinctness of some modal logics.
PhD thesis, 2013

On the succinctness of some modal logics.
Artif. Intell., 2013

2012
On the Relative Succinctness of Two Extensions by Definitions of Multimodal Logic.
Proceedings of the How the World Computes, 2012

A logic of revelation and concealment.
Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

2011
Knowledge and Action in Semi-public Environments.
Proceedings of the Logic, Rationality, and Interaction - Third International Workshop, 2011

Succinctness of Epistemic Languages.
Proceedings of the IJCAI 2011, 2011

2008
A Modal Logic for Pawlak's Approximation Spaces with Rough Cardinality n.
Fundam. Informaticae, 2008


  Loading...