ΣΥΜΒΑΝ ΚΑΙ ΕΞΑΙΦΝΗΣ

Στα σχόλια του κειμένου θα γίνει προσπάθεια ορισμού ενός συμβάντος
(event) και της σχέσης του με το εξαίφνης (apparition).

Οι τελεστές (operators) H (πάντα ήταν η περίπτωση που…), G (πάντα θα είναι η περίπτωση που…) της Temporal Logic, αντικαθίστανται από τον τελεστή □ (πάντα) της Modal Logic.

Χρησιμοποιούνται οι τελεστές P (κάποτε ήταν η περίπτωση που…), F (κάποτε θα είναι η περίπτωση που…) της Temporal Logic, και οι τελεστές ◊ (ενδεχομένως),
¬ (ουδέποτε) της Modal Logic.

Ισχύουν τα αξιώματα 1. και 2. της Minimal Tense Logic Kt :
E →□FE (ό,τι είναι Ε, πάντα θα είναι η περίπτωση που...)
E →□PE (ό,τι είναι Ε, πάντα ήταν η περίπτωση που…)

Κάθε συμβάν είναι ρευστό (liquid), όπως ορίζεται από την Event Logic.

Ο τύπος του προηγούμενου κειμένου ‘Συμβάν και Ανάμνηση’ διατυπώνεται καλύτερα ως:
PE(ex) → ◊FE(Mex) (αν κάποτε ήταν η περίπτωση που το συμβάν Ε εκφράστηκε,
ενδεχομένως το συμβάν Ε θα εκφραστεί κάποτε μέσω της
ανάμνησης).