https://e-sygoing.link Latest links in the Modal Logic category en-us Sun, 24 May 2026 08:12:12 -0400 https://e-sygoing.link/link/5285793-modal-logic Originally the study of deductive behavior of the expressions `it is necessary that' and `it is possible that', now also includes logics for belief, tense, the deontic (moral) expressions. From the Stanford Encyclopedia, by James W. Garson. Wed, 22 Apr 2026 03:09:49 -0400 https://e-sygoing.link/go/5285793 https://e-sygoing.link/link/5285795-modal-logic Online book by J. Jay Zeman. Thu, 27 Nov 2025 14:44:07 -0500 https://e-sygoing.link/go/5285795 https://e-sygoing.link/link/5285792-modal-logic A discussion of modal logic by John McCarthy. Wed, 16 Jul 2025 07:00:01 -0400 https://e-sygoing.link/go/5285792 https://e-sygoing.link/link/5285797-modality-si-modal-logic-no Article by J. McCarthy on the use of modality in artificial intelligence. Fri, 13 Jun 2025 13:10:35 -0400 https://e-sygoing.link/go/5285797 https://e-sygoing.link/link/5285791-computational-tools-for-modal-logic Resources collected by Renate Schmidt. Tue, 25 Feb 2025 10:32:19 -0500 https://e-sygoing.link/go/5285791 https://e-sygoing.link/link/5285798-mallys-deontic-logic Discussion of Ernst Mally's logic of obligation; from the Stanford Encyclopedia by Gert-Jan Lokhorst. Tue, 03 Dec 2024 14:56:06 -0500 https://e-sygoing.link/go/5285798 https://e-sygoing.link/link/5285796-the-calculus-of-structures-modal-logics Several normal propositional modal logics are systematically presented in the calculus of structures and cut elimination is proved. By Alessio Guglielmi. Fri, 08 Nov 2024 08:56:10 -0500 https://e-sygoing.link/go/5285796 https://e-sygoing.link/link/5285800-modal-logic Wikipedia article. Mon, 17 Apr 2023 09:13:42 -0400 https://e-sygoing.link/go/5285800