Igor Sedlár

Logician. Drummer. Aeropresser.

[Igor Sedlár @igorsedlar]

Utrecht https://t.co/XbYXCMNtxf

[Igor Sedlár @igorsedlar]

A postdoc position opening in my project. #logicinprague https://t.co/omttFcMrGc

[[LOGIC] List @LOGIC_list]

Postdoctoral position in non-classical logic, Prague (Czech Republic), Deadline: 5 Apr 2018 https://t.co/pLLdBBLiA1

[Igor Sedlár @igorsedlar]

Tautology and Contradiction #logicforkids https://t.co/TWRqxzYsgF

[Igor Sedlár @igorsedlar]

K https://t.co/FwjbKrmuwP

[Igor Sedlár @igorsedlar]

Reassuring. #hiking in #Hongkong https://t.co/tqr4RN9foQ

[R.D. Ingthorsson @RIngthorss]

This is the funniest thing I have ever seen: Oxbridge Philosophy - Cleese & Miller https://t.co/Ra1A4lmaPp via @YouTube

[Igor Sedlár @igorsedlar]

New paper out https://t.co/XWuhJzAcnG Operational models for substructural logics with distributed knowledge (with V. Punčochář)

[Igor Sedlár @igorsedlar]

My WoLLIC paper on axiomatizing (some) #substructural #logics with reflexive transitive closure #modalities https://t.co/QRX2eoPTTA

[Igor Sedlár @igorsedlar]

@MartaBilkova on Australian tour. https://t.co/9YEq38yh1g

[Logic at Melbourne @logicmelb]

This Friday we have a modal logic double header, with Marta Bilkova and @RohanFrench presenting.

[UConn Logic Group @UConnLogicGroup]

This week in the Logic Colloquium: Melissa Fusco (Columbia) "Modality and Classical Logic" - Abstract here: https://t.co/hhVKgW7TVk

[Mark Jago 💙 @Mark_Jago]

Kenneth Arrow has died. Arrow’s theorem is one of the most important technical results for philosophers.
https://t.co/8f8BGloLJk

[Igor Sedlár @igorsedlar]

Hitoshi Omori kicks off the Prague Seminar on Paraconsistent Logic.

[Igor Sedlár @igorsedlar]

Postdoctoral positions in Prague https://t.co/ackSmx0rOM

[Igor Sedlár @igorsedlar]

@standefer Epistemic stuff https://t.co/H4wpA29jvv we'll build on non-classical logics too.

[Igor Sedlár @igorsedlar]

SEGA Kickoff workshop kicks off. This will be good.

[Igor Sedlár @igorsedlar]

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

[Igor Sedlár @igorsedlar]

The preprint of my AiML paper on paraconsistent PDL is now available at arXiv: https://t.co/thgURoh3i3

[Anita Leirfall @anitaleirfall]

8 Rejected Papers That Won the Nobel Prize https://t.co/ET8NWIhPj7

[Igor Sedlár @igorsedlar]

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