Login / Signup
Sahlqvist Theorems for Precontact Logics.
Philippe Balbiani
Stanislav Kikot
Published in:
Advances in Modal Logic (2012)
Keyphrases
</>
expressive power
modal logic
inference rules
digital topology
sequent calculus
propositional calculus
propositional dynamic logic
classical logic
nonmonotonic logics
machine learning
artificial intelligence
search engine
decision making
computational properties
proof theory
proof theoretic