W logice ścisły tryb warunkowy (symbol: lub ⥽) jest implikacją zarządzaną przez operator modalny, czyli spójnik logiki modalnej. Jest logicznie równoważny warunkowi materialnemu logiki klasycznej, połączonemu z operatorem konieczności z logiki modalnej. Dla dowolnych dwóch zdań p i q wzór p → q mówi, że p materialnie implikuje q podczas gdy mówi, że p ściśle implikuje qGraham Priest, An Introduction to Non-Classical Logic: From if to is, 2nd ed, Cambridge University Press, 2008, , p. 72.. Ścisłe implikacje są wynikiem próby Clarence’a Irvinga Lewisa znalezienia implikacji dla logiki, który może odpowiednio wyrazić tryb warunkowy w języku naturalnymCooper H. Langford and C. I. Lewis, Symbolic Logic (New York, 1932), p. 124.Nicholas Bunnin and Jiyuan Yu (eds), The Blackwell Dictionary of Western Philosophy, Wiley, 2004, , „strict implication,” p. 660.. Były również używane do studiowania teologii molinowskiejJonathan L. Kvanvig, „Creation, Deliberation, and Molinism,” in Destiny and Deliberation: Essays in Philosophical Theology, Oxford University Press, 2011, , p. 127–136..