The theory of trees with additional unary predicates and quantification over nodes and branches embraces a rich branching time logic. This theory was reduced in the companion paper to the first-order ...
The Journal of Symbolic Logic (JSL) was founded in 1936 and it has become the leading research journal in the field. It is issued quarterly. Volume 71, being published during 2006, will consist of ...
Marcos Mazari-Armida, a postdoctoral researcher at CU Boulder, wins 2021 Sacks Prize from the Association of Symbolic Logic A University of Colorado Boulder mathematician has won the Sacks Prize, ...
Augustus De Morgan was a British mathematician and logician. Today marks the birth anniversary of Augustus De Morgan, one of the most influential figures in the history of mathematics and logic. Born ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results
Feedback