z-logo
open-access-imgOpen Access
Finite sequent calculi for PLTL
Author(s) -
Romas Alonderis,
Regimantas Pliuškevičius,
Aida Pliuškevičienė
Publication year - 2015
Publication title -
lietuvos matematikos rinkinys
Language(s) - English
Resource type - Journals
eISSN - 2335-898X
pISSN - 0132-2818
DOI - 10.15388/lmr.a.2015.01
Subject(s) - sequent , sequent calculus , mathematics , axiom , calculus (dental) , natural deduction , discrete mathematics , algorithm , pure mathematics , geometry , mathematical proof , medicine , dentistry
Two sequent calculi for temporal logic of knowledge are presented: one containing invariant-like rule and the other containing looping axioms. Its proved that the calculi are equivalent, sound and complete.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.
Having issues? You can contact us here