On the constant domains principle and its weakened versions in the Kripke sheaf semantics.

Dmitry P. Skvortsov

Published in: TACL (2013)

Keyphrases

application domains
inference rules
modal logic
desirable properties
formal semantics
real world
semantic information
database
neural network
model checking
temporal logic
kripke models
relational databases
transformation rules
multiple versions