Handbook of Philisophical Logic, Volume 8
V. 8 »

Han Logic Comp Sci Vol 5 Hlcs C
This volume of the computer science series covers all major areas of application of logic to theoretical computer science. Topics include Martin-Loef's Type ... »

Tempor Log:math Found V1 Olg 28 C
Mathematical Foundations And Computational Aspects »

Logical Tools for Handling Change in Agent-Based Systems
Logical Tools for Handling Change in Agent-Based Systems »

Philosophy Of Medicine
 »

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

Agenda Relevance
A Study In Formal Pragmatics »

Many-Dimensional Modal Logics
Theory and Applications »

Handbook of Defeasible Reasoning and Uncertainty Management Systems
Volume 1: Quantified Representation of Uncertainty and Imprecision »

Handbook of Philosophical Logic
v. 2 »