Verifying Implicitly Quantified Modal Logic over Dynamic Networks of Processes.
Anantha PadmanabhaR. RamanujamPublished in: ICDCIT (2020)
Keyphrases
- modal logic
- dynamic networks
- temporal logic
- model checking
- inference rules
- classical logic
- network dynamics
- network structure
- default logic
- network analysis
- situation calculus
- nonmonotonic logics
- dynamic behavior
- temporal evolution
- conditional logic
- biological networks
- epistemic logic
- temporal information
- dynamic logic
- autoepistemic logic
- explanation based generalization
- information retrieval
- complex networks
- knowledge representation
- natural language
- knowledge base