Sequent calculus for hybrid logic

Stanislovas Norgėla; Anželika Šalaviejienė

doi:10.15388/LMR.2006.30717

Articles

Stanislovas Norgėla

Vilnius University

Anželika Šalaviejienė

Vilnius University

Published 2023-09-21

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

PDF

How to Cite

Norgėla, S. and Šalaviejienė, A. (2023) “Sequent calculus for hybrid logic”, Lietuvos matematikos rinkinys, 46(spec.), pp. 238–241. doi:10.15388/LMR.2006.30717.

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)

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)
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)
Daiva Aleknavičiūtė, Stanislovas Norgėla, Normal form of formulas of pure hybrid logic , Lietuvos matematikos rinkinys: Vol. 47 (2007)
Andrejus Belovas, Stanislovas Norgėla, Sequent calculus Sk4 for skolemized formulas , Lietuvos matematikos rinkinys: Vol. 45 (2005)
Adomas Birštunas, Stanislovas Norgėla, Inverse method for modal logic S4 , Lietuvos matematikos rinkinys: Vol. 43 (2003)
Stanislovas Norgėla, Herbrand expansions of some formulas of modal logic S4 , Lietuvos matematikos rinkinys: Vol. 43 (2003)
Stanislovas Norgėla, Resolution method for some class of formulas of modal logic S4 , Lietuvos matematikos rinkinys: Vol. 44 (2004)
Stanislovas Norgėla, Development of computer science studies at the Faculty of Mathematics and Informatics of the Vilnius University , Lietuvos matematikos rinkinys: Vol. 41 (2001)

1 2 > >>