A Tableau Calculus with Automaton-Labelled Formulae for Regular Grammar Logics

We present a sound and complete tableau calculus for the class of regular grammar logics. Our tableau rules use a special feature called automaton-labelled formulae, which are similar to formulae of automaton propositional dynamic logic. Our calculus is cut-free and has the analytic superformula pro...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Goré, Rajeev, Nguyen, Linh Anh
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Applied sciences Artificial intelligence Computer science control theory systems Description Logic Exact sciences and technology Kripke Frame Kripke Model Logical, boolean and switching functions Negation Normal Form Propositional Dynamic Logic Theoretical computing
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!