Erratum to "Zero-one laws for modal logic" [Ann. Pure Appl. Logic 69 (1994) 157-193].
Joseph Y. HalpernBruce M. KapronPublished in: Ann. Pure Appl. Log. (2003)
Keyphrases
- modal logic
- artificial neural networks
- temporal logic
- decision procedures
- epistemic logic
- classical logic
- inference rules
- using artificial neural networks
- nonmonotonic logics
- dynamic logic
- conditional logic
- neural network
- default logic
- modal operators
- situation calculus
- model checking
- discrete geometry
- explanation based generalization
- prime implicates
- sequent calculi
- description logic alc
- sequent calculus
- relational databases