Võimalikkus ja lineaarloogika
Karmo Talts
Tõlgendame modaalsusi lineaarloogika keeles. P on paratamatu siis, kui P on korduvalt saadaval. Kui P on lihtsalt maailma praeguses seisundis saadaval ja pruugi olla maailma järgmises seisundis saadaval, siis P pole paratamatu.
Vaatame nüüd võimalikkust. P on kas maailma praeguses seisundis saadaval või on maailma praeguses seisundis saadaval olevate resursside abil võimalik esile kutsuda protsess, mille käigus saadakse P.
Vaatame nüüd võimatust. P on võimatu, kui P pole saadaval ja maailma praeguse hetke seisundis saadaval olevate resursside abil pole võimalik esile kutsuda protsessi, mille käigus saadakse P.
No comments:
Post a Comment