Classical modal logic

In modal logic, a classical modal logic L is any modal logic containing (as axiom or theorem) the duality of the modal operators

$\Diamond A \equiv \lnot\Box\lnot A$

which is also closed under the rule

$A \equiv B \vdash \Box A\equiv\Box B.$

Alternatively one can give a dual definition of L by which L is classical iff it contains (as axiom or theorem)

$\Box A \equiv \lnot\Diamond\lnot A$

and is closed under the rule

$A \equiv B \vdash \Diamond A\equiv\Diamond B.$

The weakest classical system is sometimes referred to as E and is non-normal. Both algebraic and neighborhood semantics characterize familiar classical modal systems that are weaker than the weakest normal modal logic K.

Every regular modal logic is classical, and every normal modal logic is regular and hence classical.

References

Chellas, Brian. Modal Logic: An Introduction. Cambridge University Press, 1980.

Notes

External links

This logic-related article is a stub. You can help Wikipedia by expanding it.v · Categories: Modal logic Logic stubs Wikimedia Foundation. 2010. Игры ⚽ Нужен реферат? SCRIB Nazareno Look at other dictionaries: Modal logic — is a type of formal logic that extends classical propositional and predicate logic to include operators expressing modality. Modals words that express modalities qualify a statement. For example, the statement John is happy might be qualified by… …   Wikipedia modal logic — Formal systems incorporating modalities such as necessity, possibility, impossibility, contingency, strict implication, and certain other closely related concepts. The most straightforward way of constructing a modal logic is to add to some… …   Universalium modal logic — A logic studying the notions of necessity and possibility. Modal logic was of great importance historically, particularly in the light of various doctrines concerning the necessary properties of the deity, but was not a central topic of modern… …   Philosophy dictionary Epistemic modal logic — is a subfield of modal logic that is concerned with reasoning about knowledge. While epistemology has a long philosophical tradition dating back to Ancient Greece, epistemic logic is a much more recent development with applications in many fields …   Wikipedia Regular modal logic — In modal logic, a regular modal logic L is a modal logic closed underDiamond A equiv lnotBoxlnot Aand the rule(Aland B) o C vdash (Box AlandBox B) oBox C.Every regular modal logic is classical, and every normal modal logic is regular and hence… …   Wikipedia Dynamic logic (modal logic) — For the subject in digital electronics also known as clocked logic, see dynamic logic (digital electronics). Dynamic logic is an extension of modal logic originally intended for reasoning about computer programs and later applied to more general… …   Wikipedia Classical logic — identifies a class of formal logics that have been most intensively studied and most widely used. The class is sometimes called standard logic as well.[1][2] They are characterised by a number of properties:[3] Law of the excluded middle and… …   Wikipedia Logic in Islamic philosophy — Logic (Arabic: Mantiq ) played an important role in early Islamic philosophy. Islamic law placed importance on formulating standards of argument, which gave rise to a novel approach to logic in Kalam, as seen in the method of qiyas . This… …   Wikipedia Modal fictionalism — is a term used in philosophy, and more specifically in modal logic, to describe the position that holds that talk of possible worlds is actually false, though adopting such a discourse may be a useful fiction. A contrast to the position of modal… …   Wikipedia logic, history of — Introduction       the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic       There was a medieval tradition according to which the Greek philosopher …   Universalium 18+ © Academic, 2000-2024 Contact us: Technical Support, Advertising Dictionaries export, created on PHP, Joomla, Drupal, WordPress, MODx. Mark and share Search through all dictionaries Translate… Search Internet Share the article and excerpts Direct link … Do a right-click on the link above and select “Copy Link”