Výsledky vyhledávání - "Iliev, Petar"

Report

Frame-validity games and lower bounds on the complexity of modal axioms

Autor: Balbiani, Philippe, Fernández-Duque, David, Herzig, Andreas, Iliev, Petar

We introduce frame-equivalence games tailored for reasoning about the size, modal depth, number of occurrences of symbols and number of different propositional variables of modal formulae defining a given frame-property. Using these games, we prove l

Externí odkaz: http://arxiv.org/abs/1808.05051

Zobrazit plný text záznamu

Report

Succinctness in subsystems of the spatial mu-calculus

Autor: Fernández-Duque, David, Iliev, Petar

In this paper we systematically explore questions of succinctness in modal logics employed in spatial reasoning. We show that the closure operator, despite being less expressive, is exponentially more succinct than the limit-point operator, and that

Externí odkaz: http://arxiv.org/abs/1708.03770

Zobrazit plný text záznamu

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Akademický článek

First Record of Trombiculosis Due to the Chigger Mite Kepkatrombicula desaleri in Domestic Goats in Bulgaria and Treatment Attempts.

Autor: NIZAMOV, Nikola¹ nikola_nizamov@abv.bg, ILIEV, Petar¹, BOYCHEV, Hristo¹

Publikováno v: Kafkas Universitesi Veteriner Fakultesi Dergisi. Jul/Aug2023, Vol. 29 Issue 4, p351-355. 5p.

Zobrazit plný text záznamu

Dissertation/ Thesis

On the relative succinctness of some modal logics

Autor: Iliev, Petar

The aim of this thesis is to compare several extensions of multimodal logic in terms of their representational succinctness on different classes of models. Succinctness is a natural refinement on the notion of expressivity. Intuitively, given two log

Externí odkaz: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.592867

Zobrazit plný text záznamu