A completeness proof for a logic with an alternative necessity operator
From MaRDI portal
Publication:677080
DOI10.1023/A:1004944015811zbMath0864.03012MaRDI QIDQ677080
Publication date: 15 June 1997
Published in: Studia Logica (Search for Journal in Brave)
contingencycompletenessco-NP-completeHilbert-style systemknowledge logicreasoning with incomplete information
Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Complexity of computation (including implicit computational complexity) (03D15)
Related Items (5)
A hierarchy of modal logics with relative accessibility relations ⋮ The modal logic of agreement and noncontingency ⋮ Beyond Knowing That: A New Generation of Epistemic Logics ⋮ LOGICS FOR PROPOSITIONAL DETERMINACY AND INDEPENDENCE ⋮ CONTINGENCY AND KNOWING WHETHER
This page was built for publication: A completeness proof for a logic with an alternative necessity operator
