Search

Your search keyword '"efficient loop-check"' showing total 1 results
Start Over Descriptor "efficient loop-check" Topic theoryofcomputation_logicsandmeaningsofprograms
1 results on '"efficient loop-check"'

1. Restrictions for loop-check in sequent calculus for temporal logic

Author

Birštunas, Adomas

Subjects
Mathematics::Logic, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Computer Science::Logic in Computer Science, ComputerSystemsOrganization_PROCESSORARCHITECTURES, sequent calculus, temporal logic, efficient loop-check
Abstract

In this paper, we present sequent calculus for linear temporal logic. This sequent calculus uses efficient loop-check technique. We prove that we can use not all but only several special sequents from the derivation tree for the loop-check. We use indexes to discover these special sequents in the sequent calculus. These restrictions let us to get efficient decision procedure based on introduced sequent calculus.

Published
2008

Catalog

Books, media, physical & digital resources
See catalog results