On modal logic of deductive closure

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. Key words: logic of provability, modal logic, deductive closure 1991 MSC: 03B45

• Type: Journal
• Year: 2006
• Where: APAL
• Authors: Pavel Naumov
• Keywords: APAL 2006, Deductive Closure, Deductive Closure Operator, Modal Logic