Unification and Finite Model Property for Linear Step-Like Temporal Multi-Agent Logic with the Universal Modality

JOURNAL ARTICLE published 9 September 2022 in Bulletin of the Section of Logic

Research funded by Ministry of Science and Higher Education of the Russian Federation (No. 075-02-2022-876)

Authors: Stepan I. Bashmakov | Tatyana Yu. Zvereva

May the Sea-Battle Tommorow Not Happen?

JOURNAL ARTICLE published 30 March 2020 in Bulletin of the Section of Logic

Authors: Bożena Pięta

Cantor on Infinitesimals. Historical and Modern Perspective

JOURNAL ARTICLE published 30 June 2020 in Bulletin of the Section of Logic

Authors: Piotr Błaszczyk | Marlena Fila

Non-Fregean Logics of Analytic Equivalence (II)

JOURNAL ARTICLE published 1 January 2015 in Bulletin of the Section of Logic

Authors: Andrzej Biłat

Unifiability and Structural Completeness in Relation Algebras and in Products of Modal Logic S5

JOURNAL ARTICLE published 1 January 2015 in Bulletin of the Section of Logic

Authors: Wojciech Dzik | Beniamin Wróbel

Free Modal Pseudocomplemented De Morgan Algebras

JOURNAL ARTICLE published 30 June 2018 in Bulletin of the Section of Logic

Authors: Aldo V. Figallo | Nora Oliva | Alicia Ziliani

On Theses Without Iterated Modalities of Modal Logics Between C1 and S5. Part 1

JOURNAL ARTICLE published 30 June 2017 in Bulletin of the Section of Logic

Authors: Andrzej Pietruszczak

Some Logics in the Vicinity of Interpretability Logics

JOURNAL ARTICLE published 22 November 2023 in Bulletin of the Section of Logic

Authors: Sergio Celani

Ternary Relational Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer's Logic B

JOURNAL ARTICLE published 2 September 2021 in Bulletin of the Section of Logic

Authors: Sandra M. López

The Theory of an Arbitrary Higher (lambda)-Model

JOURNAL ARTICLE published 25 April 2023 in Bulletin of the Section of Logic

Authors: Daniel O. Martínez-Rivillas | Ruy J. G. B. De Queiroz

Models of Bounded Arithmetic Theories and Some Related Complexity Questions

JOURNAL ARTICLE published 7 June 2022 in Bulletin of the Section of Logic

Authors: Abolfazl Alam | Morteza Moniri

The (Greatest) Fragment of Classical Logic that Respects the Variable-Sharing Principle (in the FMLA-FMLA Framework)

JOURNAL ARTICLE published 27 May 2021 in Bulletin of the Section of Logic

Authors: Damian E. Szmuc

On Synonymy in Proof-Theoretic Semantics: The Case of (mathtt{2Int})

JOURNAL ARTICLE published 18 July 2023 in Bulletin of the Section of Logic

Authors: Sara Ayhan | Heinrich Wansing

A Category of Ordered Algebras Equivalent to the Category of Multialgebras

JOURNAL ARTICLE published 16 August 2023 in Bulletin of the Section of Logic

Research funded by Conselho Nacional de Desenvolvimento Científico e Tecnológico (306530/2019-8) | Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (Finance Code 001) | United States-Israel Binational Science Foundation (2020704)

Authors: Marcelo Esteban Coniglio | Guilherme Vicentin de Toledo

Erratum to: Congruences and Ideals in a Distributive Lattice with Respect to a Derivation

JOURNAL ARTICLE published 30 March 2019 in Bulletin of the Section of Logic

Authors: Hasan Barzegar

Irredundant Decomposition of Algebras into One-Dimensional Factors

JOURNAL ARTICLE published 30 December 2016 in Bulletin of the Section of Logic

Authors: Bogdan Staruch

Topological and Multi-Topological Frames in the Context of Intuitionistic Modal Logic

JOURNAL ARTICLE published 30 October 2019 in Bulletin of the Section of Logic

Authors: Tomasz Witczak

On Homomorphism and Cartesian Products of Intuitionistic Fuzzy PMS-subalgebra of a PMS-algebra

JOURNAL ARTICLE published 21 April 2023 in Bulletin of the Section of Logic

Authors: Beza Lamesgin Derseh | Berhanu Assaye Alaba | Yohannes Gedamu Wondifraw

Professor Grzegorz Malinowski in Honorem

JOURNAL ARTICLE published 30 June 2017 in Bulletin of the Section of Logic

Authors: Andrzej Indrzejczak | Janusz Ciuciura

Identity, equality, nameability and completeness. Part II

JOURNAL ARTICLE published 30 October 2018 in Bulletin of the Section of Logic

Authors: María Manzano | Manuel Crescencio Moreno