Authors

S.B. Knudstorp
Timo Niek Franssen

Date (dd-mm-yyyy)

2025-08-01

Title

Axiomatization and Decidability of Tense Information Logic

Publication Year

2025-08-01

Number of pages

17

Publisher

15942Springer Cham

ISBN

978-3-031-99535-4

Document type

Conference contribution

Permalink

https://hdl.handle.net/11245.1/de29254b-f1c7-4114-984d-e89b6c3382ad