There are frequent logic talks in Melbourne. Melbourne logicians also publish a fair bit. We’ve got a record of talks, both by locals and visitors, but nothing about recent work by locals. To rectify this, I’m going to do a series of semi-regular posts to highlight newly published work by members of the Logic Seminar.
The first instalment comprises papers by Karen Green (Melbourne), Lloyd Humberstone (Monash), and Daniel Murfet (Melbourne).
- Green, Karen. Frege on Existence and Non-existence. Theoria vol. 81, issue 4 (2015), 293–310. doi: 10.1111/theo.12066
- Humberstone, Lloyd. Note on Extending Congruential Modal Logics. Notre Dame J. Formal Logic 57 (2016), no. 1, 95–103. doi:10.1215/00294527-3315588. http://projecteuclid.org/euclid.ndjfl/1443619665.
- Nils Carqueville and Daniel Murfet. Adjunctions and defects in Landau–Ginzburg models. Advances in Mathematics vol. 289 (2016), 480–566. doi:10.1016/j.aim.2015.03.033