Semantics for S4.1.2.

Published in: Notre Dame J. Formal Log. (1978)

Keyphrases

formal semantics
semantic information
database
data sets
logic programming
natural language
artificial neural networks
conceptual graphs
logical framework
update semantics
intended meaning