Searching for "Bisimulations and Predicate Logic." – sorted by Relevance.
4 documents found, showing 1 through 4.
-
Bisimulations and Predicate Logic
- …Bisimulations and predicate logic Tim Fernando fernando@(email omitted); Abstract…
- Cited by 5 (1 self) – Add To MetaCart
-
Modal Languages And Bounded Fragments Of Predicate Logic
- … around the 'heuristic equation' Modal Logic : Bisimulation = Predicate Logic : Partial Isomorphism. 14…
- Cited by 167 (8 self) – Add To MetaCart
-
Back and Forth Between Modal Logic and Classical Logic
- …: Bisimulation = Predicate Logic: Partial Isomorphism. Another approach is to scrutinize the above arguments…
- Cited by 26 (2 self) – Add To MetaCart
-
A Type Reduction From Proof-Conditional to Dynamic Semantics
- … of bisimulations and predicate logic reported in Fernando [6]. 11 (b1) whenever f jj'jj M f 0 , there is a g 0…
- Cited by 3 (0 self) – Add To MetaCart
Showing 1 through 4.
