Annals of Pure and Applied LogicVolume 141, Issues 1–2, August 2006, Pages 218-224On modal logic of deductive closureAuthor links open overlay panelPavel NaumovShow moreShareCitehttps://doi.org/10.1016/j.apal.2005.11.002Get rights and contentUnder an Elsevier user licenseopen archiveAbstractA 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.Previous article in issueNext article in issueMSC03B45KeywordsLogic of provabilityModal logicDeductive closureRecommended articlesCited by (0)Copyright © 2005 Elsevier B.V. All rights reserved.