Javascript must be enabled for the correct page display
Skip to Content
Skip to Navigation
University of Groningen
founded in 1614 - top 100 university
Close
Menu and search
Contact
My University
Student Portal
Nederlands
English
Search page
Search
Search
Search
Home
Education
Education
Application, registration and tuition fees
Bachelors
Masters
Exchange
PhD programmes
Summer / Winter schools
Knowledge and learning
Contact
Research
Research
Research themes
Research centres and institutes
PhD programmes
Find research and researchers
Podcasts
Research videos
Open Science
Research Support Portal
Library
Society/business
Society/business
Knowledge and learning
Collaborating with the UG
Young talent
Schools for Science & Society
Alumni
Alumni
Terugblik Alumnidag 2024
For alumni
About alumni
Magazines and newsletters
Support research and education
Update your information
Contact
News
Magazine
News overview
Latest news
About us
About us
Latest news
Profile
Policy and strategy
Organization
Working at the University of Groningen
Contact and practical matters
Search
About us
Practical matters
How to find us
F.C. (Valentina) Trucco Dalmas
HOME
Education
Research
Society/business
Alumni
News
About us
F.C. (Valentina) Trucco Dalmas
Profile
Research
Contact
My University
Student Portal
Nederlands
English
F.C. (Valentina) Trucco Dalmas
PhD Candidate
Faculty of Science and Engineering
Telephone:
+31 50 36 33939
E-mail:
f.c.trucco.dalmas rug.nl
Homepage
Research Portal
Publications
Publications
Propositional Dynamic Logic has Craig Interpolation: A tableau-based proof
Borzechowski, M., Gattinger, M.,
Hansen, H. H.
,
Ramanayake, R.
,
Dalmas, V. T.
& Venema, Y.,
17-Mar-2025
, (Submitted)
arXiv
,
97 p.
Research output
:
Working paper
›
Preprint
›
Academic
All (1) publications
View full research profile
Follow the UG
facebook
linkedin
rss
instagram
youtube
Functional
Provides basic functions and uses anonymized cookies.
Standard
Provides optimal operation and uses video cookies, among others.
Complete
Provides personalized content and uses marketing cookies.
Set your cookie preferences. Read our
privacy
and
cookie disclaimer
for more information.
