Admissibility and Unifiability in Contact Logics.

Philippe Balbiani Çigdem Gencer

Published in: TbiLLC (2013)

Keyphrases

expressive power
modal logic
inference rules
classical logic
proof theory
propositional dynamic logic
database
decision procedures
data sets
real world
case study
video sequences
expert systems
model checking
default logic
nonmonotonic logics