14 citations · 40 across the 17 of their papers we have counts for
17 papers
Bisimulation for Impure Simplicial Complexes
Marta Bílková, Hans van Ditmarsch, Roman Kuznets +1
As an alternative to Kripke models, simplicial complexes are a versatile semantic primitive on which to interpret epistemic logic. Given a set of vertices, a simplicial complex is…
Two-layered logics for probabilities and belief functions over Belnap--Dunn logic
Marta Bilkova, Sabine Frittella, Daniil Kozhemiachenko +1
This paper is an extended version of an earlier submission to WoLLIC 2023. We discuss two-layered logics formalising reasoning with probabilities and belief functions that combine…
Simple tableaux for two expansions of Gödel modal logic
Marta Bilkova, Thomas Ferguson, Daniil Kozhemiachenko
This paper considers two logics. The first one, , is an expansion of the Gödel modal logic with the involutive negation $\…
Fuzzy bi-Gödel modal logic and its paraconsistent relatives
Marta Bilkova, Sabine Frittella, Daniil Kozhemiachenko
We present the axiomatisation of the fuzzy bi-Gödel modal logic (formulated in the language containing and treating the coimplication as a defined connective) and estab…
Epistemic Logics of Structured Intensional Groups
Marta Bílková, Igor Sedlár
Epistemic logics of intensional groups lift the assumption that membership in a group of agents is common knowledge. Instead of being represented directly as a set of agents, inten…
Non-standard modalities in paraconsistent Gödel logic
Marta Bilkova, Sabine Frittella, Daniil Kozhemiachenko
We introduce a paraconsistent expansion of the Gödel logic with a De Morgan negation and modalities and . We equip it with Kripke semantics on…
Paraconsistent Gödel modal logic on bi-relational frames
Marta Bilkova, Sabine Frittella, Daniil Kozhemiachenko
We further develop the paraconsistent Gödel modal logic. In this paper, we consider its version endowed with Kripke semantics on -valued frames with two fuzzy relations $R^+…
Two-layered logics for paraconsistent probabilities
Marta Bilkova, Sabine Frittella, Daniil Kozhemiachenko +1
We discuss two two-layered logics formalising reasoning with paraconsistent probabilities that combine the Lukasiewicz -valued logic with Baaz operator and the B…
Uniform Interpolation in provability logics
Marta Bilkova
We prove the uniform interpolation theorem in modal provability logics GL and Grz by a proof-theoretical method, using analytical and terminating sequent calculi for the logics. Th…
Crisp bi-Gödel modal logic and its paraconsistent expansion
Marta Bilkova, Sabine Frittella, Daniil Kozhemiachenko
In this paper, we provide a Hilbert-style axiomatisation for the crisp bi-Gödel modal logic $\KbiG$. We prove its completeness w.r.t.\ crisp Kripke models where formulas at each st…
Qualitative reasoning in a two-layered framework
Marta Bilkova, Sabine Frittella, Daniil Kozhemiachenko +1
The reasoning with qualitative uncertainty measures involves comparative statements about events in terms of their likeliness without necessarily assigning an exact numerical value…
Paraconsistent Gödel modal logic
Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko
We introduce a~paraconsistent modal logic , based on Gödel logic with coimplication (bi-Gödel logic) expanded with a De Morgan negation . We use the l…
Interpretability in PRA
Marta Bílková, Dick de Jongh, Joost J. Joosten
In this paper from 2009 we study IL(PRA), the interpretability logic of PRA. As PRA is neither an essentially reflexive theory nor finitely axiomatizable, the two known arithmetica…
Moss' logic for ordered coalgebras
Marta Bílková, Matěj Dostál
We present a finitary version of Moss' coalgebraic logic for -coalgebras, where is a locally monotone endofunctor of the category of posets and monotone maps. The logic uses…
The Logic of Resources and Capabilities
Marta Bilkova, Giuseppe Greco, Alessandra Palmigiano +2
We introduce the logic LRC, designed to describe and reason about agents' abilities and capabilities in using resources. The proposed framework bridges two - up to now - mutually i…
Relation lifting, with an application to the many-valued cover modality
Marta Bilkova, Alexander Kurz, Daniela Petrisan +1
We introduce basic notions and results about relation liftings on categories enriched in a commutative quantale. We derive two necessary and sufficient conditions for a 2-functor T…
Relation Liftings on Preorders and Posets
Marta Bilkova, Alexander Kurz, Daniela Petrisan +1
The category Rel(Set) of sets and relations can be described as a category of spans and as the Kleisli category for the powerset monad. A set-functor can be lifted to a functor on…