Vol. 51 No. 2 (2022)

Research Article

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

  Torben Braüner (Author)

  143-162

  • PDF

• Models of Bounded Arithmetic Theories and Some Related Complexity Questions

  Abolfazl Alam, Morteza Moniri (Author)

  163-176

  • PDF

• Tolerating Inconsistencies: A Study of Logic of Moral Conflicts

  Meha Mishra, A.V. Ravishankar Sarma (Author)

  177-195

  • PDF

• Proof Compression and NP Versus PSPACE II: Addendum

  Lew Gordeev, E. Hermann Haeusler (Author)

  197-205

  • PDF

• A Benchmark Similarity Measures for Fermatean Fuzzy Sets

  Faiz Muhammad Khan, Imran Khan, Waqas Ahmad (Author)

  207-226

  • PDF

• A Variant of Material Connexive Logic

  Alexander Belikov, Dmitry Zaitsev (Author)

  227-242

  • PDF

• A Classification of Improper Inference Rules

  Katsumi Sasaki (Author)

  243-266

  • PDF

• A Paradox for the Existence Predicate

  Uwe Meixner (Author)

  267-280

  • PDF

• Tableaux for some deontic logics with the explicit permission operator

  Daniela Glavaničová, Tomasz Jarmużek, Mateusz Klonowski, Piotr Kulicki (Author)

  281-295

  • PDF