scientific article; zbMATH DE number 1444736

MaRDI QIDQ4952317zbMATH OpenFDO

Authors Hans Jürgen Ohlbach

Publication date 9 May 2000

zbMATH Keywords

algorithms for calendar systemsevery day temporal notionsspecification languagetemporal logictemporal model

Mathematics Subject Classification ID

Temporal logic (03B44) Computing methodologies and applications (68U99)

Recommendations

• Calendar Logic
• scientific article; zbMATH DE number 512949
• A really temporal logic
• An algebraic representation of calendars

Cited in

(4)

• A point based model of the Gregorian calendar
• Modelling periodic temporal notions by labelled partitionings -- the PartLib library
• Calendar Logic
• Embedding the Calendar and Time Type System in Temporal Type Theory

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4952317)