Decision problem
Deciding Intuitionistic Propositional Logic via Translation into
Deciding Global Partial-Order Properties
Decidable models of small theories
Decidable fragments of first-order logic Decidable fragments of first
Decidable fragments of First order logic
Decidability of Monadic Theories
Decidability for some justification logics with negative introspection
Dealing with imperfect information in Strategy Logic
De Jongh`s characterization of intuitionistic propositional calculus
Day04-FunctionsOnLanguages_DecisionProblems - Rose
Day00a-Induction-proofs - Rose
Database controls maximize the data`s integrity, completeness
Darwinism
Cylindric Modal Logic - Homepages of UvA/FNWI staff
Cut-Free Sequent Systems for Temporal Logic
Cut-elimination for provability logics and some results in display logic
Curry`s Paradox. An Argument for Trivialism
Curry`s paradox, Lukasiewicz, and Field
Curry-Howard Isomorphism - Department of information engineering
