STS: a structural theory of sets

JOURNAL ARTICLE published 1 July 1999 in Logic Journal of IGPL

Authors: A Baltag

The Proceedings of the XVI EBL--16th Brazilian Logic Conference, 2011: A Preface

JOURNAL ARTICLE published 1 April 2014 in Logic Journal of IGPL

Authors: W. Carnielli | R. de Freitas Petrucio Viana

Products of modal logics, part 1

JOURNAL ARTICLE published 1 January 1998 in Logic Journal of IGPL

Authors: D. Gabbay

An introduction to cylindric set algebras

JOURNAL ARTICLE published 1 July 2000 in Logic Journal of IGPL

Authors: J. Monk

Influence of context availability and soundness in predicting soil moisture using the Context-Aware Data Mining approach

JOURNAL ARTICLE published 25 July 2023 in Logic Journal of the IGPL

Authors: Anca Avram | Oliviu Matei | Camelia-M Pintea | Petrica C Pop

Acknowledgements

JOURNAL ARTICLE published 1 May 2004 in Logic Journal of IGPL

A Lower Bound for Interpolation

JOURNAL ARTICLE published 1 May 1997 in Logic Journal of IGPL

Authors: M. Gavrilovich

Universal first-order logic is superfluous in the second level of the polynomial-time hierarchy

JOURNAL ARTICLE published 25 November 2019 in Logic Journal of the IGPL

Authors: Nerio Borges | Edwin Pin

Deriving Information from Inconsistent Knowledge Bases: A Completeness Theorem for    

JOURNAL ARTICLE published 1 September 2004 in Logic Journal of IGPL

Authors: J. Paris

Corrigendum for "Truth in a logic of formal inconsistency: How classical can it get?"

JOURNAL ARTICLE published 25 January 2023 in Logic Journal of the IGPL

Authors: Lavinia Picollo

Distance-based non-deterministic semantics for reasoning with uncertainty

JOURNAL ARTICLE published 1 August 2009 in Logic Journal of IGPL

Authors: O. Arieli | A. Zamansky

A bisimulation characterization for interpretability logic

JOURNAL ARTICLE published 1 December 2014 in Logic Journal of IGPL

Authors: T. Perkov | M. Vukovi 

On a super large fixed-point of common information in multi-agent signalling games

JOURNAL ARTICLE published 1 February 2012 in Logic Journal of IGPL

Authors: A. Benz

Undecidability of the problem of recognizing axiomatizations for propositional calculi with implication

JOURNAL ARTICLE published 1 April 2015 in Logic Journal of IGPL

Authors: G. V. Bokov

Boolean negation and non-conservativity II: The variable-sharing property

JOURNAL ARTICLE published 25 May 2021 in Logic Journal of the IGPL

Authors: Tore Fjetland Øgaard

A decomposition-based method for solving the clustered vehicle routing problem

JOURNAL ARTICLE published 23 January 2018 in Logic Journal of the IGPL

Authors: Andrei Horvat-Marc | Levente Fuksz | Petrică C Pop | Daniela Dănciulescu

The Keisler–Shelah theorem for $mathsf{QmbC}$ through semantical atomization

JOURNAL ARTICLE published 25 September 2020 in Logic Journal of the IGPL

Authors: Thomas Macaulay Ferguson

Justifying induction on modal  -formulae

JOURNAL ARTICLE published 1 December 2014 in Logic Journal of IGPL

Authors: L. Alberucci | J. Krahenbuhl | T. Studer

A Routley-Meyer semantics for relevant logics including TWR plus the disjunctive syllogism

JOURNAL ARTICLE published 1 February 2011 in Logic Journal of IGPL

Authors: G. Robles | J. M. Mendez

Polymodal Logics of Commuting Functions

JOURNAL ARTICLE published 1 September 2002 in Logic Journal of IGPL

Authors: A. G. Kravtsov