Hyperintensionality in Relevant Logics.

Shawn Standefer

Published in: LORI (2023)

Keyphrases

expressive power
real time
case study
high level
relational databases
query language
propositional calculus