Vaughan Pratt  Home/Search
Context Related
| stanford.edu/pub/twod.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: stanford.edu/abstracts (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We define the notion of two-dimensional logic and diagram the relative locations of a number of such. This work was supported by the National Science Foundation under grant number CCR-8814921 and a grant from Mitsubishi. 1 Background The theme of this note is logics with more or less independent disjunction and conjunction. At JELIA'90 I described one such logic, action logic, a single-sorted finitely based equational conservative extension of the equational logic of regular expressions, with... (Update)
Context of citations to this paper: More
.... van Benthem [Ben91] BM97] Arrow logic is also the core of both dynamic logic and many susbstructural logics, cf. e.g. Pratt [Pra94], Marx [Mar95] Mikulas [Mik96] Marx Venema [MV96] The logical counterpart of PEA 3 is L , obtained from L 3 by adding simultaneous...
Cited by: More
Non-Representable Algebras of Relations - Simon (1997) (Correct)
Active bibliography (related documents): More All
0.5: Dynamic Logic - Harel, Kozen, Tiuryn (1984) (Correct)
0.5: Dynamic Algebras as a well-behaved fragment of Relation Algebras - Pratt (1990) (Correct)
0.4: Action Logic and Pure Induction - Pratt (1991) (Correct)
Similar documents based on text: More All
0.1: 3D Computer AnimationWorkshop, Siggraph'98 Course #34 Notes - O'Rourke (1998) (Correct)
0.1: Efficient Discovery of Conserved Patterns Using a Pattern Graph - Jonassen (1996) (Correct)
0.1: Géométrie du Parallélisme - Goubault (1995) (Correct)
Related documents from co-citation: More All
2: Algebraic Logic (context) - Andreka, Nemeti et al.
2: Cylindric Algebras (context) - Leon, Donald et al. - 1971
BibTeX entry: (Update)
V.R. Pratt. A roadmap of some two-dimensional logics. In J. van Eyck and A. Visser, editors, Logic and Information Flow, pages 149--163. MIT Press, Cambridge, MA, 1994. http://citeseer.ist.psu.edu/pratt94roadmap.html More
@inproceedings{ pratt94roadmap,
author = "Pratt, V.R.",
title = "A Roadmap of Some Two-Dimensional Logics",
booktitle = "Logic and Information Flow (Amsterdam 1991)",
publisher = "MIT Press",
address = "Cambridge, MA",
editor = "Van Eijck, J. and Visser, A.",
pages = "149-162",
year = "1994",
url = "citeseer.ist.psu.edu/pratt94roadmap.html" }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Girard - 1987
97 Chapman and Hall (context) - Conway, Finite - 1971
84 A completeness theorem for Kleene algebras and the algebra o.. - Kozen - 1991
42 Distributive and modular laws in the arithmetic of relation .. (context) - Chin, Tarski - 1951
37 Action logic and pure induction - Pratt - 1990
35 Princeton University Press (context) - Anderson, Belnap et al. - 1975
33 Relation algebras with transitive closure (context) - Ng, Tarski - 1977
33 Relation Algebras with Transitive Closure (context) - Ng - 1984
28 A completeness theorem in the modal logic of programs (context) - Segerberg - 1977
25 Relevant logic and entailment (context) - Dunn - 1986
22 On Padoa's method in the theory of definition (context) - Beth - 1953
16 Representation problems for relation algebras (context) - J'onsson, Tarski - 1948
15 Vorlesungen uber die Algebra der Logik (context) - Schroder
14 resulting from an amplification of the conceptions of Boole'.. (context) - Peirce, for et al. - 1933
7 and on the logic of relations (context) - De Morgan, syllogism et al.
3 On action algebras - Kozen - 1992
Documents on the same site (http://boole.stanford.edu/abstracts.html): More
Origins of the Calculus of Binary Relations - Pratt (1992) (Correct)
Branching Bisimulation as a Tool in the Analysis of Weak.. - van Glabbeek (1995) (Correct)
Action Logic and Pure Induction - Pratt (1991) (Correct)
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