nForum - Search Results Feed (Tag: tools)2024-03-28T23:43:02+00:00https://nforum.ncatlab.org/
Lussumo Vanilla & Feed Publisher
Is there a need for ontology (and related tools) of modal logics and what requirements there can behttps://nforum.ncatlab.org/discussion/5191/2013-08-26T21:14:00+00:002013-08-27T07:47:51+00:00tomrhttps://nforum.ncatlab.org/account/909/
I am desperately seeking for some open problems in modal logics on which to try my skills (or to acquire them), but there are only dubious (because this book is 10 years old) open questions ...
I am desperately seeking for some open problems in modal logics on which to try my skills (or to acquire them), but there are only dubious (because this book is 10 years old) open questions published, like, e.g. in books A. Kurucz, F. Wolter, M. Zakharyaschev-Many-dimensional modal logics. Theory and applications-North Holland (2003). Open questions published there are clear and with relevant references but one may wonder whether they are still open after 10 years of progress.
So - one idea is to make ontology of modal logics. One kind of example is http://www.cs.man.ac.uk/~ezolin/ml/ - but it is mostly about complexity of some properties (there are many more of them for modal logics) and there is no list of notable fragments for selected logic as well.
I could see two applications of such ontology (with relevant tooling): 1) one could quickly see where the work is required; 2) one could select the most appropriate modal logic (or combination of them) for application.
The risk of failure for such project could be the fact, that many logics could be not quite uniform.
But anyway - what are thoughts of professional mathematicians about such endeavour and what could be requirements both - for ontology itself and tooling.
]]>