Vol. 51 No. 2 (2022)

View Vol. 51 No. 2 (2022)

edited by Andrzej Indrzejczak

Published: 2022-08-25

  • Analytic Non-Labelled Proof-Systems for Hybrid Logic: Overview and a couple of striking facts

    Torben Braüner (Author)
    143-162
    DOI: https://doi.org/10.18778/0138-0680.2022.02

  • Models of Bounded Arithmetic Theories and Some Related Complexity Questions

    Abolfazl Alam, Morteza Moniri (Author)
    163-176
    DOI: https://doi.org/10.18778/0138-0680.2022.03

  • Tolerating Inconsistencies: A Study of Logic of Moral Conflicts

    Meha Mishra, A.V. Ravishankar Sarma (Author)
    177-195
    DOI: https://doi.org/10.18778/0138-0680.2022.06

  • Proof Compression and NP Versus PSPACE II: Addendum

    Lew Gordeev, E. Hermann Haeusler (Author)
    197-205
    DOI: https://doi.org/10.18778/0138-0680.2022.01

  • A Benchmark Similarity Measures for Fermatean Fuzzy Sets

    Faiz Muhammad Khan, Imran Khan, Waqas Ahmad (Author)
    207-226
    DOI: https://doi.org/10.18778/0138-0680.2022.08

  • A Variant of Material Connexive Logic

    Alexander Belikov, Dmitry Zaitsev (Author)
    227-242
    DOI: https://doi.org/10.18778/0138-0680.2021.24

  • A Classification of Improper Inference Rules

    Katsumi Sasaki (Author)
    243-266
    DOI: https://doi.org/10.18778/0138-0680.2022.12

  • A Paradox for the Existence Predicate

    Uwe Meixner (Author)
    267-280
    DOI: https://doi.org/10.18778/0138-0680.2022.05

  • Tableaux for some deontic logics with the explicit permission operator

    Daniela Glavaničová, Tomasz Jarmużek, Mateusz Klonowski, Piotr Kulicki (Author)
    281-295
    DOI: https://doi.org/10.18778/0138-0680.2022.11