Petar Iliev

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
On semantically labelled syntax trees and the non-existence of certain Sahlqvist formulae Logic Journal of the IGPL	2023-07-06	Paper
Succinctness in subsystems of the spatial \(\mu\)-calculus (available as arXiv preprint)	2022-09-28	Paper
Frame-validity games and lower bounds on the complexity of modal axioms Logic Journal of the IGPL	2022-03-30	Paper
Frame-validity games and absolute minimality of modal axioms	2019-07-24	Paper
The succinctness of the cover modality Journal of Applied Non-Classical Logics	2018-09-12	Paper
Some exponential lower bounds on formula-size in modal logic	2018-04-23	Paper
Succinctness in subsystems of the spatial mu-calculus (available as arXiv preprint)	2017-08-12	Paper
On the succinctness of some modal logics Artificial Intelligence	2013-08-23	Paper
On the relative succinctness of two extensions by definitions of multimodal logic Lecture Notes in Computer Science	2012-08-14	Paper
Knowledge and action in semi-public environments Logic, Rationality, and Interaction	2011-10-19	Paper
A modal logic for Pawlak's approximation spaces with rough cardinality \(n\)	2008-06-20	Paper

Research outcomes over time

This page was built for person: Petar Iliev