Derivability in Locally Quantified Modal Logics via Translation in Set Theory.
Angelo MontanariAlberto PolicritiMatteo SlaninaPublished in: MFCS (2000)
Keyphrases
- set theory
- modal logic
- temporal logic
- decision procedures
- fuzzy set theory
- partial order
- inference rules
- epistemic logic
- first order logic
- nonmonotonic logics
- mathematical morphology
- rough set theory
- fuzzy sets
- rough sets
- model checker
- probability theory
- algebraic geometry
- default logic
- situation calculus
- theorem proving
- model checking
- image analysis
- computer vision
- modal operators
- machine learning