Independence-Friendly Logic Without Henkin Quantification.

Fausto Barbero Lauri Hella Raine Rönnholm

Published in: WoLLIC (2017)

Keyphrases

modal logic
logic programming
conditional independence
automated reasoning
proof theory
logical framework
predicate logic
asynchronous circuits
database
real time
multiscale
multi agent
independence assumption
computational properties
abductive reasoning
natural deduction