![]() ![]() ![]() Hybrid logic has served as a sort of bridge between (afaik) temporal, description, and modal logics (see this paper).Evgeny Zolin has put together a very nice web-navigator for different description logics.In addition to the classical Frame Correspondence, people have also explored extensions of modal logic that can still be simulated by 'basic' modal logic ( here is a survey). I'd prefer the limit to be lower, like all sites where you have an account, but this isn't a problem really. At the top of the list are all sites where you have a rep over 200, listed in decreasing order. The relationships between different modal logics are very thoroughly studied. Press Stack Exchange at the top toolbar, press the All Sites tab in the dialog that opened and you can now see a list of all stack exchange sites.I once started compiling a list of metaphors used in education by people who were inspired by Lakoff and Johnson but didnt get very far. It would be an interesting project for someone, though. modal logics are decidable fragments of first-order logic. So I think if we brought together a list of metaphor thus identified in the literature, wed have a rather embarrassing mixture of various agendas. These sorts of results are usually folklore, e.g. One of the first things people want to know about a logic is where it stands in relation to first-order logic.There is no "Complexity Zoo" for logic (I wish.) - instead most of these connections are either folklore or in hard-to-find conference papers. "Īs for the last part of your question, logics are usually classified by their expressivity and complexity. And along with ChrisoLosoph's point, I've gotten a lot of mileage from searching "logic and. ![]() I think the search term to use is "non-standard logics". There is also a helpful Wikipedia category that lists some more, but is still incomplete (for instance, it's missing hybrid logic and dynamic epistemic logic). Stack Exchange network consists of 182 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers. There is this webpage by Peter Suber, but it is 20 years out of date (and I personally find it lacking). ![]()
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |