Logics with Zero-One Laws that Are Not Fragments of Bounded-Variable Infinitary Logic.
Iain A. StewartPublished in: Math. Log. Q. (1997)
Keyphrases
- modal logic
- classical logic
- proof theory
- propositional calculus
- propositional dynamic logic
- intuitionistic logic
- epistemic logic
- nonmonotonic logics
- conditional logic
- proof procedures
- temporal logic
- coalition logic
- order sorted
- inference rules
- computational properties
- sequent calculi
- proof theoretic
- modal operators
- decision procedures
- logic programming
- truth values
- higher order logic
- valued semantics
- default reasoning
- knowledge base
- automated reasoning
- neural network
- model checking
- expressive power
- predicate logic
- multi valued
- set theory
- reasoning about actions
- dynamic logic
- multi agent systems
- logical framework
- continuous variables
- default logic
- linear logic
- truth table
- logic based argumentation
- asynchronous circuits