A completeness proof for a logic with an alternative necessity operator

Studia Logica 58 (1):99-112 (1997)
  Copy   BIBTEX

Abstract

We show the completeness of a Hilbert-style system LK defined by M. Valiev involving the knowledge operator K dedicated to the reasoning with incomplete information. The completeness proof uses a variant of Makinson's canonical model construction. Furthermore we prove that the theoremhood problem for LK is co-NP-complete, using techniques similar to those used to prove that the satisfiability problem for propositional S5 is NP-complete.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

T × W Completeness.Franz Kutschervona - 1997 - Journal of Philosophical Logic 26 (3):241-250.
Russell's completeness proof.Peter Milne - 2008 - History and Philosophy of Logic 29 (1):31-62.
A logic lu for understanding.Xiaowu Li & Xiangyang Guo - 2010 - Frontiers of Philosophy in China 5 (1):142-153.
Taming logic.Maarten Marx, Szabolcs Mikul & István Németi - 1995 - Journal of Logic, Language and Information 4 (3):207-226.
A logic with relative knowledge operators.Stéphane Demri - 1999 - Journal of Logic, Language and Information 8 (2):167-185.

Analytics

Added to PP
2009-01-28

Downloads
51 (#277,782)

6 months
1 (#1,042,085)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Contingency and Knowing Whether.Jie Fan, Yanjing Wang & Hans van Ditmarsch - 2015 - Review of Symbolic Logic 8 (1):75-107.
The Modal Logic of Agreement and Noncontingency.Lloyd Humberstone - 2002 - Notre Dame Journal of Formal Logic 43 (2):95-127.
A hierarchy of modal logics with relative accessibility relations.Philippe Balbiani & Ewa Orlowska - 1999 - Journal of Applied Non-Classical Logics 9 (2-3):303-328.
A logic with relative knowledge operators.Stéphane Demri - 1999 - Journal of Logic, Language and Information 8 (2):167-185.

Add more citations

References found in this work

An essay in classical modal logic.Krister Segerberg - 1971 - Uppsala,: Filosofiska föreningen och Filosofiska institutionen vid Uppsala universitet.
A completeness theorem in modal logic.Saul Kripke - 1959 - Journal of Symbolic Logic 24 (1):1-14.
An Introduction to Modal Logic.George Edward Hughes & M. J. Cresswell - 1968 - London, England: Methuen. Edited by M. J. Cresswell.
A Completeness Theorem in Modal Logic.Saul A. Kripke - 1959 - Journal of Symbolic Logic 31 (2):276-277.

View all 11 references / Add more references