Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,823,742 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
Highly Cited
2009
Highly Cited
2009
UNI-MODAL AND MULTI-MODAL OPTIMIZATION USING MODIFIED HARMONY SEARCH METHODS
X. Gao
,
Xiaolei Wang
,
S. Ovaska
2009
Corpus ID: 3888836
The Harmony Search (HS) method is an emerging meta-heuristic optimization algorithm. In this paper, we propose two modified HS…
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
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
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