Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/3646
Tytuł: | The Properties of Sets of Temporal Logic Subformulas |
Autorzy: | Giero, Mariusz |
Data wydania: | 2012 |
Data dodania: | 6-gru-2015 |
Wydawca: | De Gruyter Open |
Źródło: | Formalized Mathematics, Volume 20, Issue 3, 2012, Pages 221-226 |
Abstrakt: | This is a second preliminary article to prove the completeness theorem of an extension of basic propositional temporal logic. We base it on the proof of completeness for basic propositional temporal logic given in [17]. We introduce two modified definitions of a subformula. In the former one we treat until-formula as indivisible. In the latter one, we extend the set of subformulas of until-formulas by a special disjunctive formula. This is needed to construct a temporal model. We also define an ordered positive-negative pair of finite sequences of formulas (PNP). PNPs represent states of a temporal model. |
Afiliacja: | Department of Logic, Informatics and Philosophy of Science, University of Białystok, Plac Uniwersytecki 1, 15-420 Białystok, Poland |
Sponsorzy: | This work has been supported by the Polish Ministry of Science and Higher Education project “Managing a Large Repository of Computer-verified Mathematical Knowledge” (N N519 385136). |
Opis: | I would like to thank Prof. Andrzej Trybulec, Dr. Artur Korniłowicz, Dr. Adam Naumowicz and Karol Pak for their help in preparation of the article. |
URI: | http://hdl.handle.net/11320/3646 |
DOI: | 10.2478/v10037-012-0026-9 |
ISSN: | 1426-2630 1898-9934 |
Typ Dokumentu: | Article |
Występuje w kolekcji(ach): | Formalized Mathematics, 2012, Volume 20, Issue 3 |
Pliki w tej pozycji:
Plik | Opis | Rozmiar | Format | |
---|---|---|---|---|
v10037-012-0026-9.pdf | 264,26 kB | Adobe PDF | Otwórz |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL