Defining Fairness
Definable maximal cofinitary groups.
Definability properties and the congruence closure
Definability in Boolean bunched logic
Defending a Dialetheist Response to the Liar`s Paradox
Default reasoning using classical logic
Default Reasoning in a Terminological Logic
Default Logic (Reiter) - Department of Computing
Deep Sequent Systems for Modal Logic
Deep Sequent Systems for Modal Logic
Dedukti
deductive system
Deductive Reasoning
Deductive Databases with Universally Quantified Conditions
Deducibility, Consistency, Maxi-consistent sets
Dedekind cuts of Archimedean complete ordered abelian groups
Decomposing Specifications of Concurrent Systems
DECLARATIVE PROGRAMMING
Decision procedures in Algebra and Logic
Decision Procedures for Flat Array Properties
