Open AccessFinite 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.