Bisimulations and Boolean Vectors
| Abstract | A modal accessibility relation is just a transition relation, and so can be represented by a {0, 1} valued transition matrix. Starting from this observation, I first show that the machinery of matrices, over Boolean algebras more general than the two-valued one, is appropriate for investigating multi-modal semantics. Then I show that bisimulations have a rather elegant theory, when expressed in terms of transformations on Boolean vector spaces. The resulting theory is a curious hybrid, fitting between conventional modal semantics and conventional linear algebra. I don’t know where the investigations begun here will ultimately wind up, but in the meantime the approach has a kind of curious charm that others may find appealing. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,701 |
| External links |
  Try with proxy. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesLuiz Monteiro, Sonia Savini & Julio Sewald (1991). Construction of Monadic Three-Valued Łukasiewicz Algebras. Studia Logica 50 (3-4):473 - 483.
Melvin Fitting (1988). Pseudo-Boolean Valued Prolog. Studia Logica 47 (2):85 - 91.
David Miller (2009). A Refined Geometry of Logic. Principia 13 (3):339-356.
Sławomir Bugajski (1983). Semantics in Banach Spaces. Studia Logica 42 (1):81 - 88.
Robert Bonnet & Matatyahu Rubin (1991). Elementary Embedding Between Countable Boolean Algebras. Journal of Symbolic Logic 56 (4):1212-1229.
Janusz Czelakowski (1979). Partial Boolean Algebras in a Broader Sense. Studia Logica 38 (1):1 - 16.
I. L. Humberstone (1990). Expressive Power and Semantic Completeness: Boolean Connectives in Modal Logic. Studia Logica 49 (2):197 - 214.
Carl G. Jockusch Jr & Robert I. Soare (1994). Boolean Algebras, Stone Spaces, and the Iterated Turing Jump. Journal of Symbolic Logic 59 (4):1121 - 1138.
Carl G. Jockusch Jr & Robert I. Soare (1994). Boolean Algebras, Stone Spaces, and the Iterated Turing Jump. Journal of Symbolic Logic 59 (4):1121 - 1138.
Stéphane Demri & Dov Gabbay (2000). On Modal Logics Characterized by Models with Relative Accessibility Relations: Part I. Studia Logica 65 (3):323-353.
J. L. Bell (1997). Zorn's Lemma and Complete Boolean Algebras in Intuitionistic Type Theories. Journal of Symbolic Logic 62 (4):1265-1279.
Lars Hansen (2005). On an Algebra of Lattice-Valued Logic. Journal of Symbolic Logic 70 (1):282 - 318.
Sakaé Fuchino (1994). Some Remarks on Openly Generated Boolean Algebras. Journal of Symbolic Logic 59 (1):302-310.
Analytics
Monthly downloads |
Added to index2010-12-22Total downloads2 ( #232,575 of 549,113 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
