Nested sequents for the logic of conditional belief
From MaRDI portal
Publication:2296755
DOI10.1007/978-3-030-19570-0_46MaRDI QIDQ2296755
Björn Lellmann, Nicola Olivetti, Marianna Girlando
Publication date: 18 February 2020
Full work available at URL: https://doi.org/10.1007/978-3-030-19570-0_46
68T27: Logic in artificial intelligence