Research Explorer gebruikt third party
cookies
om statistieken over het gebruik van de site te genereren. Daarvoor hebben we jouw toestemming nodig.
Akkoord
Sluiten
MENU
Over deze site
In English
Home
Onderzoekers
Projecten
Organisaties
Publicaties
Contact
Research Explorer
Uw browser ondersteunt geen JavaScript of JavaScript is niet ingeschakeld. Zonder JavaScript kan sommige functionaliteit van deze webapplicatie uitgeschakeld zijn of foutmeldingen veroorzaken. Raadpleeg om JavaScript in te schakelen de handleiding van uw browser of contacteer uw systeembeheerder.
Project
Modality and provability from the perspective of non-deterministic semantics.
Informatie
Projectteam
Output en outcomes
Publicaties
Modular non-deterministic semantics for T, TB, S4, S5 and more
Pawel Pawlowski
Elio La Rosa
A1
Artikel in een tijdschrift
in
JOURNAL OF LOGIC AND COMPUTATION
2022