- Belief Revision without Rational Monotony Wayne Wobcke
- Technical Report TRARP0599 Automated Reasoning Project
- Substructural Logics on Display Rajeev Gore, Automated Reasoning Project 1 and Department of
- Introduction Greg Restall
- Gaggles, Gentzen and Galois: How to display your favourite
- A Labelled Sequent System for Tense Logic K t Nicolette Bonnette 1 , Rajeev Gor'e 1;2 \Lambda
- SOFTWARE VERIFICATION RESEARCH CENTRE SCHOOL OF INFORMATION TECHNOLOGY
- Technical Report TRARP297 Automated Reasoning Project
- Technical Report TRARP498 Automated Reasoning Project
- CardS4: Modal Theorem Proving on Java Rajeev Prabhakar Gor e + and Phuong Th e Nguy en #
- Technical Report TRARP195 Automated Reasoning Project
- To appear in Volume 3, Foundations of the Pure Sciences, in History and Philosophy of Science for Science Students Committed to Africa,
- Belief Revision without Rational Monotony Wayne Wobcke
- KtSeqC : System Description Vijay Boyapati and Rajeev Gor'e \Lambda
- Formalised Cut Admissibility for Display Logic Jeremy E. Dawson # and Rajeev Gore ##
- Nonclassical rpg@arp.anu.edu.au
- Proof Theories for Almost Anything (Display Calculi for Substructural Logics)
- Theoremhood Preserving Maps Characterising Cut Elimination for Modal
- A Tableau Calculus with AutomatonLabelled Formulae for Regular Grammar Logics
- Cut-free Single-pass Tableaux for the Logic of Common Knowledge
- A General Theorem on Termination of Rewriting Jeremy E. Dawson and Rajeev Gore
- A Mechanisation of Classical Modal Tense Logics Using Isabelle
- CardS4: Modal Theorem Proving on Java Rajeev Prabhakar Gor e ? and Phuong Th^e Nguy^en ??
- Technical Report TRARP695 Automated Reasoning Project
- Cutfree Display Calculi for Nominal Tense Logics St'ephane Demri 1\Lambda and Rajeev Gor'e 2y
- System Description: cardT A P : The First Theorem
- On Gentzen Systems for Logics Without Contradiction Ross T. Brady
- Gaggles, Gentzen and Galois: A Proof Theory for Algebraizable Rajeev Gor'e
- Errata to Cambridge Computer Laboratory technical report number 257: Cutfree sequent and tableau systems for propositional normal modal logics by
- Gaggles, Gentzen and Galois: How to display your favourite
- Theoremhood Preserving Maps Characterising Cut Elimination for Modal Provability Logics
- CardS4: Modal Theorem Proving on Java Rajeev Prabhakar Gore # and Phuong The Nguyen ##
- CardKt: Automated Multimodal Deduction on Java Cards for Multiapplication Security
- Embedding Display Calculi into Logical Frameworks : Comparing Twelf and Isabelle
- A Tableau Calculus with Automaton-Labelled Formulae for Regular Grammar Logics
- Towards reasoning about concurrent objects Heinz W. Schmidt and Jian Chen
- Formalised Cut-elimination for the Display Calculus of Relation Algebras
- ENGLISH ONLY UNITED NATIONS STATISTICAL COMMISSION and
- A first-order policy language for history-based transaction monitoring
- Optimised EXPTIME Tableaux for ALC Using Sound Global Caching, Propagation and Cutoffs
- Cutfree Display Calculi for Relation Algebras Rajeev Gor'e
- Technical Report TRSRS195 Automated Reasoning Project
- Theory and Practice of a Generic Tableau Engine: The Tableau WorkBench
- Analytic Cut-free Tableaux for Regular Modal Logics of Agent Beliefs
- To appear in Volume 3, Foundations of the Pure Sciences, in History and Philosophy of Science for Science Students Committed to Africa,
- A Framework for Building Parallel ATPs Geoff Sutcliffe and Kalvinder Singh
- International Journal of Foundations of Computer Science c World Scientific Publishing Company
- We present a unified treatment of tableau, sequent and axiomatic formulations for many propositional normal modal logics, thus unifying and extending the work of Hanson,
- System Description: cardTAP : The First Theorem Prover on a Smart Card
- A P : Automated Deduction on a Smart Card Andrew Slater 1 , Rajeev Gor'e 1;2 \Lambda , Joachim Posegga 3 , Harald Vogt 3
- Technical Report TRARP1595 Automated Reasoning Project
- Technical Report TRARP1295 Automated Reasoning Project
- Cutelimination jeremy@arp.anu.edu.au
- Realistic Belief Revision Greg Restall and John Slaney
- Dual Intuitionistic Logic Revisited Rajeev Gore #
- Cutfree Sequent and Tableau Systems for Propositional Diodorean Modal Logics
- KtSeqC : System Description Vijay Boyapati and Rajeev Gor'e \Lambda
- Finding Proofs in Fixed Finite Time in Classical Propositional Logics
- An Optimal On-the-fly Tableau-based Decision Procedure for PDL-Satisfiability
- An On-the-fly Tableau-based Decision Procedure for PDL-Satisfiability
- EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse
- CardS4: Modal Theorem Proving on Java Rajeev Prabhakar Gore and Phuong Th^e Nguy^en
- Formalised Cut Admissibility for Display Logic Jeremy E. Dawson and Rajeev Gore
- Machine-checked Cut-elimination for Display Logic Jeremy E. Dawson
- Sound Global State Caching for ALC with Inverse Roles
- Formalised Cut-elimination for the Display Calculus of Relation Algebras
- CardS4: Modal Theorem Proving on Java Smartcards
- Sequents, Automated Reasoning and Nonclassical Logics
- Cut-elimination for Provability Logic GL Rajeev Gore and Revantha Ramanayake
- The Leibniz Continuity Condition, Inconsistency and Quantum Dynamics.
- A Mechanised Proof System for Relation Algebra using Display Logic
- SOFTWARE VERIFICATION RESEARCH CENTRE THE UNIVERSITY OF QUEENSLAND
- Formalised Cut Admissibility for Display Logic Jeremy E. Dawson? and Rajeev Gor'e??
- Substructural Logics on Display Rajeev Gor'e, Automated Reasoning Project1 and Department of
- Cut-elimination and Proof Search for Bi-Intuitionistic Tense Logic
- Technical Report TRARP1695 Automated Reasoning Project
