All Normal Extensions of S5-squared Are Finitely Axiomatizable期刊界 All Journals 搜尽天下杂志传播学术成果专业期刊搜索期刊信息化学术搜索

All Normal Extensions of S5-squared Are Finitely Axiomatizable

Authors:	Nick?Bezhanishvili author-information" > author-information__contact u-icon-before" > mailto:nbezhani@science.uva.nl" title=" nbezhani@science.uva.nl" itemprop=" email" data-track=" click" data-track-action=" Email author" data-track-label=" " >Email author,Ian?Hodkinson

Affiliation:	(1) ILLC, University of Amsterdam, Plantage Muidergracht 24 1018, TV Amsterdam, The Netherlands;(2) Department of Computing, Imperial College London, South Kensington Campus, London, SW7 2AZ, UK;(3) Department of Computer Science, University of Liverpool, Liverpool, L69 3BX, United Kingdom

Abstract:	We prove that every normal extension of the bi-modal system S5² is finitely axiomatizable and that every proper normal extension has NP-complete satisfiability problem.Presented by Heinrich Wansing

Keywords:	modal logic finite axiomatization NP-complete better-quasi-ordering
本文献已被 SpringerLink 等数据库收录！