У статті розглядаються особливості застосування теоретико-модельної семантики в епістемічній логіці. Головна увага приділяється класичним семантикам можливих світів Кріпке. У статті показано, яким чином в межах семантики можливих світів можна аналізувати епістемічні альтернативи. Крім того, даються пояснення таким системам знання та віри, як K, T, S4, S5, K45 та KD45, аналізуючи їхні особливості та умови виникнення.
В статье рассматриваются особенности применения теоретико-модельной семантики в эпистемической логике. Основное внимание уделяется классическим семантикам возможных миров Крипке. В статье показано, каким образом семантика возможных миров позволяет анализировать эпистемические альтернативы. Кроме того, объясняются такие системы знания и веры, как K, T, S4, S5, K45 и KD45, анализируя условия их возникновения и особенности применения.
An article reviews the peculiarity of model-theoretic semantic application in epistemic logic. Attention pays to Kripke classical possible world semantics. An article shows how possible world semantic allows analyzing epistemic alternatives. Also, an explanation of such systems of knowledge and belief as K, T, S4, S5, K45 and KD45, analyzing peculiarities and arising conditions of them is given.
З 31.12.2014 по 01.03.2015 Наукова бібліотека читачів не обслуговує.
