Skip navigation
Skip navigation

Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures

Tiu, Alwen; Ianovski, Egor; Gore, Rajeev

Description

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

dc.contributor.authorTiu, Alwen
dc.contributor.authorIanovski, Egor
dc.contributor.authorGore, Rajeev
dc.coverage.spatialCopenhagen Denmark
dc.date.accessioned2015-12-10T23:16:17Z
dc.date.createdAugust 22-25 2012
dc.identifier.urihttp://hdl.handle.net/1885/64993
dc.description.abstractA 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
dc.publisherCollege Publications
dc.relation.ispartofseriesAdvances in Modal Logic (AiML 2012)
dc.sourceProceedings of the Advances in Modal Logic Conference (AiML 2012)
dc.titleGrammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures
dc.typeConference paper
local.description.notesImported from ARIES
local.description.refereedYes
dc.date.issued2012
local.identifier.absfor080203 - Computational Logic and Formal Languages
local.identifier.ariespublicationu4334215xPUB1033
local.type.statusPublished Version
local.contributor.affiliationTiu, Alwen, College of Engineering and Computer Science, ANU
local.contributor.affiliationIanovski, Egor, University of Auckland
local.contributor.affiliationGore, Rajeev, College of Engineering and Computer Science, ANU
local.description.embargo2037-12-31
local.bibliographicCitation.startpage516
local.bibliographicCitation.lastpage537
local.identifier.absseo970108 - Expanding Knowledge in the Information and Computing Sciences
dc.date.updated2015-12-10T09:51:26Z
local.identifier.scopusID2-s2.0-84906735890
CollectionsANU Research Publications

Download

File Description SizeFormat Image
01_Tiu_Grammar_Logics_in_Nested_2012.pdf195.89 kBAdobe PDF    Request a copy


Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  19 May 2020/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator