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
2010
Highly Cited
2010
Optical gain characteristics of staggered InGaN quantum wells lasers
Staggered InGaN quantum wells (QWs) are analyzed as improved gain media for laser diodes (LDs) lasing at 440 and 500 nm. The… 
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
1986
Highly Cited
1986
Bayesian estimation of item response curves
Item response curves for a set of binary responses are studied from a Bayesian viewpoint of estimating the item parameters. For… 
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)