A Non-wellfounded, Labelled Proof System for Propositional Dynamic Logic
Attributed to:
A coalgebraic framework for reductive logic and proof-search (ReLiC)
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-030-29026-9_19
Publication URI: http://dx.doi.org/10.1007/978-3-030-29026-9_19
Type: Book Chapter
Book Title: Automated Reasoning with Analytic Tableaux and Related Methods - 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings (2019)
Page Reference: 335-352
ISSN: 2731-0469