Programming, Logic and Intelligent Systems

Research Output 2006 2019

Filter
Conference abstract for conference
2017

A political and technological anatomy of a mobile phone crack

Jørgensen, N., 2 Sep 2017.

Research output: Contribution to conferenceConference abstract for conferenceResearchpeer-review

2015

Second-order false-belief: a modal analysis

Blackburn, P. R., Braüner, T. & Polyanskaya, I., 2015.

Research output: Contribution to conferenceConference abstract for conferenceResearchpeer-review

Second-order false-beliefs, language and autism: a pilot training study

Polyanskaya, I., Blackburn, P. R. & Braüner, T., 2015.

Research output: Contribution to conferenceConference abstract for conferenceResearchpeer-review

2012

Towards Abstract Interpretation of Epistemic Logic

Ajspur, M. & Gallagher, J. P., Aug 2012. 3 p.

Research output: Contribution to conferenceConference abstract for conferenceResearchpeer-review

File