Inproceedings,

Modal Logic for Evaluating Formulas in Incomplete Contexts.

.
ICCS, volume 2393 of Lecture Notes in Computer Science, page 314-325. Springer, (2002)

Meta data

Tags

Users

  • @iccs
  • @dblp

Comments and Reviews