A Logic for Reasoning About LF Specifications.
Gopalan NadathurMary SouthernPublished in: CoRR (2021)
Keyphrases
- delay insensitive
- formal theory
- asynchronous circuits
- bounded model checking
- modal logic
- modal operators
- classical logic
- transition systems
- formal language
- recursive programs
- valued logic
- spatial reasoning
- operational semantics
- set theory
- digital circuits
- model checker
- complete axiomatization
- formal specification
- neural network
- multi agent systems
- rough sets
- logic programming
- temporal resolution
- multi valued
- qualitative reasoning
- probabilistic knowledge
- computational properties
- model checking
- practical reasoning
- predicate logic
- logic programs
- functional requirements
- logical framework
- high level
- formal descriptions
- data sets