A complete sequent calculus for a first order branching temporal logic - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Jurate Sakalauskaite. A complete sequent calculus for a first order branching temporal logic. In SEKE 94, The 6th International Conference on Software Engineering and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia. pages 274-280, Knowledge Systems Institute, 1994.

The following publications are possibly variants of this publication:

A Sequent Calculus for a First Order Linear Temporal Logic with Explicit TimeJurate Sakalauskaite. lpar 1992: 442-451

A Sequent Calculus for a First Order Linear Temporal Logic with EqualityJurate Sakalauskaite. lfcs 1992: 430-440

runs on WebDSL