Logic Journal of the IGPL

Publicação

Schematic systems

Hybrid logics with Sahlqvist axioms

An Application of Logic Engineering

Using the Internal Logic of a Topos to Model Search Spaces for Problems

On Positive Relational Calculi

Natural Deduction for 'Generally'

Using modal logics to express and check global graph properties

On vague notions and modalities: a modular approach