Naumov, Pavel (2006) On modal logic of deductive closure. Annals of Pure and Applied Logic, 141 (1-2), 218-224. (doi:10.1016/j.apal.2005.11.002).
Record type:
Article
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.
This record has no associated files available for download.
More information
Published date: August 2006
Keywords:
Deductive closure, Logic of provability, Modal logic
Identifiers
Local EPrints ID: 475889
URI: http://eprints.soton.ac.uk/id/eprint/475889
ISSN: 0168-0072
PURE UUID: a5795683-0292-4626-aba2-7faf596af274
Catalogue record
Date deposited: 29 Mar 2023 17:14
Last modified: 17 Mar 2024 04:10
Export record
Altmetrics
Contributors
Author:
Pavel Naumov
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.