Zobrazeno 1 - 10
of 993
pro vyhledávání: '"Bilková, A."'
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 a downward closed set of subsets, called simplexes, of the vertex set.
Externí odkaz:
http://arxiv.org/abs/2406.16785
Autor:
Peterka, M., Seidl, J., Markovic, T., Loarte, A., Logan, N. C., Park, J. -K., Cahyna, P., Havlicek, J., Imrisek, M., Kripner, L., Panek, R., Sos, M., Bilkova, P., Bogar, K., Bohm, P., Casolari, A., Gribov, Y., Grover, O., Hacek, P., Hron, M., Kovarik, K., Tomes, M., Tskhakaya, D., Varju, J., Vondracek, P., Weinzettl, V., Team, the COMPASS
This work presents the first analysis of the disruptive locked mode (LM) triggered by the dynamics of a confinement change. It shows that, under certain conditions, the LM threshold during the transient is significantly lower than expected from stead
Externí odkaz:
http://arxiv.org/abs/2404.11090
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 the Lukasiewicz $[0,1]$-valued logic with Baaz $\triangle$ operator an
Externí odkaz:
http://arxiv.org/abs/2402.12953
This paper considers two logics. The first one, $\mathbf{K}\mathsf{G}_\mathsf{inv}$, is an expansion of the G\"odel modal logic $\mathbf{K}\mathsf{G}$ with the involutive negation $\sim_\mathsf{i}$ defined as $v({\sim_\mathsf{i}}\phi,w)=1-v(\phi,w)$.
Externí odkaz:
http://arxiv.org/abs/2401.15395
We present the axiomatisation of the fuzzy bi-G\"{o}del modal logic (formulated in the language containing $\triangle$ and treating the coimplication as a defined connective) and establish its PSpace-completeness. We also consider its paraconsistent
Externí odkaz:
http://arxiv.org/abs/2309.16250
Autor:
Bílková, Marta, Sedlár, Igor
Publikováno v:
EPTCS 379, 2023, pp. 113-130
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, intensional groups are represented by a property that may change its extens
Externí odkaz:
http://arxiv.org/abs/2307.05056
We introduce a paraconsistent expansion of the G\"{o}del logic with a De Morgan negation $\neg$ and modalities $\blacksquare$ and $\blacklozenge$. We equip it with Kripke semantics on frames with two (possibly fuzzy) relations: $R^+$ and $R^-$ (inter
Externí odkaz:
http://arxiv.org/abs/2303.14198
We further develop the paraconsistent G\"{o}del modal logic. In this paper, we consider its version endowed with Kripke semantics on $[0,1]$-valued frames with two fuzzy relations $R^+$ and $R^-$ (degrees of trust in assertions and denials) and two v
Externí odkaz:
http://arxiv.org/abs/2303.14164
We discuss two two-layered logics formalising reasoning with paraconsistent probabilities that combine the Lukasiewicz $[0,1]$-valued logic with Baaz $\triangle$ operator and the Belnap--Dunn logic.
Externí odkaz:
http://arxiv.org/abs/2303.04565
Autor:
Bilkova, Marta
Publikováno v:
Liber Amicorum Alberti. A Tribute to Albert Visser. London: College Publications Tributes, 30., 2016 (Eijck van, J.; Iemhoff, R.; Joosten, J. eds), pp 57-90
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. The calculus for G\"odel-L\"ob's logic GL is a variant of the standard s
Externí odkaz:
http://arxiv.org/abs/2211.02591