Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 236,794,695 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.
2009
2009
Biometric ID Management and Multimodal Communication, Joint COST 2101 and 2102 International Conference, BioID_MultiComm 2009, Madrid, Spain, September 16-18, 2009. Proceedings
Julian Fierrez
,
J. Ortega-Garcia
,
A. Esposito
,
A. Drygajlo
,
M. Faúndez-Zanuy
COST /2102 Conference
2009
Corpus ID: 28963555
This book constitutes the research papers presented at the Joint 2101 & 2102 International Conference on Biometric ID Management…
Expand
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
Yanxi Liu
,
Tianzi Jiang
,
Changshui Zhang
Computer Vision for Biomedical Image Applications
2005
Corpus ID: 12216067
Highly Cited
2004
Highly Cited
2004
Confounded Expectations: Informedia at TRECVID 2004
Alexander Hauptmann
,
Yan 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
2001
Highly Cited
2001
A Parallel Multiblock Mesh Movement Scheme For Complex Aeroelastic Applications
M. Potsdam
,
G. Guruswamy
2001
Corpus ID: 55028008
A scheme has been developed for the movement of multiblock, structured grids due to surface deformation arising from aeroelastics…
Expand
Highly Cited
1999
Highly Cited
1999
Controlled arrangement of self-organized Ge islands on patterned Si (001) substrates
G. Jin
,
Jianlin Liu
,
S. Thomas
,
Y. 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
1999
1999
Detailed study of AlAs-oxidized apertures in VCSEL cavities for optimized modal performance
B. Demeulenaere
,
P. Bienstman
,
B. Dhoedt
,
R. Baets
1999
Corpus ID: 56411957
We present a numerical optical model for calculating threshold material gain in vertical-cavity surface-emitting lasers. It is…
Expand
Highly Cited
1989
Highly Cited
1989
Compositional variation of plutonism in the coastal Maine magmatic province; mode of origin and tectonic setting
J. Hogan
,
A. Sinha
1989
Corpus ID: 67825758
Proterozoic(?) to Devonian metasedimentary and metavolcanic rocks of the northeast-trending, fault-bounded lithotectonic terranes…
Expand
Highly Cited
1972
Highly Cited
1972
A general interpreted modal calculus
A. Bressan
1972
Corpus ID: 119034000