Temporálne logiky

propozicná logika ? logika prvého rádu

globálna ? kompozicná

vetviaci sa cas ? lineárny cas

casové body ? casové intervaly

diskrétny cas ? spojitý cas

minulost ? budúcnost

Previous slide

Next slide

Back to first slide

View graphic version