Keyphrases
- expressive power
- propositional calculus
- propositional variables
- modal operators
- inference rules
- proof theory
- modal logic
- propositional formulas
- truth values
- propositional logic
- logical formulas
- action theories
- computational properties
- real time
- model checking
- document images
- fuzzy logic
- bayesian networks
- information systems
- neural network