|
|
|
|
|
|
Date Reviewed |
|
|
1 - 10 of 76
reviews
|
|
|
|
|
|
|
|
Process algebras for Petri nets: the alphabetization of distributed systems Gorrieri R., Springer International Publishing, New York, NY, 2017. 302 pp. Type: Book (978-3-319555-58-4)
This monograph relates process expressions to process models, such as labeled transition systems and Petri nets of various kinds. The models are set up in chapters 2 and 3, together with descriptions of their behavior, such as strong b...
|
Feb 6 2019 |
|
|
|
|
|
|
A new perspective on nonmonotonic logics Gabbay D., Schlechta K., Springer International Publishing, New York, NY, 2016. 365 pp. Type: Book (978-3-319468-15-0)
Nonmonotonic reasoning derives plausible conclusions from a theory. The theory is sometimes called background knowledge. If new information becomes available showing that some conclusions are wrong, one has to retract them. A common ap...
|
Feb 7 2018 |
|
|
|
|
|
|
J. Michael Dunn on information based logics Bimbó K. (ed), Springer International Publishing, New York, NY, 2016. 436 pp. Type: Book (978-3-319292-98-4)
Apart from introductory material and an “autobio,” these articles on Dunn’s work can be divided into three areas:...
|
Apr 20 2017 |
|
|
|
|
|
|
A language-independent proof system for full program equivalence Ciobâcă S., Lucanu D., Rusu V., Roşu G. Formal Aspects of Computing 28(3): 469-497, 2016. Type: Article
The authors consider proving two programs “fully equivalent” (that is, either both do not terminate or both terminate with the same value). Both compute the Collatz sequence starting with a natural number n...
|
Jun 21 2016 |
|
|
|
|
|
|
Metric temporal logic revisited Reynolds M. Acta Informatica 53(3): 301-324, 2016. Type: Article
The extension of temporal logic to measuring time durations is the basis of the theory of timed and hybrid automata, leading to the verification of metric temporal properties. Alur et al. (reference [1] in the paper), and more recently...
|
Jun 3 2016 |
|
|
|
|
|
|
Gentzen’s centenary: the quest for consistency Kahle R., Rathjen M., Springer International Publishing, New York, NY, 2015. 561 pp. Type: Book (978-3-319101-02-6)
This book is the follow-on to the 2009 symposium in Leeds celebrating the centenary of the great German logician Gerhard Gentzen. It contains survey as well as technical chapters by highly respected proof theorists. It is of interest t...
|
Apr 28 2016 |
|
|
|
|
|
|
Deterministic ordered restarting automata for picture languages Otto F., Mráz F. Acta Informatica 52(7-8): 593-623, 2015. Type: Article
Languages of pictures (2D matrices with entries from a finite alphabet) have been studied since Blum and Hewitt [1]; Rosenfeld [2]; and Siromoney, Siromoney, and Krithivasan [3]. A nondeterministic notion of recognizability by tessella...
|
Dec 30 2015 |
|
|
|
|
|
|
Concurrent dynamic algebra Furusawa H., Struth G. ACM Transactions on Computational Logic 16(4): 1-38, 2015. Type: Article
Furusawa and Struth construct an algebra of multirelations (where an element is related to a set of elements) motivated by Peleg’s concurrent dynamic logic [1]. Sequential composition is no longer associative and interacts wi...
|
Nov 5 2015 |
|
|
|
|
|
|
Guarded negation Bárány V., ten Cate B., Segoufin L. Journal of the ACM 62(3): 1-26, 2015. Type: Article
First-order logic is widely used, but as is well known, its satisfiability is undecidable. Two theoretical restrictions of first-order logic that were shown to be decidable are: (1) the guarded fragment [1] where the introduction of a ...
|
Oct 13 2015 |
|
|
|
|
|
|
The life and work of Leon Henkin: essays on his contributions Manzano M., Sain I., Alonso E., Birkhäuser Basel, New York, NY, 2014. 351 pp. Type: Book (978-3-319097-18-3)
This collection of papers, along with biographical information, on the logician Leon Henkin includes reminiscences from students of Henkin and of Alfred Tarski about the help provided by Henkin. The account by Benjamin Wells (a student...
|
Jul 23 2015 |
|
|
|
|
|
|
|
|
|
|
|