output
20102026
most citedWhen the optimal is not the best: parameter estimation in complex biological models

62 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2026

A Gödel Modal Logic Over Witnessed Models

Mauro Ferrari, Camillo Fiorentini, Paolo Giardini +1

We introduce GW, a Gödel modal logic based on Kripke models in which the value of each modal formula is witnessed by an accessible world. This witnessed semantics eliminates the li…