(Eng:
temporal logic) Symbolische logica die verschillende tijdaspecten, die met gebeurtenissen en handelingen te maken hebben, formaliseert. De tijdgebonden logica is gebaseerd op de A-series van verledenheden-toekomst (het zich wijzigende relatiepatroon van proposities in de tijd gezien) en de B-series van vroeger-later (permanente relatie...
Gevonden op
https://www.angelfire.com/ca/vlietstra/KNSTINTL.pdf
(Eng:
temporal logic) Symbolische logica die verschillende tijdaspecten, die met gebeurtenissen en handelingen te maken hebben, formaliseert. De tijdgebonden logica is gebaseerd op de A-series van verledenheden-toekomst (het zich wijzigende relatiepatroon van proposities in de tijd gezien) en de B-series van vroeger-later (permanente relatie...
Gevonden op
https://www.angelfire.com/ca/vlietstra/KNSTINTL.pdf
Geen exacte overeenkomst gevonden.
