Igor Sedlár

Utrecht instagram.com/p/BziqshOnTAaN…

A postdoc position opening in my project. #logicinprague twitter.com/LOGIC_list/sta…

Tautology and Contradiction #logicforkids instagram.com/p/BddUEYjnkyxy…

K instagram.com/p/Bcz_KI0HHhV/

Reassuring. #hiking in #Hongkong instagram.com/p/BcoNX_kHk8H/

This is the funniest thing I have ever seen: Oxbridge Philosophy - Cleese & Miller youtu.be/qUvf3fOmTTk via @YouTube

New paper out link.springer.com/chapter/10.100… Operational models for substructural logics with distributed knowledge (with V. Punčochář)

My WoLLIC paper on axiomatizing (some) #substructural #logics with reflexive transitive closure #modalities link.springer.com/chapter/10.100…

@MartaBilkova on Australian tour. twitter.com/logicmelb/stat…

This week in the Logic Colloquium: Melissa Fusco (Columbia) "Modality and Classical Logic" - Abstract here: logic.uconn.edu/calendar/

Kenneth Arrow has died. Arrow’s theorem is one of the most important technical results for philosophers. nyti.ms/2mbijT0

Hitoshi Omori kicks off the Prague Seminar on Paraconsistent Logic.

Postdoctoral positions in Prague flu.cas.cz/cz/3-positions…

@standefer Epistemic stuff sega-project.org we'll build on non-classical logics too.

SEGA Kickoff workshop kicks off. This will be good.

Research funding application submitted, now I'm free to do research again!

The preprint of my AiML paper on paraconsistent PDL is now available at arXiv: arxiv.org/abs/1608.06084

8 Rejected Papers That Won the Nobel Prize authorea.com/users/8850/art…

Yes! Paper accepted! AIML 2016, here I go!