Towards a Logic for Reasoning About LF Specifications.
Mary SouthernGopalan NadathurPublished in: CoRR (2018)
Keyphrases
- delay insensitive
- formal theory
- asynchronous circuits
- bounded model checking
- transition systems
- valued logic
- logic programming
- modal operators
- formal language
- practical reasoning
- recursive programs
- formal specification
- high level
- proof theory
- probabilistic knowledge
- classical logic
- multi valued
- data sets
- truth values
- causal reasoning
- operational semantics
- logical framework
- light field
- modal logic
- nonmonotonic logics
- temporal resolution
- logical formulas
- inference rules
- expressive power
- logic programs
- formal descriptions