6533b7d6fe1ef96bd1265f6a
RESEARCH PRODUCT
A decidable multi-modal logic of context
Rolf Nossumsubject
TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESVDP::Humaniora: 000::Filosofiske fag: 160::Logikk: 163description
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.
| year | journal | country | edition | language |
|---|---|---|---|---|
| 1997-01-01 |