complete tableau calculus

CLIMA
2007

181views Intelligent Agents» more CLIMA 2007»

Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs

14 years 1 months ago

We present a sound and complete tableau calculus for a class BReg of extended regular modal logics which contains useful epistemic logics for reasoning about agent beliefs. Our cal...

Rajeev Goré, Linh Anh Nguyen

claim paper

Read More »

click to vote

TABLEAUX
2005
Springer

73views Artificial Intelligence» more TABLEAUX 2005»

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

14 years 6 months ago

Download users.cecs.anu.edu.au

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 simi...

Rajeev Goré, Linh Anh Nguyen

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers