Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Logic

The Computable Dimension of I-Trees of Infinite Height

Algebra and Logic

English

Model Checking Propositional Dynamic Logic With All Extras

Journal of Applied Logic

Applied Mathematics

English

Logic Programs, Iterated Function Systems, and Recurrent Radial Basis Function Networks

Journal of Applied Logic

Applied Mathematics

English

Executable Specifications for Hypothesis-Based Reasoning With Prolog and Constraint Handling Rules

Journal of Applied Logic

Applied Mathematics

English

Propositional Relevance Through Letter-Sharing

Journal of Applied Logic

Applied Mathematics

English

Weak Distributivity, a Problem of Von Neumann and the Mystery of Measurability

Bulletin of Symbolic Logic

English

Relating First-Order Set Theories and Elementary Toposes

Bulletin of Symbolic Logic

English

An Elementary Approach to the Fine Structure of L

Bulletin of Symbolic Logic

English

BSL Volume 14 Issue 2 Cover and Front Matter

Bulletin of Symbolic Logic

English

From Stability to Simplicity

Bulletin of Symbolic Logic

English