Logics above S4 and the Lebesgue Measure Algebra.

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

Keyphrases

distance measure
modal logic
real time
expressive power
information content
set theory
algebraic expressions
search engine
information systems
query language
higher order
belief revision
correlation coefficient