-
Hello, World! Welcome to the Journal
-
This is the name. As the author is also the host of the journal, he writes it. About the author is read, the differences are made and reasoned with, and about the occupation is referred to for more details. Terms of use, privacy, cookies, and contact are agreed to by visitors.
-
Particularly, a project is founded, and an OWL model is published as well.
-
Tag Cloud
Algorithms Gaming Licences Logics Programming Semantics Theorem provers
-
Categories
-
Archives
-
Languages the Author is Writing in
-
Project the Author is Doing
-
What the Author is Listening to
-
What the Author is Reading
-
What the Author is Watching
Monthly Archives: March 2011
An Overview of Temporal Logic at Advanced Course of Applied Logics at Tallinn University of Technology
This week was prominent because of a mandatory assignment being completed at university. An overview of Temporal logic was a duty for Advanced Course of Applied Logics. A common notion of a logic is explained. A formal grammar and a difference of expressiveness is addressed. Application techniques and fields for utilization are specified. Continue reading