J. van Benthem. Reflections on epistemic logic. Logique & Analyse, v. 133-134, pp. 5--14, 1991. 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)
....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 are much better ( Sigma 2 in the polynomial hierarchy) than the ones for S4 or Int (PSPACE) 7. LP uses the combinatory logic language for explicit ....
J. van Benthem, Reflections on epistemic logic, Logique & Analyse, vol. 133134 (1991), pp. 5--14.
Explicit Provability: The Intended Semantics for Intuitionistic.. - Artemov (1998) (Correct)
....a natural framework for LP. Intuitionistic Type Theory by Martin Lof [46] 47] also makes use of the format t : F with its informal provability reading. LP may also be regarded as a basic epistemic logic with explicit justifications; a problem of finding such systems was raised by van Benthem in [9]. The studies of the logic GL of implicit provability Provable(x) 67] 65] 12] 13] 14] 31] has given vast experience in arithmetical self referential semantics for modal logics. The 39 completeness theorem for LP (Theorem 7.1) could not probably have been obtained without the knowledge ....
J. van Benthem. "Reflections on epistemic logic", Logique & Analyse, 133-134, pp. 5-14, 1991
Logic of Proofs: a Unified Semantics for Modality and lambda-Terms - Artemov (1998) (Correct)
....terms in LP. Among the related works there is [15] where Gabbay s Labelled Deductive Systems may serve as a natural framework for LP. The Logic of Proofs may also be regarded as a basic epistemic logic with explicit justifications; a problem of finding such systems was raised by van Benthem in [7]. Intuitionistic Type Theory by Martin Lof [31] 32] also makes use of the format t : F with its informal provability reading. 1 Logic of Proofs 1.1 Definition. The language of Logic of Proofs (LP) contains the usual language of classical propositional logic proof variables x 0 ; x n ; ....
J. van Benthem. "Reflections on epistemic logic", Logique & Analyse, 133-134, pp. 5-14, 1991
On Epistemic Logic with Justification - Sergei Artemov Elena (Correct)
No context found.
J. van Benthem. Reflections on epistemic logic. Logique & Analyse, v. 133-134, pp. 5--14, 1991.
Communication Modelling and Context Dependent Interpretation.. - We Present An (Correct)
No context found.
van Benthem, J. (1991): `Reflections on Epistemic Logic.' In: Logique et Analyse, 133-134.
Explicit Provability And Constructive Semantics - Artemov (2001) (1 citation) (Correct)
No context found.
J. van Benthem, Reflections on epistemic logic, Logique & Analyse, vol. 133--134 (1991), pp. 5--14.
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