Fully-Abstract Statecharts Semantics via Intuitionistic Kripke Models.

Gerald Lüttgen Michael Mendler

Published in: ICALP (2000)

Keyphrases

kripke models
modal logic
classical logic
logical framework
action theories
inference rules
multi agent
formal semantics
fuzzy numbers
logic programming
fuzzy set theory
agent oriented
temporal logic
linear logic
decision procedures
query processing
high level