Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 233,434,874 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.
Highly Cited
2009
Highly Cited
2009
Route Choice Analysis: Data, Models, Algorithms and Applications
Emma Frejinger
2009
Corpus ID: 60804547
Reference EPFL-TALK-152428 URL: http://transp-or2.epfl.ch/talks/IATBR09_EMMA.pdf Record created on 2010-09-30, modified on 2017…
Expand
Review
2006
Review
2006
The expression of modality
W. Frawley
,
Erin Eschenroeder
,
Sarah Mills
,
T. Nguyen
2006
Corpus ID: 60360651
This book covers the essentials of modality and offers both foundational ideas and cutting edge advances. The book consists of…
Expand
Highly Cited
2005
Highly Cited
2005
Demonstration of a visible laser on silicon using Eu-doped GaN thin films
J. Park
,
A. Steckl
2005
Corpus ID: 120223855
We report the demonstration of visible laser action on silicon. We have utilized Eu-doped GaN for the active medium within a…
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
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
Highly Cited
1994
Highly Cited
1994
Feedback Control Systems
P. Saulson
1994
Corpus ID: 62711884
The matrix exponential; the variation of constants formula. Computation of the matrix exponential via eigenvalues and…
Expand
Highly Cited
1991
Highly Cited
1991
Science and Necessity: Bibliography
J. Bigelow
,
R. Pargetter
1991
Corpus ID: 170953735
Preface 1. Realism and truth 2. Quantities 3. Modal language and reality 4. Modal ontology 5. Laws of nature 6. Causation 7…
Expand
Review
1989
Review
1989
Contemporary Squamish River sediment flux to Howe Sound, British Columbia
E. J. Hickin
1989
Corpus ID: 129421080
Squamish River drains 3600 km2 in the southern Coast Mountains of British Columbia to Howe Sound at Squamish, some 50 km north of…
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
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)
ACCEPT & CONTINUE