Handbook of Philisophical Logic, Volume 8
V. 8 »

Many-Dimensional Modal Logics
Theory and Applications »

Goal-Directed Proof Theory
 »

Neural-Symbolic Learning Systems
Neural-symbolic learning systems play a central role artificial intelligence, and this text provides an introduction to the field and an overview of the theo... »

Logic And The Modalities In The Twentieth Century
Handbook of the History of Logic »

Sets And Extensions In The Twentieth Century
Sets and Extensions in the Twentieth Century »

Labld Deductve Syst Olg 33 C
This work introduces a new unifying framework for logics which makes it »

The International Directory Of Logicians
Who's Who in Logic »

Agenda Relevance
A Study In Formal Pragmatics »

Temporal Logic Vol 2 Olg 40 C
Mathematical Foundations and Computational Aspects »