Zobrazeno 1 - 10
of 2 121
pro vyhledávání: '"A Bílková"'
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
Publikováno v:
Scientific Reports, Vol 14, Iss 1, Pp 1-8 (2024)
Abstract Qualitative scoring methods are tools for rapid freshwater health assessments. Total score is often calculated as the sum or mean of the values of the species involved, with minor nuances in interpretation, but with significant implications.
Externí odkaz:
https://doaj.org/article/c54854e139174de6a3311629e50ca7f7