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.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom