3 Beziehungen: James F. Allen, Logik, Temporale Logik.
James F. Allen
James Frederick Allen (* 1950) ist ein US-amerikanischer Informatiker und Linguist.
Neu!!: Allen-Kalkül und James F. Allen · Mehr sehen »
Logik
Mit Logik (von logikè téchnē ‚Kunst des Denkens‘, ‚Kunst des Argumentierens‘) wird im Allgemeinen das vernünftige Schlussfolgern und im Besonderen dessen Lehre – die Schlussfolgerungslehre oder auch Denklehre – bezeichnet.
Neu!!: Allen-Kalkül und Logik · Mehr sehen »
Temporale Logik
Temporale Logiken oder Zeitlogiken sind Erweiterungen der Logik, durch die zeitliche Abläufe erfasst werden können.
Neu!!: Allen-Kalkül und Temporale Logik · Mehr sehen »