Cofinal Stable Logics.

Guram Bezhanishvili Nick Bezhanishvili Julia Ilin

Published in: Stud Logica (2016)

Keyphrases

expressive power
modal logic
search engine
image processing
computational properties
classical logic
proof theory
real time
truth values
conditional logic
default logic
inference rules
model checking
fuzzy sets
multi agent
three dimensional
real world
databases