Combination of temporal logic with modal logic KD

Regimantas Pliuškevičius

doi:10.15388/LMR.2003.32500

Articles

Regimantas Pliuškevičius

Institute of Mathematics and Informatics

Published 2003-12-22

https://doi.org/10.15388/LMR.2003.32500

PDF

How to Cite

Pliuškevičius, R. (2003) “Combination of temporal logic with modal logic KD”, Lietuvos matematikos rinkinys, 43(spec.), pp. 444–448. doi:10.15388/LMR.2003.32500.

Download Citation

Abstract

There is not abstract.

PDF

This work is licensed under a Creative Commons Attribution 4.0 International License.

Downloads

Download data is not yet available.

Most read articles by the same author(s)

Aurimas Paulius Girčys, Regimantas Pliuškevičius, A specialization of definitions in common knowledge logic , Lietuvos matematikos rinkinys: Vol. 52 (2011)
Julius Andrikonis, Regimantas Pliuškevičius, Cut elimination for knowledge logic with interaction , Lietuvos matematikos rinkinys: Vol. 47 (2007)
Regimantas Pliuškevičius, Logic of knowledge with infinitely many agents , Lietuvos matematikos rinkinys: Vol. 46 (2006)
Regimantas Pliuškevičius, Decision procedures for quantified fragments of reflexive common knowledge logic , Lietuvos matematikos rinkinys: Vol. 44 (2004)
Regimantas Pliuškevičius, Decision procedure for first-order linear temporal logic with semi-periodic kemels , Lietuvos matematikos rinkinys: Vol. 42 (2002)

<< < 1 2