Skip to search formSkip to main contentSkip to account menu

Modal logic

Known as: ⟠, Alethic logic, Contingent truth 
Modal logic is a type of formal logic primarily developed in the 1960s that extends classical propositional and predicate logic to include operators… 
Wikipedia (opens in a new tab)

Related topics

Related topics

50 relations
Abductive reasoningAccessibility relationAccident (philosophy)Actualism

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2008
Highly Cited
2008
Non-modal growth of perturbations in density-driven convection in porous media
In the context of geologic sequestration of carbon dioxide in saline aquifers, much interest has been focused on the process of… 
Highly Cited
2006
Highly Cited
2006
Broadband quasi-Chebyshev bandpass filters with multimode stepped-impedance resonators (SIRs)
Planar broadband bandpass filters of order up to 9 are synthesized based on the multimode property of stepped-impedance… 
Highly Cited
2006
Highly Cited
2006
Modal system design of multi-robot systems by interaction mode control
Motion control technology in open environment will be more and more important. Motion systems should interact with other systems… 
Highly Cited
2005
Highly Cited
2005
A Thermal Hand Vein Pattern Verification System
Many biometrics, such as face, fingerprint and iris images, have been studied extensively for personal verification purposes in… 
Highly Cited
2004
Highly Cited
2004
Constructing Dynamic Optimization Test Problems Using the Multi-objective Optimization Concept
Dynamic optimization using evolutionary algorithms is receiving increasing interests. However, typical test functions for… 
Highly Cited
2002
Highly Cited
2002
A NOVEL APPROACH FOR THE ANALYSIS OF HIGH-FREQUENCY VIBRATIONS
Abstract Despite much effort in the past few decades, the numerical prediction of high-frequency vibrations remains a challenging… 
Highly Cited
2001
Highly Cited
2001
Room-temperature operation of InAs quantum-dash lasers on InP [001]
The first self-assembled InAs quantum dash lasers grown by molecular beam epitaxy on InP (001) substrates are reported. Pulsed… 
Highly Cited
1999
Highly Cited
1999
Controlled arrangement of self-organized Ge islands on patterned Si (001) substrates
We report the ability to arrange self-organized Ge islands on patterned Si (001) substrates. Selective epitaxial growth of Si is… 
Highly Cited
1994
Highly Cited
1994
Feedback Control Systems
The matrix exponential; the variation of constants formula. Computation of the matrix exponential via eigenvalues and… 
Highly Cited
1966
Highly Cited
1966
Shear wave velocities in metamorphic rocks at pressures to 10 kilobars
Shear wave velocities are reported at pressures to 10 kb for a variety of metamorphic rocks. The velocities were found to vary… 
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)