يعرض 1 - 10 نتائج من 1,332 نتيجة بحث عن '"Bilkova, P."', وقت الاستعلام: 1.27s تنقيح النتائج
  1. 1
    تقرير
    Bisimulation for Impure Simplicial Complexes

    المؤلفون: Bílková, Marta, van Ditmarsch, Hans, Kuznets, Roman, Randrianomentsoa, Rojo

    مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Distributed, Parallel, and Cluster Computing

    الوصول الحر: http://arxiv.org/abs/2406.16785Test

    View record in Arxiv

    أضف إلى المفضلة
  2. 2
    تقرير
    Quantification of locked mode instability triggered by a change in confinement

    المؤلفون: 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

    مصطلحات موضوعية: Physics - Plasma Physics

    الوصول الحر: http://arxiv.org/abs/2404.11090Test

    View record in Arxiv

    أضف إلى المفضلة
  3. 3
    تقرير
    Two-layered logics for probabilities and belief functions over Belnap--Dunn logic

    المؤلفون: Bilkova, Marta, Frittella, Sabine, Kozhemiachenko, Daniil, Majer, Ondrej

    مصطلحات موضوعية: Mathematics - Logic

    الوصول الحر: http://arxiv.org/abs/2402.12953Test

    View record in Arxiv

    أضف إلى المفضلة
  4. 4
    تقرير
    Simple tableaux for two expansions of G\'odel modal logic

    المؤلفون: Bilkova, Marta, Ferguson, Thomas, Kozhemiachenko, Daniil

    مصطلحات موضوعية: Mathematics - Logic

    الوصول الحر: http://arxiv.org/abs/2401.15395Test

    View record in Arxiv

    أضف إلى المفضلة
  5. 5
    تقرير
    Fuzzy bi-G\'{o}del modal logic and its paraconsistent relatives

    المؤلفون: Bilkova, Marta, Frittella, Sabine, Kozhemiachenko, Daniil

    مصطلحات موضوعية: Mathematics - Logic

    الوصول الحر: http://arxiv.org/abs/2309.16250Test

    View record in Arxiv

    أضف إلى المفضلة
  6. 6
    تقرير
    Epistemic Logics of Structured Intensional Groups

    المؤلفون: Bílková, Marta, Sedlár, Igor

    المصدر: EPTCS 379, 2023, pp. 113-130

    مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Multiagent Systems

    الوصول الحر: http://arxiv.org/abs/2307.05056Test

    View record in Arxiv

    أضف إلى المفضلة
  7. 7
    تقرير
    Non-standard modalities in paraconsistent G\'{o}del logic

    المؤلفون: Bilkova, Marta, Frittella, Sabine, Kozhemiachenko, Daniil

    مصطلحات موضوعية: Mathematics - Logic

    الوصول الحر: http://arxiv.org/abs/2303.14198Test

    View record in Arxiv

    أضف إلى المفضلة
  8. 8
    تقرير
    Paraconsistent G\'{o}del modal logic on bi-relational frames

    المؤلفون: Bilkova, Marta, Frittella, Sabine, Kozhemiachenko, Daniil

    مصطلحات موضوعية: Mathematics - Logic, Computer Science - Logic in Computer Science

    الوصول الحر: http://arxiv.org/abs/2303.14164Test

    View record in Arxiv

    أضف إلى المفضلة
  9. 9
    تقرير
    Two-layered logics for paraconsistent probabilities

    المؤلفون: Bilkova, Marta, Frittella, Sabine, Kozhemiachenko, Daniil, Majer, Ondrej

    مصطلحات موضوعية: Mathematics - Logic

    الوصول الحر: http://arxiv.org/abs/2303.04565Test

    View record in Arxiv

    أضف إلى المفضلة
  10. 10
    تقرير
    Uniform Interpolation in provability logics

    المؤلفون: Bilkova, Marta

    المصدر: 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

    مصطلحات موضوعية: Mathematics - Logic

    الوصول الحر: http://arxiv.org/abs/2211.02591Test

    View record in Arxiv

    أضف إلى المفضلة
أدوات البحث: أحصل على تغذية RSS — أرسل هذا البحث بالبريد الإلكتروني — حفظ البحث