Loop-Type Sequent Calculi for Temporal Logic.
Romas AlonderisRegimantas PliuskeviciusAida PliuskevicieneHaroldas GiedraPublished in: J. Autom. Reason. (2020)
Keyphrases
- temporal logic
- modal logic
- sequent calculi
- model checking
- satisfiability problem
- concurrent systems
- computation tree logic
- formal specification language
- conditional logic
- verification method
- dynamic constraints
- mazurkiewicz traces
- belief revision
- reactive systems
- transition systems
- decision procedures
- formal verification
- automata theoretic
- object oriented