Have a personal or library account? Click to login
Weak Completeness Theorem for Propositional Linear Time Temporal Logic Cover

Weak Completeness Theorem for Propositional Linear Time Temporal Logic

Formalized Mathematics
Volume 20 (2012): Issue 3 (September 2012)
By: Mariusz Giero  
Open Access
|Feb 2013

Authors

Mariusz Giero

DOI: https://doi.org/10.2478/v10037-012-0027-8 | Journal eISSN: 1898-9934 | Journal ISSN: 1426-2630
Journal RSS Feed
Language: English
Page range: 227 - 234
Published on: Feb 2, 2013
Published by: University of Białystok
In partnership with: Paradigm Publishing Services
Publication frequency: 1 issue per year
Related subjects:
Mathematics,
General mathematics,
Computer sciences,
Computer sciences, other

© 2013 Mariusz Giero, published by University of Białystok
This work is licensed under the Creative Commons License.

Previous articleVolume 20 (2012): Issue 3 (September 2012)Next article