Analogues of Bull's theorem for hybrid logic.

Willem Conradie Claudette Robinson

Published in: Log. J. IGPL (2019)

Keyphrases

intuitionistic logic
logic programming
classical logic
modal logic
database
data sets
automated reasoning
proof theory
real time
databases
search algorithm
control system
hybrid learning
predicate logic
deontic logic