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