A First-Order Complete Temporal Logic for Structured Context-Free Languages.

Michele Chiari Dino Mandrioli Matteo Pradella

Published in: CoRR (2021)

Keyphrases

temporal logic
context free languages
linear temporal logic
mazurkiewicz traces
model checking
context free
modal logic
context free grammars
grammatical inference
structured data
belief revision
regular languages
computation tree logic
data model
integrity constraints
inference rules