A resolution decision procedure for the guarded fragment

We give a resolution based decision procedure for the guarded fragment of [ANB96]. The relevance of the guarded fragment lies in the fact that many modal logics can be translated into it. In this way the guarded fragment acts as a framework explaining the nice properties of these modal logics. By co...

Ausführliche Beschreibung

Bibliographische Detailangaben

1. Verfasser:	de Nivelle, Hans
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Applied sciences Artificial intelligence Computer science control theory systems Decision Procedure Exact sciences and technology Existential Quantifier Ground Term Modal Formula Modal Logic Problem solving, game playing
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!