170 followers
RT @Jose_A_Alonso: Formalizing a Seligman-style tableau system for hybrid logic. ~ Asta Halkjær From, Patrick Blackburn, Jørgen Villadsen.…
RT @Jose_A_Alonso: Formalizing a Seligman-style tableau system for hybrid logic. ~ Asta Halkjær From, Patrick Blackburn, Jørgen Villadsen.…
Formalizing a Seligman-style tableau system for hybrid logic. ~ Asta Halkjær From, Patrick Blackburn, Jørgen Villadsen. https://t.co/h8TQBSG59u #ITP #IsabelleHOL #Logic
RT @astahfrom: Here is the short paper I'm talking about at IJCAR tomorrow 17:15 (UTC+2). https://t.co/m5AxZQA20H
Here is the short paper I'm talking about at IJCAR tomorrow 17:15 (UTC+2). https://t.co/m5AxZQA20H