Open AccessOn decidability of pure hybrid logic
Author(s) -
Stanislovas Norgėla
Publication year - 2012
Publication title -
lietuvos matematikos rinkinys
Language(s) - English
Resource type - Journals
eISSN - 2335-898X
pISSN - 0132-2818
DOI - 10.15388/lmr.a.2012.16
Subject(s) - decidability , sequent , mathematics , class (philosophy) , discrete mathematics , computer science , programming language , arithmetic , algebra over a field , pure mathematics , artificial intelligence
In this paper we study a decidable class of pure Hybrid Logic. To prove decidability we use terminating sequent for formulae of H(@) logic.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom