Proof-search in hybrid logic

Daiva  Aleknavičiūtė; Stanislovas  Norgėla

doi:10.15388/LMR.2008.18104

Articles

Daiva Aleknavičiūtė

Vilnius University

Stanislovas Norgėla

Vilnius University

Published 2008-12-21

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

PDF

Keywords

hybrid logic
sequent calculus

How to Cite

Aleknavičiūtė, D. and Norgėla, S. (2008) “Proof-search in hybrid logic”, Lietuvos matematikos rinkinys, 48(proc. LMS), pp. 252–255. doi:10.15388/LMR.2008.18104.

Download Citation

Abstract

This paper describes a new tactic for proof-search in Hybrid logic H(@), which always terminates.

PDF

Downloads

Download data is not yet available.

Most read articles by the same author(s)

Stanislovas Norgėla, Decidability of a monadic subclass of modal logic S4 , Lietuvos matematikos rinkinys: Vol. 42 (2002)
Stanislovas Norgėla, Resolution method for some class of formulas of modal logic S4 , Lietuvos matematikos rinkinys: Vol. 44 (2004)

<< < 1 2