Rank logic is dead, long live rank logic!

Erich Grädel Wied Pakusa

Published in: CoRR (2015)

Keyphrases

modal logic
asynchronous circuits
logic programming
multi valued
predicate logic
database
real time
highly ranked
neural network
information systems
temporal logic
classical logic
computational properties
nonmonotonic logics
sound and complete axiomatization