Deep Inference and Regular Grammar Logics
Egor Ianovski (University of Auckland)
LOGIC AND COMPUTATION SEMINAR Summer scholar projectsDATE: 2012-01-24
TIME: 15:30:00 - 16:00:00
LOCATION: RSISE Seminar Room, ground floor, building 115, cnr. North and Daley Roads, ANU
CONTACT: JavaScript must be enabled to display this email address.
ABSTRACT:
Grammar logics with converse are a natural class of multi-modal logics, subsuming many interesting extensions of multi-modal K. Though in the general case undecidable, if we restrict ourselves to those logics whose axioms define regular languages, decision procedures exist. In this talk we will examine two decision procedures for this case based on sequent calculus.
