Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 236,794,577 papers from all fields of science
Search
Sign In
Create Free Account
Strict conditional
Known as:
Conditional
, Strict conditionals
, Strict implication
In logic, a strict conditional is a conditional governed by a modal operator, that is, a logical connective of modal logic. It is logically…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
5 relations
Counterfactual conditional
Logical connective
Modal logic
Modal operator
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2006
2006
Physicalism and strict implication
J. Schröder
Synthese
2006
Corpus ID: 43234202
The aim of this paper is to determine the plausibility of Robert Kirk’s strict implication thesis as an explication of…
Expand
2003
2003
UNITARY UNIFICATION OF S5 MODAL LOGIC AND ITS EXTENSIONS
Wojciech I Dzik
2003
Corpus ID: 18031176
It is shown that all extensions of S5 modal logic, both in the standard formalization and in the formalization with strict…
Expand
2000
2000
A Canonical Model Construction for Substructural Logics
H. Ishihara
Journal of universal computer science (Online)
2000
Corpus ID: 18697790
In this paper, we introduce a class of substructural logics, called normal substructural logics, which includes not only relevant…
Expand
1987
1987
Tableau-based theorem proving for a conditional logic
Chris Groeneboer
1987
Corpus ID: 124580881
This thesis presents a tableau-based approach to theorem-proving for a conditional logic. Conditional logics are those logics…
Expand
1979
1979
Circular demonstration and von Wright-Geach entailment
D. Walton
,
J. Woods
Notre Dame J. Formal Log.
1979
Corpus ID: 16559291
Students of the literature on entailment [7], [1] are familiar with the von Wright-Geach definition of entailment [6], [2]: p…
Expand
Review
1970
Review
1970
Review: Masao Ohnishi, Kazuo Matsumoto, A System for Strict Implication
I. Thomas
1970
Corpus ID: 118572250
Review
1955
Review
1955
Review: Takeo Sugihara, Strict Implication Free From Implicational Paradoxes
A. Anderson
1955
Corpus ID: 118782829
Review
1940
Review
1940
Parry William Tuthill. Modalities in the Survey system of strict implication. The journal of symbolic logic, vol. 4 (1939), pp. 137–154.
Paul Henle
Journal of Symbolic Logic (JSL)
1940
Corpus ID: 62427974
WLADYSIAW HETPER. Rachunek zdan bez aksjomatdw (Le calcul des propositions ktabli sans axiomes). Archiwum Towarzystwa Naukowego…
Expand
Review
1939
Review
1939
Modalities in the Survey system of strict implication
W. Parry
Journal of Symbolic Logic (JSL)
1939
Corpus ID: 41940109
Professor C. I. Lewis, in Lewis and Langford's Symbolic logic, designates the system (S2) determined by the postulates used in…
Expand
Review
1937
Review
1937
Review: C. I. Lewis, Emch's Calculus and Strict Implication
C. Baylis
1937
Corpus ID: 117361378