Javascript must be enabled for the correct page display
Skip to Content
Skip to Navigation
Rijksuniversiteit Groningen
founded in 1614 - top 100 university
Sluiten
Menu en zoeken
Contact
My University
Student Portal
Nederlands
English
Zoekpagina
<div class="rug-mask js--requires-cookie-consent-trigger"><div class="rug-warning--overlay rug-hidden rug-theme--content"><span class="rug-icon rug-icon--close rug-absolute rug-absolute--top-right rug-mt-xs rug-mr-xs rug-cursor--pointer js--requires-cookie-consent-close"/><div class="rug-notification--info rug-p js-id--alert"><span class="rug-icon rug-icon--warn rug-icon--xl rug-mr-s" aria-hidden="true"/><p>Voor het tonen van deze inhoud is uw toestemming nodig voor het plaatsen van bepaalde cookies.</p><p>U kunt uw <button class="rug-inline-button js--cookie-consent-popup">cookie instellingen aanpassen</button>.</p></div></div></div>
{ "requiresCookieConsentCheck": "true", "checkedCookieConsent": "no", "hasCookieConsent": "no" }
Zoeken
Zoeken
Zoeken
Home
Onderwijs
Onderwijs
Aanmelden, inschrijven en collegegeld
Bachelor
Master
Exchange
Promotietrajecten
Summer / Winter schools
Kennis en leren
Contact
Onderzoek
Onderzoek
Onderzoeksthema's
Onderzoekscentra en -instituten
Promotietrajecten
Vind onderzoek en wetenschappers
Podcasts
Onderzoeksvideo's
Open Science
Research Support Portal
Bibliotheek
Maatschappij/bedrijven
Maatschappij/bedrijven
Kennis en leren
Samenwerken met de RUG
Jong talent
Schools voor Wetenschap & Samenleving
Alumni
Alumni
Terugblik Alumnidag 2024
Voor alumni
Over alumni
Magazines en nieuwsbrieven
Steun onderzoek en onderwijs
Wijziging doorgeven
Contact
Nieuws
Magazine
Nieuwsoverzicht
Actueel
Over ons
Over ons
Actueel
Profiel
Beleid en strategie
Organisatie
Werken bij de RUG
Contact en praktische zaken
Zoeken
Over ons
Praktische zaken
Waar vindt u ons
F.C. (Valentina) Trucco Dalmas
HOME
Onderwijs
Onderzoek
Maatschappij/bedrijven
Alumni
Nieuws
Over ons
F.C. (Valentina) Trucco Dalmas
Profiel
Onderzoek
Contact
My University
Student Portal
Nederlands
English
F.C. (Valentina) Trucco Dalmas
Promovendus
Faculteit Science and Engineering
Telefoon:
050 36 33939
E-mail:
f.c.trucco.dalmas rug.nl
Homepage
ORCID
Research Portal
Publicaties
Publicaties
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-mrt.-2025
, (Submitted)
arXiv
,
97 blz.
Onderzoeksoutput
:
Voordruk
›
Alle (1) publicaties
Bekijk volledig onderzoeksprofiel
Volg de RUG
facebook
linkedin
rss
instagram
youtube
Functioneel
Biedt de basisfuncties en maakt gebruik van geanonimiseerde cookies.
Standaard
Biedt de optimale werking en maakt gebruik van onder andere videocookies.
Volledig
Biedt gepersonaliserde content en maakt gebruik van marketingcookies.
Stel je cookievoorkeur in. Lees onze
privacy
en
cookie disclaimer
voor meer informatie.
