Logic Column 17: A Rendezvous of Logic, Complexity, and Algebra

Logic Column 18: Alternative Logics: A Book Review

Logic Column 19: Symbolic Model Checking for Temporal-Epistemic Logics

Logic Learning in Hopfield Networks

Logic Meets Algebra: the Case of Regular Languages

Logic Mining Using Neural Networks

Logic Programming with Default, Weak and Strict Negations

Logic Programming, Functional Programming, and Inductive Definitions

Logic programs with monotone cardinality atoms

Logic, Individuals and Concepts

Logical Characterizations of Heap Abstractions

Logical Foundations and Complexity of 4QL, a Query Language with Unrestricted Negation

Logical locality entails frugal distributed computation over graphs

Logical Modelling of Physarum Polycephalum

Logical Queries over Views: Decidability and Expressiveness

Logical Reasoning for Higher-Order Functions with Local State

Logical Relations for Monadic Types

Logical Varieties in Normative Reasoning

Logical, Metric, and Algorithmic Characterisations of Probabilistic Bisimulation

Logics and Games for True Concurrency