Skip to search formSkip to main contentSkip to account menu

Multimodal logic

A multimodal logic is a modal logic that has more than one primitive modal operator. They find substantial applications in theoretical computer… 
Wikipedia (opens in a new tab)

Related topics

Related topics

13 relations
Accessibility relationDynamic logic (modal logic)Epistemic modal logicHennessy–Milner logic

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Existential second-order logic and modal logic with quantified accessibility relations
2013
2013
Representable Cylindric Algebras and Many-Dimensional Modal Logics
The equationally expressible properties of the cylindrifications and the diagonals in finite-dimensional representable cylindric… 
2013
2013
Compositional Reasoning for Multi-modal Logics
We provide decomposition and quotienting results for multi-modal logic with respect to a composition operator, traditionally used… 
2010
2010
Monadic Σ 11 and Modal Logic with Quantified Binary Relations
We investigate the expressive power of a range of modal logics extended with second-order prenex quantification of binary and… 
2009
2009
Intensional First-Order Logic for P2P Database Systems
The meaning of concepts and views defined over a database ontology can be considered as intensional objects which have a… 
2008
2008
Adaptive arbitration by variant counting on commutative bases with weights
In this paper a new logical arbitration protocol for fusion of inconsistent information is designed. It defines a selection of… 
2007
2007
On Definability in Multimodal Logic I. Basic Notions
Three notions of definability in multimodal logic are considered. Two are analogous to the notions of explicit definability and… 
2007
2007
Un estudio experimental sobre el uso de test no paramétricos para analizar el comportamiento de los algoritmos evolutivos en problemas de optimización
En los últimos años existe un creciente interés por el análisis de experimentos en el ámbito de los algoritmos evolutivos y las… 
2000
2000
Ultrafilter unions: an exercise in modal definability
We introduce the notion of the ultrafilter union of a family of pointed modal models over an ultrafilter of the index set and we… 
2000
2000
CardKt: Automated Multi-modal Deduction on Java Cards for Multi-application Security
We describe an implementation of a Java program to perform automated deduction in propositional multi-modal logics on a Java… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)