-
13On modal logic of deductive closureAnnals of Pure and Applied Logic 141 (1): 218-224. 2006.A new modal logic is introduced. It describes properties of provability by interpreting modality as a deductive closure operator on sets of formulas. Logic is proven to be decidable and complete with respect to this semantics
-
64Logic of secrets in collaboration networksAnnals of Pure and Applied Logic 162 (12): 959-969. 2011.The article proposes Logic of Secrets in Collaboration Networks, a formal logical system for reasoning about a set of secrets established over a fixed configuration of communication channels. The system’s key feature, a multi-channel relation called independence, is a generalization of a two-channel relation known in the literature as nondeducibility. The main result is the completeness of the proposed system with respect to a semantics of secrets
-
University of SouthamptonRegular Faculty
Areas of Specialization
Doxastic and Epistemic Logic |