Modal Intervals: Reason and Ground Semantics.

Ernest Gardeñes Honorino Mielgo Albert Trepat

Published in: Interval Mathematics (1985)

Keyphrases

nonmonotonic logics
modal logic
modal operators
dynamic logic
database
formal semantics
kripke models
logic programming
speech acts
propositional logic
interval data
logical framework
conceptual graphs
semantic information
multi agent
database systems
decision trees
information retrieval
neural network