Journal of Logic and Computation

Learning attack relations in abstract argumentation from extension examples Get access

• Abstract

Recursive completion in higher λ-models Get access

• Abstract

Strongly complete axiomatizations for logics with probabilistic interventionist counterfactuals

• Abstract

Structural completeness in basic hoops and BL-algebras

• Abstract

On a topological duality for Stonean Hilbert algebras Get access

• Abstract

Exact truth and double-rail logics Get access

• Abstract

An expressive model for the specification and analysis of obligations Get access

• Abstract

Applications of discrete-time interval-based temporal separation Get access

• Abstract

Non-axiomatizability of modal predicate logics of Dedekind-complete linear orders with constant domains

• Abstract

Neighbourhood and algebraic models for predicate modal logics with ω-rules Get access

• Abstract

Strong negation is definable in 2Int Get access

• Abstract

A counterexample regarding C.E. closed subsets of [0,1] under homeomorphisms

• Abstract

Labelled KE for intuitionistic propositional logic Get access

• Abstract

An argument-based model for public interest communication Get access

• Abstract

Connecting state-based and team-based inquisitive logic

• Abstract

Argumentation frameworks, games and kernels: time for a family reunion! Get access

• Abstract

Complexity in infinite argumentation with structural constraints

• Abstract

Polyadic De Morgan Monoids: Functional representation and MG structures Get access

• Abstract

Proof extraction for explanations in defeasible deontic logic Get access

• Abstract