I PRIKLADNAYA MATEMATIKA
(FUNDAMENTAL AND APPLIED MATHEMATICS)
1996, VOLUME 2, NUMBER 2, PAGES 483-499
E. Yu. Nogina
View as HTML View as gif image
Logics with the modal operator “… is true and provable” together with the modal proof operators “p is a proof of …” are axiomatized. Kripke-style completeness, decidability and arithmetical completeness of these logics are established.
|Main page||Contents of the journal||News||Search|
Last modified: March 19, 2005