What people are saying - Write a review
We haven't found any reviews in the usual places.
Invited Speaker I
Completeness of Kozens Axiomatisation
Once and For All
43 other sections not shown
abstract algorithm arity atomic automata automaton axioms behaviour bisimulation bound calculus causal clauses CLTL complexity class Computer Science concurrent configuration structures consider constraint construction corresponding defined Definition denote derivation disjunctive domain edge elements equations equivalent event structures expressive extension finite first-order first-order logic FO(Q formula function given graph IEEE induction inference infinite interpretation Kripke structure labelled language Lemma linear linear logic logic programming modal model checking module morphism multiset node notion operational semantics operator pair paper Paramodulation path Petri nets polynomial position probability Proc properties Proposition prove PSPACE PTIME quantifiers query recursive reduction relation result rule satisfies semantics sequence sequent calculus Springer-Verlag strategy struc subset symbol syntactic tableau temporal logic Theorem theory tion transition transitive closure tree ture type theory valuation variables verification problem Verilog vertex X-calculus