Log. J. IGPL

Publications

volume 32, number 1, 2024

Daniyar S. Shamkanov
On algebraic and topological semantics of the modal logic of common knowledge S4CI. Log. J. IGPL 32 (1) (2024)
Zalán Gyenis, Övge Öztürk
Amalgamation and Robinson property in universal algebraic logic. Log. J. IGPL 32 (1) (2024)
Zoran Ognjanovic, Angelina Ilic-Stepic, Aleksandar Perovic
A Probabilistic Temporal Epistemic Logic: Strong Completeness. Log. J. IGPL 32 (1) (2024)
Yajie Lv, Wenjuan Chen
The Spectra of Quasi-Boolean Algebras. Log. J. IGPL 32 (1) (2024)
Conferences. Log. J. IGPL 32 (1) (2024)
Kordula Swietorzecka
First-Order Logic of Change. Log. J. IGPL 32 (1) (2024)
Bahareh Afshari, Sebastian Enqvist, Graham E. Leigh
Cyclic proofs for the first-order µ-calculus. Log. J. IGPL 32 (1) (2024)
Morteza Moniri, Fatemeh Shirmohammadzadeh Maleki
Another Neighbourhood Semantics for Intuitionistic Logic. Log. J. IGPL 32 (1) (2024)
Mohammad Ardeshir, Wim Ruitenburg
Kolmogorov and Kuroda Translations Into Basic Predicate Logic. Log. J. IGPL 32 (1) (2024)
Edelcio G. de Souza, Alexandre Costa-Leite, Diogo H. B. Dias
Paraconsistentization and many-valued logics. Log. J. IGPL 32 (1) (2024)

volume 32, number 2, 2024

volume 32, number 3, 2024

Andrei Arusoaie, Dorel Lucanu
Proof-carrying parameters in certified symbolic execution. Log. J. IGPL 32 (3) (2024)
Daniil Kozhemiachenko, Liubov Vashentseva
Non-contingency in a paraconsistent setting. Log. J. IGPL 32 (3) (2024)
Dick de Jongh, Fatemeh Shirmohammadzadeh Maleki
Binary modal logic and unary modal logic. Log. J. IGPL 32 (3) (2024)
Gemma Robles, José M. Méndez
. Log. J. IGPL 32 (3) (2024)
Zhiguang Zhao
Sahlqvist completeness theory for hybrid logic with downarrow binder. Log. J. IGPL 32 (3) (2024)
Mikhail Rybakov
Predicate counterparts of modal logics of provability: High undecidability and Kripke incompleteness. Log. J. IGPL 32 (3) (2024)
Gemma Robles, José M. Méndez
Correction to: A note on functional relations in a certain class of implicative expansions of FDE related to Brady's 4-valued logic BN4. Log. J. IGPL 32 (3) (2024)
Luciano J. González
Algebraic logic for the negation fragment of classical logic. Log. J. IGPL 32 (3) (2024)
Christoph Benzmüller, David Fuenmayor, Alexander Steen, Geoff Sutcliffe
Who finds the short proof? Log. J. IGPL 32 (3) (2024)

volume 31, number 5, 2023

Claudio E. A. Pizzi
Axioms for a Logic of Consequential Counterfactuals. Log. J. IGPL 31 (5) (2023)
Marcin Lyczak
Branching Time Axiomatized With the Use of Change Operators. Log. J. IGPL 31 (5) (2023)
Marcel Jackson, Tim Stokes
Restriction in Program Algebra. Log. J. IGPL 31 (5) (2023)
Verónica Borja Macías, Marcelo E. Coniglio, Alejandro Hernández-Tello
Genuine paracomplete logics. Log. J. IGPL 31 (5) (2023)

volume 31, number 6, 2023

Guillermo Badia
Editorial: Special issue in honour of John Newsome Crossley. Log. J. IGPL 31 (6) (2023)
Lloyd Humberstone
Contrariety re-encountered: nonstandard contraries and internal negation**. Log. J. IGPL 31 (6) (2023)
Jouko Väänänen
An atom's worth of anonymity. Log. J. IGPL 31 (6) (2023)
John Newsome Crossley
What is mathematical logic? An Australian odyssey. Log. J. IGPL 31 (6) (2023)
Yuri Gurevich
Logical foundations: Personal perspective. Log. J. IGPL 31 (6) (2023)
Matthew Askes, Rod Downey
Online, computable and punctual structure theory. Log. J. IGPL 31 (6) (2023)
Geoff Sutcliffe
The logic languages of the TPTP world. Log. J. IGPL 31 (6) (2023)
Rohit Parikh
Logic, co-ordination and the envelope of our beliefs. Log. J. IGPL 31 (6) (2023)
John L. Bell
Recollections of logicians, mathematicians and philosophers. Log. J. IGPL 31 (6) (2023)
Anil Nerode
John Crossley: A life intellectual. Log. J. IGPL 31 (6) (2023)
C. Smorynski
The early history of formal diagonalization. Log. J. IGPL 31 (6) (2023)
Wilfrid Hodges
How did Avicenna understand the Barcan formulas? Log. J. IGPL 31 (6) (2023)
Johan van Benthem
The logic of conditionals on outback trails. Log. J. IGPL 31 (6) (2023)
Palagorn Phansamdaeng, Pimpen Vejjajiva
The cardinality of the partitions of a set in the absence of the Axiom of Choice. Log. J. IGPL 31 (6) (2023)
Martin Wirsing, Alexander Knapp
A reduction-based cut-free Gentzen calculus for dynamic epistemic logic. Log. J. IGPL 31 (6) (2023)
Liz Sonenberg
Logics and collaboration. Log. J. IGPL 31 (6) (2023)