Reasoning in Modal Logic for Uncertain Data

Elisabeth Gavignet (1) , Nadine Cullot (1) , Mireille Batton-Hubert , Eric Desjardin (2) , François Pinet (3)

1 LIB - Laboratoire d'Informatique de Bourgogne [Dijon]
2 CRESTIC - Centre de Recherche en Sciences et Technologies de l'Information et de la Communication - EA 3804
3 CEMAGREF - Centre national du machinisme agricole, du génie rural, des eaux et forêts

Mots clés: first‐order predicate calculus; modal logic; modal operators; reasoning principles; uncertain data

Domaines: Informatique [cs]; Logique en informatique [cs.LO]

Elisabeth Gavignet, Nadine Cullot, Mireille Batton-Hubert, Eric Desjardin, François Pinet. Reasoning in Modal Logic for Uncertain Data. Geographic Data Imperfection 1: From Theory to Applications, 1, Wiley, 2019, ⟨10.1002/9781119507284.ch8⟩. ⟨hal-02413534⟩