Deciding modal logics using tableaux and set theory.
Carla PiazzaAlberto PolicritiPublished in: APPIA-GULP-PRODE (2001)
Keyphrases
- modal logic
- set theory
- temporal logic
- decision procedures
- inference rules
- partial order
- first order logic
- fuzzy set theory
- rough sets
- nonmonotonic logics
- mathematical morphology
- epistemic logic
- probability theory
- model checking
- situation calculus
- model checker
- rough set theory
- fuzzy sets
- multiscale
- modal operators
- artificial intelligence
- sequent calculus
- neural network
- default logic
- machine learning
- nonmonotonic reasoning
- theorem proving
- description logics
- knowledge discovery
- image processing