Linear Temporal Logic LTL: Basis for Admissible Rules
Sergey Babenyshev, Vladimir Vladimirovich Rybakov · Journal of Logic and Computation · 2010
Journal Article Linear Temporal Logic LTL: Basis for Admissible Rules Get access Sergey Babenyshev, Sergey Babenyshev Department of Computing and Mathematics, Manchester Metropolitan University, John Dalton Building, Chester Street, Manchester M1 5GD, UK; Institute of Mathematics, Siberian Federal University, 79 Svobodny Prospect, Krasnoyarsk, 660041, Russia E-mail: [email protected]; [email protected] Search for other works by this author on: Oxford Academic Google Scholar Vladimir Rybakov Vladimir Rybakov Department of Computing and Mathematics, Manchester Metropolitan University, John Dalton Building, Chester Street, Manchester M1 5GD, UK; Institute of Mathematics, Siberian Federal University, 79 Svobodny Prospect, Krasnoyarsk, 660041, Russia E-mail: [email protected]; [email protected] Search for other works by this author on: Oxford Academic Google Scholar Journal of Logic and Computation, Volume 21, Issue 2, April 2011, Pages 157–177, https://doi.org/10.1093/logcom/exq020 Published: 19 July 2010 Article history Received: 29 January 2010 Published: 19 July 2010