Message-generated Kripke semantics.

Jan van Eijck Floor Sietsma

Published in: AAMAS (2011)

Keyphrases

modal logic
automatically generated
model checking
formal semantics
email
temporal logic
desirable properties
neural network
high level
social networks
database systems
logic programming
semantic information
default reasoning
semantic representation
logical language