Prefixed tableaux for multi-modal logic of knowledge with inclusions
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.

Abstract

There is not abstract.

PDF
Creative Commons License

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

Downloads

Download data is not yet available.