A decidable multi-modal logic of context
Book
Åpne
Permanent lenke
http://hdl.handle.net/11250/135031Utgivelsesdato
1997Metadata
Vis full innførselSamlinger
- Publication Series [80]
Sammendrag
We give a logic for formulas Á¡± Ã, with the informal reading
”à is true in the context described by Á”. These are interpreted
as binary modalities, by quantification over an enumerable set of
unary modalities c¡± Ã, meaning ”à is true in context c”. The
logic allows arbitrary nesting of contexts.
A corresponding axiomatic presentation is given, and proven
to be decidable, sound, and complete.
Previously, quantificational logic of context restricted the
nesting of contexts, and was only known to be decidable in very
special cases.
Utgiver
Høgskolen i AgderSerie
Skriftserien (Høgskolen i Agder)28