Translation for "modaalilogiikan" to english

Modaalilogiikan

• modal logic

Translation examples

modal logic

3.1 De dicto ja de re ilmaistuna modaalilogiikassa
4 Representing de dicto and de re in modal logic

Tämän näkemyksen pohjalta modaalilogiikka nousi yhdeksi filosofisen logiikan eniten tutkituksi alaksi.
This view has made modal logic into one of the most researched fields in philosophical logic.

Se on matemaattista kiinnostuneempi luonnollisen kielen ja logiikan välisistä suhteista. Seurauksena filosofiset loogikot ovat vaikuttaneet paljon epästandardien logiikoiden (kuten vapaa logiikka, temporaalinen logiikka) sekä perinteisen logiikan laajennosten (kuten modaalilogiikka) sekä niiden epästandardien semantiikkojen kehitykseen.
As a result, philosophical logicians have contributed a great deal to the development of non-standard logics (e.g. free logics, tense logics) as well as various extensions of classical logic (e.g. modal logics) and non-standard semantics for such logics (e.g. Kripke's supervaluationism in the semantics of logic).

Muita muotoja ovat temporaalilogiikka, modaalilogiikka ja sumea logiikka.
Other logics of interest include temporal logic, modal logic and fuzzy logic.

Von Wrightin vuonna 1951 julkaistut teokset An Essay in Modal Logic (Tutkielma modaalilogiikasta) sekä Deontic Logic (Deonttinen logiikka), olivat merkkipaaluja sodan jälkeisessä formaalin modaalilogiikan nousussa ja sen deontologisessa tulkinnassa.
His 1951 books, An Essay in Modal Logic and Deontic Logic, were landmarks in the postwar rise of formal modal logic and its deontic version.