On decidability of a fragment of intuitionistic predicate logic

Jolanta Kaušilaitė; Regimantas Pliuškevičius

doi:10.15388/LMD.1999.35640

Articles

Jolanta Kaušilaitė

Vilnius University

Regimantas Pliuškevičius

Institute of Mathematics and Informatics

Published 1999-12-17

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

PDF

How to Cite

Kaušilaitė , J. and Pliuškevičius, R. (1999) “On decidability of a fragment of intuitionistic predicate logic”, Lietuvos matematikos rinkinys, 39(III), pp. 311–316 . doi:10.15388/LMD.1999.35640.

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 in this journal

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, Combination of temporal logic with modal logic KD , Lietuvos matematikos rinkinys: Vol. 43 (2003)
Regimantas Pliuškevičius, Decision procedure for first-order linear temporal logic with semi-periodic kemels , Lietuvos matematikos rinkinys: Vol. 42 (2002)

<< < 1 2