Characterising Combinational Timing Analyses in Intuitionistic Modal Logic.
Michael MendlerPublished in: Log. J. IGPL (2000)
Keyphrases
- modal logic
- classical logic
- asynchronous circuits
- temporal logic
- decision procedures
- inference rules
- cut elimination
- sequent calculus
- epistemic logic
- linear logic
- model checking
- default logic
- conditional logic
- fuzzy set theory
- prime implicates
- nonmonotonic logics
- natural deduction
- description logic alc
- theorem prover
- interval valued
- dynamic logic
- situation calculus
- autoepistemic logic
- artificial intelligence
- modal operators
- integrity constraints
- fuzzy sets
- multi agent