HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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
Copyright © 2012-2025 easychair.org. All rights reserved.