Weak subintuitionistic logics.

Fatemeh Shirmohammadzadeh Maleki Dick De Jongh

Published in: Log. J. IGPL (2017)

Keyphrases

metadata
expressive power
modal logic
database
inference rules
case study
machine learning
search engine
higher order
epistemic logic
propositional calculus