
porugu ardhashaastram

scott-monteg semantics anie kooda piluvabade porugu semantics, modal logics kosam adhikaarika semantics. idhi modal logic kosam marinta vistrutamgaa telisina relational semantics yokka, danna scott mariyu richard montague chetha swatantramgaa abhivruddhi cheyabadina saadhaaraneekarana. relational frame formula _ 1 loe prapanchaala (ledhaa sthithula) samiti "doubleu" mariyu praapyata sambandham "aarr" kaligi untundi, idhi yea prapanchaalu itarulaku pratyaamnaayaalu (ledhaa, andubaatulo unna) anie suuchimchadaaniki uddesinchabadindi, oka porugu frame formula _ 2 ippatikee prapanchaala samiti "doubleu" nuu kaligi undhi, conny praapyata sambandhaaniki badulugaa "porugu function" nuu kaligi untundi."
idhi "doubleu" looni prati muulakaaniki "doubleu" yokka upasamitula samitini ketayistundi. antarbodhagaa, oka prapanchaaniki ketaayinchina prati upasamitula kutumbam aaa prapanchamlo avasaramaina pratipaadanalu, ikkada 'pratipaadana' anedi 'doubleu' (i.ii. pratipaadana nijamaina prapanchaala samiti). pratyaekamgaa, framepy "m" oka namuunaa ayithe, appudu
ekkada
idhi suutram _ 6 yokka "satya samiti".
saadhaarana modal logic k kante khachitamgaa balaheenamaina shaastreeya modal logics kosam porugu sabdaartham upayoginchabadutundi.
sambandha mariyu porugu namuunaala madhya sambandham.
prati relational modal "m" = ("w", "r", "v") kuu samaanamaina (pointwise-modal siddhaantaalanu kaligi unna ardhamlo) porugu modal "m" = ("w", "n", "v") nirvachinchabadindi
pratyarthi viphalamaina vaastavam porugu namuunaalu sambandha namuunaala saadhaaraneekarana anae vyakhyaku khachitamaina ardhaanni istundi. relational structures yokka maroka (bahusha marinta sahajamaina) saadhaaraneekarana saadhaarana framelu.

