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

Stanislovas Norgėla, Decidability of a monadic subclass of modal logic S4 , Lietuvos matematikos rinkinys: Vol. 42 (2002)
Stanislovas Norgėla, Some decidable classes of formulas of modal logic S4 , Lietuvos matematikos rinkinys: Vol. 41 (2001)

<< < 1 2