Proof-search in hybrid logic
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.

Abstract

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

PDF
Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 International License.

Please read the Copyright Notice in Journal Policy