Quantified Modal Relevant Logics.

Nicholas Ferenz

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

Keyphrases

modal logic
nonmonotonic logics
expressive power
decision procedures
data sets
decision making
bayesian networks
databases
data mining
multiscale
hidden markov models
higher level
inference rules
epistemic logic
propositional variables