Subframization and stabilization for superintuitionistic logics.

Guram Bezhanishvili Nick Bezhanishvili Julia Ilin

Published in: J. Log. Comput. (2019)

Keyphrases

expressive power
modal logic
inference rules
video stabilization
epistemic logic
nonmonotonic logics
propositional calculus
conditional logic
real world
search engine
database systems
evolutionary algorithm
query language
image stabilization