Found: 4
Select item for more details and to access through your institution.
PDL for structured data: a graph-calculus approach.
- Published in:
- Logic Journal of the IGPL, 2014, v. 22, n. 5, p. 737, doi. 10.1093/jigpal/jzu011
- By:
- Publication type:
- Article
Using modal logics to express and check global graph properties.
- Published in:
- Logic Journal of the IGPL, 2009, v. 17, n. 5, p. 509, doi. 10.1093/jigpal/jzp021
- By:
- Publication type:
- Article
Propositional dynamic logics for communicating concurrent programs with CCS's parallel operator.
- Published in:
- Journal of Logic & Computation, 2014, v. 24, n. 4, p. 919, doi. 10.1093/logcom/exu001
- By:
- Publication type:
- Article
Squares in Fork Arrow Logic.
- Published in:
- Journal of Philosophical Logic, 2003, v. 32, n. 4, p. 343, doi. 10.1023/A:1024847106313
- By:
- Publication type:
- Article