Modal algebra

In algebra and logic, a modal algebra is a structure $\langle A,\land,\lor,-,0,1,\Box\rangle$ such that

• $\langle A,\land,\lor,-,0,1\rangle$ is a Boolean algebra,
• $\Box$ is a unary operation on A satisfying $\Box1=1$ and $\Box(x\land y)=\Box x\land\Box y$ for all x, y in A.

Modal algebras provide models of propositional modal logics in the same way as Boolean algebras are models of classical logic. In particular, the variety of all modal algebras is the equivalent algebraic semantics of the modal logic K in the sense of abstract algebraic logic, and the lattice of its subvarieties is dually isomorphic to the lattice of normal modal logics.

Stone's representation theorem can be generalized to the Jónsson–Tarski duality, which ensures that each modal algebra can be represented as the algebra of admissible sets in a modal general frame.

See also

• interior algebra
• Heyting algebra

References

A. Chagrov and M. Zakharyaschev, Modal Logic, Oxford Logic Guides vol. 35, Oxford University Press, 1997. ISBN 0-19-853779-4

This algebra-related article is a stub. You can help Wikipedia by expanding it.v · Categories: Algebra stubs Modal logic Boolean algebra Wikimedia Foundation. 2010. Игры ⚽ Поможем сделать НИР Otto Luyken Plano Hotel 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 analysis using FEM — The goal of modal analysis in structural mechanics is to determine the natural mode shapes and frequencies of an object or structure during free vibration. It is common to use the finite element method (FEM) to perform this analysis because, like …   Wikipedia Modal μ-calculus — In theoretical computer science, the modal μ calculus (also μ calculus, but this can have a more general meaning) is an extension of propositional modal logic (with many modalities) by adding a least fixpoint operator μ and a greatest fixpoint… …   Wikipedia Modal operator — In modal logic, a modal operator is an operator which forms propositions from propositions. In general, a modal operator has the formal property of being non truth functional, and is intuitively characterised by expressing a modal attitude (such… …   Wikipedia Modal matrix (linear algebra) — In linear algebra, the modal matrix is used in the diagonalization process involving eigenvalues and eigenvectors.Assume a linear system of the following form:: {d over dt} X = A^* X + B^* Uwhere X is n times;1, A is n times; n , and B is n… …   Wikipedia Álgebra de las palabras — El álgebra de las palabras estudia la formalización gramatical de las construcciones de palabras sobre un alfabeto para un lenguaje, desde una perspectiva matemática que nos permita, de un modo firme, afirmar o rechazar diversos resultados… …   Wikipedia Español Modal matrix — In linear algebra, the modal matrix is used in the diagonalization process involving eigenvalues and eigenvectors. Assume a linear system of the following form: where X is n×1, A is n×n, and B is n×1. X typically represents the state vector, and… …   Wikipedia Interior algebra — In abstract algebra, an interior algebra is a certain type of algebraic structure that encodes the idea of the topological interior of a set. Interior algebras are to topology and the modal logic S4 what Boolean algebras are to set theory and… …   Wikipedia Analisis modal utilizando FEM — Saltar a navegación, búsqueda El objetivo del Analisis modal en la mecánica estructural es determinar las formas modales naturales y frecuencias de un objeto o estructura durante vibración libre. Es común usar el Método de los elementos finitos… …   Wikipedia Español Monadic Boolean algebra — In abstract algebra, a monadic Boolean algebra is an algebraic structure with signature 〈A, ·, +, , 0, 1, ∃〉 of type 〈2,2,1,0,0,1〉, where 〈A, ·, +, , 0, 1〉 is a Boolean algebra. The prefixed unary operator ∃ denotes the existential quantifier,… …   Wikipedia 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”