1 - 7 of 7 articles
Logic of proofs LP was introduced by S. Artemov in (Artemov, 1999; Artemov, 2001). It describes properties of the proof predicate “t is a proof of F” formalized by the formula ⟦t⟧ F. Proofs are represented by terms constructed by three elementary recursive operations on proofs. In this paper we...
The paper presents a survey of author's results on definable fixed points in modal, temporal, and intuitionistic propositional logics. The well-known Fixed Point Theorem considers the modalized case, but here we investigate the positive case. We give a classification of fixed point theorems,...
This paper is concerned with the logical structure of intuitionistic equality theories. We prove that De Jongh theorem holds for the theory of decidable equality, but uniform De Jongh theorem fails even for the theory of weakly decidable equality. We also show that the theory of weakly decidable...
The main result of the present paper is that the variable-free fragment of logic K*, the logic with a single K-style modality and its “reflexive and transitive closure,” is EXPTIMEcomplete. It is then shown that this immediately gives EXPTIME-completeness of variable-free fragments of a number...
In this paper1 we study admissible consecutions (inference rules) in multi-modal logics with the universal modality. We consider extensions of multi-modal logic S4n augmented with the universal modality. Admissible consecutions form the largest class of rules, under which a logic (as a set of...
In this paper we study modal logics of closed domains on the real plane ordered by the chronological future relation. For the modal logic determined by an arbitrary closed convex domain with a smooth bound, we present a finite axiom system and prove the finite modal property.
Read and print from thousands of top scholarly journals.
Continue with Facebook
Log in with Microsoft
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Sign Up Log In
To subscribe to email alerts, please log in first, or sign up for a DeepDyve account if you don’t already have one.
To get new article updates from a journal on your personalized homepage, please log in first, or sign up for a DeepDyve account if you don’t already have one.