Per F. V. Hasle

21 papers B 4C 1Misc 1Journal 7Unranked 2

Year	Rank	Type	Title / Venue / Authors
2018	—	`ch.`	Time in Philosophical Logic. Encyclopedia of Database Systems (2nd ed.) Peter Øhrstrøm, Per F. V. Hasle
2016	J	`jnl`	Preface. Synth. Jørgen Albretsen, Per F. V. Hasle, Peter Øhrstrøm
2016	J	`jnl`	Prior's paradigm for the study of time and its methodological motivation. Synth. Per F. V. Hasle, Peter Øhrstrøm
2012	J	`jnl`	From a logical angle - Some studies in A.N. Prior's ideas on time, discourse and metaphysics. Synth. Peter Øhrstrøm, Per F. V. Hasle
2012	J	`jnl`	Preface. Synth. Peter Øhrstrøm, Per F. V. Hasle, Ulrik Sandborg-Petersen
2012	J	`jnl`	The problem of predestination: as a prelude to A. N. Prior's tense logic. Synth. Per F. V. Hasle
2010	B	`ed.`	Persuasive Technology, 5th International Conference, PERSUASIVE 2010, Copenhagen, Denmark, June 7-10, 2010. Proceedings PERSUASIVE Thomas Ploug, Per F. V. Hasle, Harri Oinas-Kukkonen
2009	—	`ch.`	Time in Philosophical Logic. Encyclopedia of Database Systems Peter Øhrstrøm, Per F. V. Hasle
2008	—	`ch.`	Persuasive Design. Handbook of Research on Computer Mediated Communication Per F. V. Hasle, Anne-Kathrine Kjær Christensen
2008	B	`ed.`	Persuasive Technology, Third International Conference, PERSUASIVE 2008, Oulu, Finland, June 4-6, 2008. Proceedings PERSUASIVE Harri Oinas-Kukkonen, Per F. V. Hasle, Marja Harjumaa, Katarina Segerståhl, Peter Øhrstrøm
2007	B	`conf`	Classical Rhetoric and a Limit to Persuasion. PERSUASIVE Anne-Kathrine Kjær Christensen, Per F. V. Hasle
2007	B	`conf`	Surveillance, Persuasion, and Panopticon. PERSUASIVE Julie Leth Jespersen, Anders Albrechtslund, Peter Øhrstrøm, Per F. V. Hasle, Jørgen Albretsen
2006	—	`ch.`	A.N. Prior's logic. Logic and the Modalities in the Twentieth Century Peter Øhrstrøm, Per F. V. Hasle
2006	—	`ch.`	Modern temporal logic: The philosophical background. Logic and the Modalities in the Twentieth Century Peter Øhrstrøm, Per F. V. Hasle
2006	J	`jnl`	Preface. Synth. Torben Braüner, Per F. V. Hasle, Peter Øhrstrøm
2006	Misc	`conf`	The Persuasive Expansion - Rhetoric, Information Architecture, and Conceptual Structure. ICCS Per F. V. Hasle
2004	J	`jnl`	The Flow of Time into Logic - and Computer Science (Column: Logic in Computer Science). Bull. EATCS Per F. V. Hasle, Peter Øhrstrøm
1998	C	`conf`	Ockhamistic Logics and True Futures of Counterfactual Moments. TIME Torben Braüner, Per F. V. Hasle, Peter Øhrstrøm
1995	—	`book`	Temporal logic - from ancient ideas to artificial intelligence. Peter Øhrstrøm, Per F. V. Hasle
1991	—	`conf`	Building a Temporal Logic for Natural Language Understanding with the HOL-system. Natural Language Understanding and Logic Programming Workshop Per F. V. Hasle
1991	—	`conf`	Medieval Logic and Natural Language Understanding. Natural Language Understanding and Logic Programming Workshop Peter Øhrstrøm, Per F. V. Hasle