1. Calculating invariants as coreflexive bisimulations;Barbosa,2008
2. A dynamic logic for the formal verification of Java card programs;Beckert,2000
3. Representation, reasoning, and relational structures: a hybrid logic manifesto;Blackburn;Log. J. IGPL,2000
4. On the structure of hoops;Blok;Algebra Univers.,2000
5. Characterizing fuzzy modal semantics by fuzzy multimodal systems with crisp accessibility relations;Bou,2009