Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures
Loading...
Date
Authors
Tiu, Alwen
Ianovski, Egor
Gore, Rajeev
Journal Title
Journal ISSN
Volume Title
Publisher
College Publications
Abstract
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
Description
Keywords
Citation
Collections
Source
Proceedings of the Advances in Modal Logic Conference (AiML 2012)
Type
Book Title
Entity type
Access Statement
License Rights
DOI
Restricted until
2037-12-31
Downloads
File
Description