Prefixed tableaux for multi-modal logic of knowledge with inclusions

Jūratė Sakalauskaitė

doi:10.15388/LMR.2003.32506

Articles

Jūratė Sakalauskaitė

Institute of Mathematics and Informatics

Published 2003-12-22

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

PDF

How to Cite

Sakalauskaitė, J. (2003) “Prefixed tableaux for multi-modal logic of knowledge with inclusions”, Lietuvos matematikos rinkinys, 43(spec.), pp. 449–453. doi:10.15388/LMR.2003.32506.

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)

Haroldas Giedra, Jūratė Sakalauskaitė, Sequent calculus for logic of correlated knowledge , Lietuvos matematikos rinkinys: Vol. 52 (2011)
Jūratė Sakalauskaitė, Partial cut elimination for propositional discrete linear time temporal logic , Lietuvos matematikos rinkinys: Vol. 51 (2010)
Jūratė Sakalauskaitė, Partial cut elimination for combinations of propositional multi-modal logics with past time , Lietuvos matematikos rinkinys: Vol. 52 (2011)