The Ramified analytical Hierarchy using Extended Logics.

Philip D. Welch

Published in: Bull. Symb. Log. (2018)

Keyphrases

modal logic
database
data sets
knowledge base
website
expressive power
hierarchical structure
inference rules
lower level
conditional logic