Modal Operators and the Formal Dual of Birkhoff's Completeness Theorem.

Steven Awodey Jesse Hughes

Published in: Math. Struct. Comput. Sci. (2003)

Keyphrases

description logics
modal operators
dynamic logic
communicative acts
machine learning
formal specification
primal dual
information systems
temporal logic
partially ordered
nonmonotonic logics