Tableaus for finitely-valued modal propositional logics

Jūratė Sakalauskaitė

doi:10.15388/LMD.1998.37922

Articles

Jūratė Sakalauskaitė

Institute of Mathematics and Informatics

Published 1998-12-14

https://doi.org/10.15388/LMD.1998.37922

PDF

How to Cite

Sakalauskaitė, J. (1998) “Tableaus for finitely-valued modal propositional logics”, Lietuvos matematikos rinkinys, 38(II), pp. 302–307 . doi:10.15388/LMD.1998.37922.

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)
Jūratė Sakalauskaitė, Prefixed tableaux for multi-modal logic of knowledge with inclusions , Lietuvos matematikos rinkinys: Vol. 43 (2003)
Jūratė Sakalauskaitė, Prefixed tableaus for three-valued modal propositional logics , Lietuvos matematikos rinkinys: 1997: LMD darbai