Paolo Giardini
Mauro Ferrari 0002
Camillo Fiorentini
Paolo Giardini
Ricardo Oscar Rodríguez
A Gödel Modal Logic Over Witnessed Models.
AiML
2026
355-373
journals/corr/abs-2606-29444
https://doi.org/10.4204/EPTCS.447.20
https://doi.org/10.48550/arXiv.2606.31906
June
db/series/eptcs/eptcs447.html#abs-2606-31906
streams/journals/corr
Mauro Ferrari 0002
Camillo Fiorentini
Paolo Giardini
Proof Search and Countermodel Construction for iCK4.
2025
CILC
https://ceur-ws.org/Vol-4003/paper09.pdf
conf/cilc/2025
db/conf/cilc/cilc2025.html#0002FG25
Mauro Ferrari 0002
Camillo Fiorentini
Ricardo Oscar Rodríguez