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
CUED PhD and MPhil Thesis Classes
ctl
CSL105: Discrete Mathematical Structures
CSI 2101 / Rules of Inference (§1.5)
CSE675_10_Quiz_1_Answers
CSE596, Fall 2015 Problem Set 1 Due Wed. Sept. 16
CSE 452: Programming Languages
