Home
Issues
Current
Archives
Search
Editorial Board
Announcements
About
About the Journal
Journal Policy
Peer-Review
Register
Make a Submission
Paper Promotion
Contact
Register
Login
lt
Proof-search in hybrid logic
Home
Issues
Current
Archives
Search
Editorial Board
Announcements
About
About the Journal
Journal Policy
Peer-Review
Register
Make a Submission
Paper Promotion
Contact
Register
Login
lt
Register
Login
lt
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
.
More Citation Formats
ACM
ACS
APA
ABNT
Chicago
Harvard
IEEE
MLA
Turabian
Vancouver
Download Citation
Endnote/Zotero/Mendeley (RIS)
BibTeX
Home
/
Lietuvos matematikos rinkinys
/
Vol. 48 (2008)
/
Proof-search in hybrid logic
Vol. 48 (2008)
Proof-search in hybrid logic
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,
Some decidable classes of formulas of modal logic S4
,
Lietuvos matematikos rinkinys: Vol. 41 (2001)
Stanislovas Norgėla,
Decidability of a monadic subclass of modal logic S4
,
Lietuvos matematikos rinkinys: Vol. 42 (2002)
<<
<
1
2
×
Username
*
Required
Password
*
Required
Reset your password.
Keep me logged in
Login
No account?
Register here