Journal of Logic and Computation

Descriptive complexity for neural networks via Boolean networks Open Access

• Abstract

A minimal substitution basis for the Kalmár elementary functions Get access

• Abstract

Correction to: Logic of defeasible permission and its dynamics Free

• Abstract

Belief change based on knowledge measures Open Access

• Abstract

An EXPTIME-complete entailment problem in separation logic Get access

• Abstract

Tarskian theories of Krivine’s classical realizability Open Access

• Abstract

A unified framework for Input/Output and default logics via hypersequents Get access

• Abstract

Conditional probabilities as degrees of similarity and as degrees of entailment Open Access

• Abstract

On elementary theories of weighted and labelled trees Open Access

• Abstract

Strict-tolerant conditional logics Get access

• Abstract

Argumentation semantics based on solid admissibility and preservation of semantic properties Get access

• Abstract

Implicative-ortholattices as orthogonality spaces Get access

• Abstract

ASP-based approaches for solving the nuclear medicine scheduling problem Open Access

• Abstract

A many-valued multi-preferential propositional typicality logic and a conditional interpretation for gradual argumentation Open Access

• Abstract

Simple dynamic logic with parallel composition and applications to planning Get access

• Abstract

Strategic and private reasoning with the concurrent (timed) language for argumentation Get access

• Abstract

On two-variable first-order logic with a partial order Open Access

• Abstract

The Ackermann encoding and its siblings Get access

• Abstract

AL⁺: Extended argumentation logic Get access

• Abstract