Have a personal or library account? Click to login
Propositional Linear Temporal Logic with Initial Validity Semantics1 Cover

Propositional Linear Temporal Logic with Initial Validity Semantics1

By: Mariusz Giero  
Open Access
|Mar 2016
DOI: https://doi.org/10.1515/forma-2015-0030 | Journal eISSN: 1898-9934 | Journal ISSN: 1426-2630
Language: English
Page range: 379 - 386
Submitted on: Oct 22, 2015
Published on: Mar 25, 2016
Published by: University of Białystok
In partnership with: Paradigm Publishing Services
Publication frequency: 1 issue per year
Keywords:

© 2016 Mariusz Giero, published by University of Białystok
This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 License.