[OpenLogic] News

[G. Aldo Antonelli]

Sorry for the long radio silence -- super busy quarter.

On 2/25/14 6:49 PM, Richard Zach wrote:

> 2) Assuming that these include Turing machines, I've also tasked her to
> find the best/easiest/standard way to LaTeXify the state transition
> diagrams. If anyone's got ideas/suggestions for that or other
> Turing-machine-diagaram-related stuff, let her/us know.

TikZ is probably the best option. The learning curve is a bit steep (or 
at least was/still is for me) but the results are totally worth it.

> 4) Jeremy Avigad is going to provide the notes to his two advanced logic
> courses as well, so we'll have material for incompleteness and recursive
> functions as well.

I have an essentially complete set of notes for basic modal logic 
(completeness and correspondence for the systems obtained by the various 
combinations of K with D, T, B, 4, 5). Let me know when you need them 
and I'll send them along.

-- Aldo


*****************************************
G. Aldo Antonelli
Professor of Philosophy
University of California, Davis
http://www.aldo-antonelli.org
antonelli at ucdavis.edu +1 530 554 1368