Goldblatt, R. Logics of Time and Computation, volume 7 of Lecture Notes. CSLI Publications, second edition, 1992. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Bisimulation and Propositional Intuitionistic Logic - Patterson (Correct)
....of our correspondence (Theorem 6) can be obtained as a corollary of the corresponding results for modal logic, the backwards direction (Theorem 8) strengthens the traditional modal results. Goldblatt has also studied validity preserving constructions for modal logics and a survey is found in [8]. We considered the same problem for intuitionistic logic. This is non trivial, as the translations from intuitionistic logic into modal logics [6] are not onto. There is further difficulty because it has been shown that bisimulation is characterized by 3 and negation and conjunction. However ....
Robert Goldblatt. Mathematics of modality, volume 43 of Lecture Notes. CSLI, 1993.
First-Order Classical Modal Logic: Applications in logics.. - Arlo-Costa, Pacuit (Correct)
No context found.
Goldblatt, R. Logics of Time and Computation, volume 7 of Lecture Notes. CSLI Publications, second edition, 1992.
Monotonic Modal Logics - Hansen (2003) (Correct)
No context found.
R. Goldblatt. Logics of Time and Computation, volume 7 of Lecture Notes. CSLI Publications, second edition, 1992.
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