https://cordis.europa.eu/project/id/101116774
Inquisitive Modal Logic | InqML | Project | Fact Sheet | HORIZON | CORDIS | European Commission
"Modal logic is at the heart of an incredibly fruitful interdisciplinary enterprise: it is used to formalize reasoning about key notions like knowledge and...
project fact sheetmodal logicinquisitive