Dependence logic with a majority quantifier

Arnaud Durand Johannes Ebbing Juha Kontinen Heribert Vollmer

Published in: CoRR (2011)

Keyphrases

modal logic
logic programming
deontic logic
real time
data sets
multi valued
epistemic logic
neural network
classical logic
multi agent
natural language
automated reasoning