Lattice-based Graded Logic: A Multimodal Approach.
Philippe ChatalicChristine FroidevauxPublished in: UAI (1992)
Keyphrases
- alternating time temporal logic
- multi modal
- classical logic
- nonmonotonic logics
- model checking
- modal logic
- multi valued
- sound and complete axiomatization
- logic programs
- logic programming
- database
- predicate logic
- automated reasoning
- dynamic logic
- asynchronous circuits
- formal theory
- digital circuits
- probability theory
- medical images
- knowledge discovery
- learning algorithm