Inverse method for modal logic S4

Adomas Birštunas; Stanislovas Norgėla

doi:10.15388/LMR.2003.32470

Articles

Adomas Birštunas

Vilnius University

Stanislovas Norgėla

Vilnius University

Published 2003-12-22

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

PDF

How to Cite

Birštunas, A. and Norgėla, S. (2003) “Inverse method for modal logic S4”, Lietuvos matematikos rinkinys, 43(spec.), pp. 429–433. doi:10.15388/LMR.2003.32470.

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)

Adomas Birštunas, Elena Reivytytė, Logical derivation search with assumption traceability , Lietuvos matematikos rinkinys: Vol. 62 (2021): Ser. A
Stanislovas Norgėla, On decidability of pure hybrid logic , Lietuvos matematikos rinkinys: Vol. 53 (2012): Ser. A
Stanislovas Norgėla, Resolution for hybrid logics , Lietuvos matematikos rinkinys: Vol. 52 (2011)
Adomas Birštunas, Restrictions for loop-check in sequent calculus for temporal logic , Lietuvos matematikos rinkinys: Vol. 48 (2008)
Stanislovas Norgėla, Linas Petrauskas, Transformations of formulae of hybrid logic , Lietuvos matematikos rinkinys: Vol. 51 (2010)
Daiva Aleknavičiūtė, Stanislovas Norgėla, Proof-search in hybrid logic , Lietuvos matematikos rinkinys: Vol. 48 (2008)
Adomas Birštunas, Restrictions for loop-check in sequent calculus for temporal logic with until operator , Lietuvos matematikos rinkinys: Vol. 50 (2009)
Adomas Birštunas, Efficient loop-check for multimodal KD45n logic , Lietuvos matematikos rinkinys: Vol. 47 (2007)
Daiva Aleknavičiūtė, Stanislovas Norgėla, Normal form of formulas of pure hybrid logic , Lietuvos matematikos rinkinys: Vol. 47 (2007)
Adomas Birstunas, Sequent calculus usage for BDI agent implementation , Lietuvos matematikos rinkinys: Vol. 46 (2006)

1 2 > >>