Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures
A grammar logic refers to an extension of the multi-modal logic K in which the modal axioms are generated from a formal grammar. We consider a proof theory, in nested sequent calculus, of grammar logics with converse, i.e., every modal operator [a] comes
|Collections||ANU Research Publications|
|Source:||Proceedings of the Advances in Modal Logic Conference (AiML 2012)|
|01_Tiu_Grammar_Logics_in_Nested_2012.pdf||195.89 kB||Adobe PDF||Request a copy|
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.