Certain extensions of modal system S4.

Boleslaw Sobocinski

Published in: Notre Dame J. Formal Log. (1970)

Keyphrases

modal logic
default logic
databases
efficient implementation
data sets
image segmentation
natural language
object recognition
lower bound
mobile robot
logic programming
graph kernels