Author/Creator: BOUDOU, JOSEPH - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator BOUDOU, JOSEPH

1. COMPLETE INTUITIONISTIC TEMPORAL LOGICS FOR TOPOLOGICAL DYNAMICS. (4th September 2022)

Authors:: BOUDOU, JOSEPH; DIÉGUEZ, MARTÍN; FERNÁNDEZ-DUQUE, DAVID
Journal:: Journal of symbolic logic
Issue:: Volume 87:Number 3(2022)
Page Start:: 995
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. Exploring the Jungle of Intuitionistic Temporal Logics. Issue 4 (22nd July 2021)

Authors:: BOUDOU, JOSEPH; DIÉGUEZ, MARTÍN; FERNÁNDEZ-DUQUE, DAVID; KREMER, PHILIP
Journal:: Theory and practice of logic programming
Issue:: Volume 21:Issue 4(2021)
Page Start:: 459
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗