36 citations · 36 across the 2 of their papers we have counts for
3 papers
math.RA2009
Meadows and the equational specification of division
J. A. Bergstra, Y. Hirshfeld, J. V. Tucker
The rational, real and complex numbers with their standard operations, including division, are partial algebras specified by the axiomatic concept of a field. Since the class of fi…
math.RA2009
Skew Meadows
J. A. Bergstra, Y. Hirshfeld, J. V. Tucker
A skew meadow is a non-commutative ring with an inverse operator satisfying two special equations and in which the inverse of zero is zero. All skew fields and products of skew fie…
cs.LO2006★ 36 cited
Expressiveness of Metric modalities for continuous time
Yoram Hirshfeld, Alexander Rabinovich
We prove a conjecture by A. Pnueli and strengthen it showing a sequence of "counting modalities" none of which is expressible in the temporal logic generated by the previous modali…