Artificial intelligence

Scientific journal

ISSN 2710-1673

ONLINE: ISSN 2710-1681

Search by:

Year of publication
Author name
Paper title

Sequent calculi for temporal and multimodal logics of partial predicates

Shkilniak O.1
1 Taras Shevchenko National University of Kyiv

Full text (PDF)

UDC: 004.42:510.69
Publication Language: Ukrainian
Stuc. intelekt. 2013; 18(1):55–66

Abstract: We study transitional composition-nominative modal logics. The properties of logical consequence relation for sets of state-specified formulas for these logics are investigated. Sequent calculi are constructed for pure first-order temporal and multimodal logics of equitone predicates. For the defined calculi the soundness and completeness theorems are proved.

Keywords: modal logic, predicate, logical consequence, sequent calculus

References:

  1. Handbook of Logic in Computer Science: In 5 vol. / [Eds. Abramsky S., Gabbay D. and Maibaum T.S.E.]. –Oxford: Clarendon Press, 1994-2000.
  2. Nikitchenko N.S. Probl. programmirovania. 1999. № 1. S. 16-31.
  3. Nikitchenko M.S. Matematychna logika ta teoria algorytmiv. К.: VPC Kyivskyi universytet. 2008. 528 s.
  4. Shkilniak O.S. Nauk. zapysky NaUKMA. Ser.: Komp. nauky. 2008. V. 86. S. 25-34.
  5. Shkilniak O.S. Probl. programuvannia. 2009. № 4. S. 11-23.
  6. Nikitchenko M.S. Visnyk Kyiv. un-tu. Ser.: phiz.-mat. nauky. 2011. Vyp. 3. S. 204-211.
  7. Shkilniak O.S. Shtuchnyi intelect. 2011. № 4. S. 126-133.

View full text (PDF)