TY  -  
T1  - Modaalilogiikan matemaattisia ja filosofisia ongelmia 
SN  -  /  
UR  - URN:NBN:fi:hulib-201702101313; http://hdl.handle.net/10138/175421 
T3  -  
A1  - Nieminen, Janos 
A2  -  
PB  - Helsingfors universitet 
Y1  - 2016 
LA  - fin 
AB  - Tämä pro gradu-tutkielma käsittelee modaalilogiikkaa ja sen soveltamista tiedon mallintamiseen. Tutkielman alkupuolella tutkitaan modaalilogiikkaa, eli aleettisia modaalikäsitteitä välttämättömyys ja mahdollisuus ja näiden mallinnusta Kripke-semantiikan avulla. Tässä osassa esitellään modaalilogiikan aksioomasysteemejä ja todistetaan täsmällisesti modaalilogiikan todistusteorian ja malliteoriaan tuloksia. Modaalilogiikka on mielenkiintoinen tutkimuskohde, koska Kripke-semantiikka soveltuu aleett... 
VO  -  
IS  -  
SP  -  
OP  -  
KW  - modaalilogiikka; episteeminen logiikka; Theoretical Philosophy; Teoreettinen filosofia; Teoretisk filosofi 
N1  -   
PP  -  
ER  -