| EP/C538536/1 | Second Order Quantifier Elimination | (P) |
| EP/D504457/1 | Deductive Verification of CTL * Properities | (P) |
| EP/C532783/1 | The Sixth Augustus De Morgan Conference: Logic and Law | (P) |
| EP/C536290/1 | Quantification in Non-classical Logic | (P) |
| GR/T24562/01 | Quantum Logic and Revision Theory | (P) |
| GR/T28669/01 | Proof Procedures Based on Graphs | (P) |
| GR/S78162/01 | Interpolation and Definability | (P) |
| GR/T06827/01 | Probability and Proof | (P) |
| GR/S78179/01 | Abductive models for cognitive agents II | (P) |
| GR/S79558/01 | The Fifth Augustus De Morgan Conference: Knowledge Representation and the Reasoning Agent | (P) |
| GR/R59564/01 | Abductive Models for Cognitive Agents | (P) |
| GR/R45369/01 | Analysis and mechanisation of decidable first-order temporal loics | (C) |
| GR/N23028/01 | MANY-DIMENSIONAL MODAL LOGICS AND FINITE MODEL THEORY | (P) |
| GR/L91818/01 | DATA DRIVEN LOGIC ALGORITHMS | (P) |
| GR/M29221/01 | PRODUCTS OF MODAL LOGICS AND DECIDABLE FRAGMENTS OF CLASSICAL LOGIC | (P) |
| GR/L75092/01 | DEVELOPING A LOGIC-BASED FRAMEWORK FOR IMPLEMENTING MULTI-AGENT SYSTEMS | (P) |
| GR/K57268/02 | PROOF METHODS FOR TEMPORAL LOGICS OF KNOWLEDGE AND BELIEF | (P) |
| GR/L98183/01 | SYNTACTIC & SEMANTIC UNDERSPECIFICATION: THE DYNAMICS OF NATURAL LANGUAGE UNDERSTANDING | (P) |
| GR/K57268/01 | PROOF METHODS FOR TEMPORAL LOGICS OF KNOWLEDGE AND BELIEF | (P) |
| GR/K68776/01 | A LABELLED DEDUCTIVE SYSTEM FOR NATURAL LANGUAGE UNDERSTANDING | (P) |
| GR/K54489/01 | SITUATING LABELLED ENTAILMENT | (P) |
| GR/J15483/01 | INCONSISTENCY HANDLING IN MULTI-PERSPECTIVE SPECIFICATIONS | (C) |
| GR/J14745/01 | ALGORITHMIC DEDUCTION BASED ON LABELLED TABLEAUX | (C) |
| GR/H85045/01 | SITUATING LABELLED ENTAILMENT | (P) |
| GR/G46677/01 | SYNTACTICAL FOUNDATIONS OF NON MONOTONIC REASONING | (P) |
| GR/G29861/01 | RULE-BASED SYSTEMS AND ITEGRITY CHECKING | (P) |
| GR/G24644/01 | AUTOMATED REASONING SUPPORT FOR KNOWLEDGE REPRESENTATION | (P) |
| GR/F28526/01 | METATEM A FRAMEWORK FOR TEMPORAL LOGIC PROGRAMMING | (P) |