Implicit Kripke semantics and ultraproducts in stratified institutions.

Razvan Diaconescu

Published in: J. Log. Comput. (2017)

Keyphrases

formal semantics
desirable properties
artificial intelligence
logic programming
kripke models
modal logic
temporal logic
inference rules
model checking
semantic information
neural network
conceptual model
deductive databases
default reasoning
knowledge representation
model theoretic
machine learning