Succinctness Gap between Monadic Logic and Duration Calculus.
Alexander Moshe RabinovichPublished in: Fundam. Informaticae (2000)
Keyphrases
- modal logic
- sequent calculus
- computer algebra
- cut elimination
- natural deduction
- classical logic
- temporal logic
- formal language
- proof procedure
- computational properties
- algebraic structure
- monadic second order logic
- inference rules
- transition systems
- modal operators
- relation algebra
- deductive databases
- theorem proving
- proof theoretic
- automated theorem proving
- linear logic
- valued logic
- proof search
- linear time temporal logic
- theorem prover
- datalog queries
- linear temporal logic
- lambda calculus
- query language
- data model