Petar Iliev

Available identifiers

Publication	Date of Publication	Type
On semantically labelled syntax trees and the non-existence of certain Sahlqvist formulae	2023-07-06	Paper
Succinctness in subsystems of the spatial \(\mu\)-calculus	2022-09-28	Paper
Frame-validity games and lower bounds on the complexity of modal axioms	2022-03-30	Paper
Frame-validity games and absolute minimality of modal axioms	2019-07-24	Paper
The succinctness of the cover modality	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	2017-08-12	Paper
On the succinctness of some modal logics	2013-08-23	Paper
On the relative succinctness of two extensions by definitions of multimodal logic	2012-08-14	Paper
Knowledge and action in semi-public environments	2011-10-19	Paper
A modal logic for Pawlak's approximation spaces with rough cardinality \(n\)	2008-06-20	Paper

This page was built for person: Petar Iliev