Jump to Navigation
MEALS
Mobility between Europe and Argentina applying Logics to Systems
User menu
Login
You are here
Home
›
Publications
Filters:
Author
is
S. Pinchinat
[Clear All Filters]
2014
L. Bozzelli
,
H. van Ditmarsch
, and
S. Pinchinat
, “
The Complexity of One-Agent Refinement Modal Logic
”,
Theoretical Computer Science
, 2014.
Google Scholar
BibTex
L. Bozzelli
,
H. van Ditmarsch
,
T. French
,
J. Hales
, and
S. Pinchinat
, “
Refinement Modal Logic
”,
Information and Computation
, 2014.
Google Scholar
BibTex
Main menu
Home
Work Packages
Partners & People
Announcements
Publications
Deliverables
Contents
Home
Work Packages
Partners & People
Announcements
Publications
Authors
WP1
WP2
WP3
WP4
WP5
Deliverables