Unifiability In Extensions Of K4

Publication:
Unifiability In Extensions Of K4

dc.contributor.author	Gencer, Çiğdem
dc.contributor.author	De Jongh, Dick
dc.date.accessioned	2016-05-03T08:13:18Z
dc.date.available	2016-05-03T08:13:18Z
dc.date.issued	2009-04
dc.description.abstract	We extend and generalize the work on unifiability of [8]. We give a semantic characterization for unifiability and non-unifiability in the extensions of K4. We apply this in particular to extensions of KD4, GL and K4.3 to obtain a syntactic characterization and give a concrete decision procedure for unifiability for those logics. For that purpose we use universal models.	tr_TR
dc.identifier.issn	1367-0751
dc.identifier.scopus	2-s2.0-65249165914
dc.identifier.uri	http://hdl.handle.net/11413/1260
dc.identifier.wos	266499100001
dc.language.iso	en
dc.publisher	Oxford Univ Press, Great Clarendon St, Oxford Ox2 6Dp, England
dc.relation	Logic Journal Of The Igpl	tr_TR
dc.subject	Unification	tr_TR
dc.subject	unifier	tr_TR
dc.subject	provability logic	tr_TR
dc.subject	closed formula	tr_TR
dc.subject	universal model	tr_TR
dc.subject	logic	tr_TR
dc.subject	birleşme	tr_TR
dc.subject	sağlamasının mantığı	tr_TR
dc.subject	kapalı formülü	tr_TR
dc.subject	mantık	tr_TR
dc.subject	evrensel model	tr_TR
dc.title	Unifiability In Extensions Of K4	tr_TR
dc.type	Article
dspace.entity.type	Publication
local.indexed.at	WOS
local.indexed.at	Scopus