Warning: PDO::__construct(): MySQL server has gone away in /prior/webdata/research.prior.aau.dk/htdocs/priorstudies/classes/Database.php on line 40
Prior Studies

Prior Studies

Life and Work of Arthur Norman Prior

Home / Posts / The LogicS of Prior


The LogicS of Prior

Past, Present, and Future

Date: September 6-7, 2019

Place: Roskilde University, Building 46.1-049

Chair: Patrick Blackburn (patrick.rowan.blackburn@gmail.com)

Arthur Prior (1914–1969) is nowadays best known as the inventor of tense logic.
But he was very much a logician in the most general sense of the word, and a
philosophical logician at that, and his work covered more than tense logic. In
particular, he played a role in the development of such fields as deontic logic,
multi-valued logic, branching time logic, first-order modal logic, and hybrid
logic. Moreover, his work drew on ancient and medieval sources to an extent
that was rare in an era that tended to draw its inspiration from mathematics.
This event is a celebration of various aspects of Priors’s work, some reflecting
on its origins (Past), its contemporary developments (Present) and its potential
impacts and novel domains of applications (Future).

Friday 6th of September
13.00 — 13.10 Coffee and Welcome
13.10 — 13.50 Patrick Blackburn: The LogicS of Prior
13.50 — 14.50 Adriane Rini: An Ordinary Language/Logic Debate in
1932-34?

14.50 — 15.10 Coffee
15.10 — 16.10 Valentin Goranko: How Deontic Logic Ought To Be
16.15 — 17.15 Thomas Bolander: Theory of Mind Reasoning on a Humanoid
Robot using Dynamic Epistemic Logic

 

Saturday 7th of September
10.00 — 10.10 Coffee
10.10 — 11.10 Max Cresswell: Those Things which the Coachmen Do
Boethius’ answer to A.N. Prior on Future Contingents

11.15 — 12.15 Antje Rumberg: Transitions in the Forest of Possibilities
12.15 — 13.15 Lunch
13.15 — 14.15 Jeremy Seligman: I Might Not Have Existed
14.20 — 15.05 Andreas Halkjær From: Using the Isabelle Proof Assistant:
Seligman-Style Tableau for Hybrid Logic

15.05 — 15.20 Coffee Break
15.20 — 16.05 Torben Braüner: Hybrid-Logical Proof-Theory: What
would Prior have said?

16.10 — 16.55 Thomas Ågotnes: Monotonicity Properties of Public
Announcements

16.55 — 17.15 Peter Øhrstrøm: Concluding Remarks

 

All are welcome to attend, and attendance is free, but if you plan on coming, please inform the organisers by sending an email to fatima-sabir@hotmail.com.

Relevant information:

Event Manager: Fatima Sabir (fatima-sabir@hotmail.com)

 

 


 
Per F. V. Hasle ©
  • Department of Information Studies


  • University of Copenhagen

  • South Campus, build. 4


  • Njalsgade 76

  • DK-2300 Copenhagen S


  • Denmark


  • per.hasle@hum.ku.dk
Peter Øhrstrøm ©

  • Department of Communication and Psychology


  • Aalborg University

  • Rendsburggade 14

  • DK-9000 Aalborg

  • Denmark


  • poe@hum.aau.dk
David Jakobsen ©

  • Department of Communication and Psychology


  • Aalborg University

  • Rendsburggade 14

  • DK-9000 Aalborg

  • Denmark


  • davker@hum.aau.dk