Keyword:non-classical logics

Publications
Problem Libraries for Non-Classical Logics Jens Otten and Thomas Raths In:ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics
Dynamic sequent calculus for the logic of Epistemic Actions and Knowledge Giuseppe Greco, Alexander Kurz and Alessandra Palmigiano In:TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic
BDD-based automated reasoning in propositional non-classical logics: progress report Rajeev Gore and Jimmy Thomson In:PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning