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
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
Passive integrated optics elements based on long-range surface plasmon polaritons
Waveguides and passive integrated optics elements constructed from thin metal films of finite width embedded in a homogeneous… 
Highly Cited
2004
Highly Cited
2004
Designing digital IIR filters using ant colony optimisation algorithm
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
2000
Highly Cited
2000
Constructing Bayesian Networks for Medical Diagnosis from Incomplete and Partially Correct Statistics
The paper discusses several knowledge engineering techniques for the construction of Bayesian networks for medical diagnostics… 
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
1992
Highly Cited
1992
Model-based image interpretation using genetic algorithms
Highly Cited
1990
Highly Cited
1990
Modeling and simulation of interconnection delays and crosstalks in high-speed integrated circuits
A computer model for n parallel microstrip lines is developed for circuit simulation. This model for the lossy transmission line… 
Highly Cited
1982
Highly Cited
1982
The general multimodal network equilibrium problem with elastic demand
In this article, we consider the general multimodal traffic equilibrium model with elastic demands. The link travel costs may… 
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)