Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 218,433,305 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.
Review
2013
Review
2013
Constraints on primordial non-Gaussianity
P. Ade
,
N. Aghanim
,
+238 authors
A. Zonca
2013
Corpus ID: 7790189
The Planck nominal mission cosmic microwave background (CMB) maps yield unprecedented constraints on primordial non-Gaussianity…
Expand
Highly Cited
2005
Highly Cited
2005
Interpolation and Definability: Modal and Intuitionistic Logic
D. Gabbay
,
L. Maksimova
2005
Corpus ID: 203097694
1. Introduction and Discussion 2. Modal and Superintuitionistic Logics: Basic Concepts 3. Superintuitionistic Logics and Normal…
Expand
Highly Cited
2004
Highly Cited
2004
Variability of aerosol parameters over Kanpur, northern India
Ramesh P. Singh
,
S. Dey
,
S. Tripathi
,
V. Tare
,
B. Holben
2004
Corpus ID: 31912656
[1] Aerosol optical properties and the spectral behavior of the aerosol optical depth (AOD) over Kanpur, an urban-industrial city…
Expand
Highly Cited
2003
Highly Cited
2003
Portfolio Choice and Trading in a Large 401(k) Plan
Julie R. Agnew
,
Pierluigi Balduzzi
,
Annika E. Sundén
2003
Corpus ID: 16382222
We study nearly 7,000 retirement accounts during the April 1994-August 1998 period. Several interesting patterns emerge. Most…
Expand
Highly Cited
2002
Highly Cited
2002
Introduction to Structural Dynamics and Aeroelasticity: Contents
D. Hodges
2002
Corpus ID: 109662187
This book is in copyright. Subject to statutory exception and to the provisions of relevant collective licensing agreements, no…
Expand
Highly Cited
1998
Highly Cited
1998
Cooperative breeding in birds: a comparative test of the life history hypothesis
K. Arnold
,
I. P. Owens
Proceedings of the Royal Society of London…
1998
Corpus ID: 6030846
In approximately 3.2% of bird species individuals regularly forgo the opportunity to breed independently and instead breed…
Expand
Highly Cited
1995
Highly Cited
1995
Finding Multimodal Solutions Using Restricted Tournament Selection
G. Harik
International Conference on Genetic Algorithms
1995
Corpus ID: 17087998
This paper investigates a new technique for the solving of multimodal problems using genetic algorithms (GAs). The proposed…
Expand
Highly Cited
1986
Highly Cited
1986
Protoalgebraic logics
W. Blok
,
D. Pigozzi
Studia Logica: An International Journal for…
1986
Corpus ID: 36306675
There exist important deductive systems, such as the non-normal modal logics, that are not proper subjects of classical algebraic…
Expand
Highly Cited
1977
Highly Cited
1977
On Some Intuitionistic Modal Logics
H. Ono
1977
Corpus ID: 37783460
Some modal logics based on logics weaker than the classical logic have been studied by Fitch [4], Prior [7], Bull [1], [2], [3…
Expand
Highly Cited
1968
Highly Cited
1968
Prediction of the Viscosity of Multimodal Suspensions from Unimodal Viscosity Data
R. Farris
1968
Corpus ID: 121137261
A theoretical treatment of particle‐particle interaction is described from which the viscosity‐concentration behavior of…
Expand
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