V. Brezhnev. On explicit counterparts of modal logics. Technical Report CFIS 2000-05, Cornell University, 2000. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Explicit Provability and Constructive Semantics - Artemov (2000) (1 citation) (Correct)
....missing in LP and S4 either. 4. Proof polynomials reveal the explicit content of modality and provide a fresh look at modal logic and its applications in general. S4 is nothing but a lazy higher level language on top of LP. Explicit counterparts of modal logics K, K4, and S5 were found in [12] [28]. 5. LP may be regarded as a basic epistemic logic with explicit justifications; a problem of finding such systems was raised by van Benthem in [99] 6. The complexity of the Logic of Proofs has been studied in [62] where it was shown that the known upper bounds on the decision procedure for LP ....
V. Brezhnev, On explicit counterparts of modal logics, Technical Report CFIS 2000-05, Cornell University, 2000.
On Epistemic Logic with Justification - Sergei Artemov Elena (Correct)
No context found.
V. Brezhnev. On explicit counterparts of modal logics. Technical Report CFIS 2000-05, Cornell University, 2000.
Explicit Provability And Constructive Semantics - Artemov (2001) (1 citation) (Correct)
No context found.
V. Brezhnev, On explicit counterparts of modal logics, Technical Report CFIS
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC