Neighborhood Semantics for Intentional operators.

Published in: Rev. Symb. Log. (2009)

Keyphrases

update operators
logic programming
formal semantics
aggregate functions
data sets
building blocks
semantic information
expressive power
mental states
algebraic operators
logical language
modal operators
neighborhood structure
speech acts
specification language
programming language
information systems
neural network