Sign in
On Pretabular Logics in NExtK4 (Part I).
Shan Du
Hongkui Kang
Published in:
Stud Logica (2014)
Keyphrases
</>
expressive power
modal logic
table of contents
inference rules
conditional logic
real time
information retrieval
computer vision
case study
image sequences
default logic
decision procedures
proof theory
proof theoretic
propositional dynamic logic