Title of article :
On modal logic of deductive closure
Author/Authors :
Naumov، نويسنده , , Pavel، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2006
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
Journal title :
Annals of Pure and Applied Logic
