A Van Benthem Theorem for Modal Team Semantics.

Juha Kontinen Julian-Steffen Müller Henning Schnoor Heribert Vollmer

Published in: CSL (2015)

Keyphrases

nonmonotonic logics
agent oriented programming language
formal semantics
modal logic
data sets
logic programming
intuitionistic logic
database
default logic
von neumann
semantic information
logical framework
operational semantics