Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,342,352 papers from all fields of science
Search
Sign In
Create Free Account
Modal logic
Known as:
⟠
, Alethic logic
, Contingent truth
Expand
Modal logic is a type of formal logic primarily developed in the 1960s that extends classical propositional and predicate logic to include operators…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
Abductive reasoning
Accessibility relation
Accident (philosophy)
Actualism
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2008
2008
UMTS on the Road: Broadcasting Intelligent Road Safety Information via MBMS
D. Valerio
,
F. Ricciato
,
P. Belanovic
,
T. Zemen
IEEE Vehicular Technology Conference
2008
Corpus ID: 14931579
In this work we explore the feasibility of implementing infrastructure-to-vehicle (I2V) communication through the UMTS…
Expand
Review
2007
Review
2007
Contemporary Mathematics Theory and Computations of Some Inverse Eigenvalue Problems for the Quadratic Pencil
B. Datta
,
D. Sarkissian
2007
Corpus ID: 15082796
The paper reviews, both from theoretical and computational view points, current developments on the partial modal approach for…
Expand
Highly Cited
2005
Highly Cited
2005
Computer Vision for Biomedical Image Applications, First International Workshop, CVBIA 2005, Beijing, China, October 21, 2005, Proceedings
Yan-Xi Liu
,
Tianzi Jiang
,
Chang-Shui Zhang
Computer Vision for Biomedical Image Applications
2005
Corpus ID: 12216067
2005
2005
Inverting the Operator / Vehicle Ratio : Approaches to Next Generation UAV Command and Control
J. Franke
,
V. Zaychik
,
Thomas Spura
,
Erin E. Alves
2005
Corpus ID: 18057913
A key obstacle in the growth of unmanned vehicle operations is the number of operators required to supervise and control an…
Expand
Highly Cited
2004
Highly Cited
2004
Confounded Expectations: Informedia at TRECVID 2004
Alexander Hauptmann
,
Ming-yu Chen
,
+9 authors
H. Wactlar
TREC Video Retrieval Evaluation
2004
Corpus ID: 8006586
For TRECVID 2004, CMU participated in the semantic feature extraction task, and the manual, interactive and automatic search…
Expand
Highly Cited
1999
Highly Cited
1999
Controlled arrangement of self-organized Ge islands on patterned Si (001) substrates
G. Jin
,
Jian-Lin Liu
,
S. Thomas
,
Y.-H. Luo
,
Kang L. Wang
,
B. Nguyen
1999
Corpus ID: 25059119
We report the ability to arrange self-organized Ge islands on patterned Si (001) substrates. Selective epitaxial growth of Si is…
Expand
1996
1996
Active Control of an Axial Flow Compressor via Pulsed Air Injection
R. D'Andrea
,
R. L. Behnken
,
R. Murray
1996
Corpus ID: 14072269
This paper presents the use of pulsed air injection to control the onset of rotating stall in a low-speed, axial flow…
Expand
1994
1994
Modal Parameter Estimation: A Unified Matrix Polynomial Approach
R. Allemang
,
David L. Brown
,
W. Fladung
1994
Corpus ID: 18966181
As many different modal parameter estimation algorithms have evolved over the past twenty years, the ability to view all…
Expand
1977
1977
Modal dispersion in optical fibers with arbitrary numerical aperture and profile dispersion
E. Marcatili
Bell Labs technical journal
1977
Corpus ID: 23146974
Design criteria to minimize modal dispersion have been found for a broad class of practical, multimode, circular-symmetric…
Expand
Highly Cited
1972
Highly Cited
1972
A general interpreted modal calculus
A. Bressan
1972
Corpus ID: 119034000