Title of article
On modal logic of deductive closure
Author/Authors
Naumov، نويسنده , , Pavel، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2006
Pages
7
From page
218
To page
224
Abstract
A new modal logic D is introduced. It describes properties of provability by interpreting modality as a deductive closure operator on sets of formulas. Logic D is proven to be decidable and complete with respect to this semantics.
Keywords
Modal logic , Deductive closure , Logic of provability
Journal title
Annals of Pure and Applied Logic
Serial Year
2006
Journal title
Annals of Pure and Applied Logic
Record number
1443789
Link To Document