Gourt > Science > Math > Logic and Foundations > Nonstandard Logics and Extensions > Modal Logic (2)
A modal logic is any logic for handling modalities: concepts like possibility, impossibility, and necessity. Logics for handling a number of other ideas, such as eventually, formerly, can, could, might, may, must are by extension also called modal logics, since it turns out that these can be treated in similar ways.
A formal modal logic represents modalities using modal sentential operators. For example, "Jones's murder was a possibility"; "Jones was possibly murdered"; and "It is possible that Jones was murdered," all contain the notion of possibility; in a modal logic this is represented as an operator, Possibly, attaching to the sentence Jones was murdered.
The basic modal operators are usually (or L) for Necessarily and (or M) , for Possibly. They are defined in terms of one another this way:
More on [ Modal logic ]
Modal logic: developments & applications in IT research areas: http://wp.me/p4VIA-2i
dprice218 (David) Wed, 23 Dec 2009 19:03:31 -0000
Modal logic: developments & applications in IT research areas: http://wp.me/p4VIA-2i
A truth table method decision for modal logic: If we grant that there are 4 truth values: T = logical truth, t = http://bit.ly/8gwWK2
PhilosophyForum (PhilosophyForum.com) Wed, 23 Dec 2009 10:06:39 -0000
A truth table method decision for modal logic: If we grant that there are 4 truth values: T = logical truth, t = http://bit.ly/8gwWK2
Modal logic http://en.wikipedia.org/wiki/Modal_logic
geometry40 (Lewis Ford) Sun, 20 Dec 2009 00:28:32 -0000
Modal logic http://en.wikipedia.org/wiki/Modal_logic
Modal logic: developments & applications in IT research areas: http://wp.me/p4VIA-2b
dprice218 (David) Fri, 18 Dec 2009 20:47:03 -0000
Modal logic: developments & applications in IT research areas: http://wp.me/p4VIA-2b
Computational Tools for Modal Logic - Resources collected by Renate Schmidt.
Mally's Deontic Logic - Discussion of Ernst Mally's logic of obligation; from the Stanford Encyclopedia by Gert-Jan Lokhorst.
Modal epistemic logic - An extensive overview of the subject.
Meta Description: [ Modal epistemic logic ]
Modal Logic - A discussion of modal logic by John McCarthy.
Meta Description: [ Modal Logic ]
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.
Modal Logic - Online book by J. Jay Zeman.
Modal Logic - Wikipedia article.
Modal Logic - Open Encyclopedia article.
Meta Description: [ Science: Mathematics: Logic: Modal Logic - Open Site. ]
Modal Logics - A concise introduction to modal logics by Anthony A. Aaby.
Modality, Si! Modal Logic, No! - Article by J. McCarthy on the use of modality in artificial intelligence.
Meta Description: [ MODALITY, SI! MODAL LOGIC, NO! ]
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.
| Modality and Possible Worlds | |
| Next Video | |
