Keyword:connection calculus

Publications
lazyCoP 0.1 Michael Rawson and Giles Reger EasyChair Preprint 3926
Implementing Connection Calculi for First-order Modal Logics Jens Otten In:IWIL 2012. The 9th International Workshop on the Implementation of Logics
Using the TPTP Language for Representing Derivations in Tableau and Connection Calculi Jens Otten and Geoff Sutcliffe In:PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning