Completeness Results for some two-Dimensional Logics of actuality.

David R. Gilbert Edwin D. Mares

Published in: Rev. Symb. Log. (2012)

Keyphrases

three dimensional
expressive power
multi dimensional
modal logic
inference rules
data quality
propositional calculus
real time
artificial intelligence
decision making
image processing
case study