MONDAY 23rd May 2016 Forestry Building, hall 4
|
TUESDAY 24th May 2016 Forestry Building, hall 4
|
WEDNESDAY 25th May 2016 Fabianinkatu 26, lecture hall 115
|
|
|
|
9:00-10:00
|
Gabriella Pigozzi
Changing Norms: A Framework for Revising and
Contracting Rules
|
9:00-10:00
|
Eric Pacuit
A Modal Logic of Beliefs with Interpretation Shifts
|
|
10:00-10:05
|
Sara Negri and Raul Hakli
Opening of the Symposium
|
10:00-10:30
|
Break
|
10:00-10:30
|
Break
|
|
10:05-11:05
|
Ilkka Niiniluoto
G. H. von Wright as a Logician
|
10:30-11:30
|
Gabriel Sandu
Ceteris Paribus Modalities
|
10:30-11:30
|
Andreas Herzig
Logics of Intention and Means-End Reasoning
|
|
11:05-11:30
|
Break
|
|
11:30-12:30
|
Melvin Fitting
Justifications that Might Be Wrong
|
11:30-12:00
|
Andrea Iacona Some Doubts about Conjunction Conditionalization
|
11:30-12:00
|
Annika Siders Notes on Gödel's Ontological Proof
|
|
12:00-12:30
|
Gustavo Vieira Vilar Garcia From Action to Proposition in von Wright's Deontic Systems
|
12:00-12:30
|
Guglielmo Feis Jephthah's Predicament and the Limits of Deontic Logic: A Case Study in Direct and Indirect Normative Conflicts
|
|
12:30-14:15
|
Lunch break
|
12:30-14:15
|
Lunch break
|
12:30-14:15
|
Lunch break
|
|
14:15-14:45
|
Cesar Antonio Serbena G. H. von Wright on Non-classical Logics
|
14:15-15:15
|
Giovanni Sartor
Normative acts, norms and normative propositions in a ceteris paribus deontic logic
|
14:15-15:15
|
Nicola Olivetti
Neighbourhood Semantics and Labelled Sequent Calculi for Conditional and Doxastic Logics
|
|
14:45-15:15
|
Dominik Klein and Rasmus K. Rendsvig A Metric on the Set of Kripke Models
|
|
15:15-15:45
|
Break
|
15:15-15:45
|
Break
|
15:15-15:45
|
Roman Kuznets Craig and Lyndon Interpolation Via Labelled Sequent Calculi
|
|
15:45-16:45
|
Patrick Blackburn
Social Reasoning, Syntactic Recursion and Second-Order
False Beliefs
|
15:45-16:45
|
Valentin Goranko
What Deontic Logic Ought To Be, with Insights from von Wright
|
15:45-16:15
|
Eugenio Orlandelli and Sara Negri Proof Theory for Quantified Non-normal Modal Logics
|
|
16:45-17:15
|
José M. Méndez, Gemma Robles and Francisco Salto An Expansion of Brady's Logic BN4 with Truth-functional Modal Operators
|
16:45-17:15
|
Berislav Žarnić Von Wright's Pragmatics Turn in Deontic Logic
|
|
17:15-17:45
|
Gemma Robles The 4-valued Logic of Entailment E4
|
17:15-17:45
|
Réka Markovich Order of Norms and Deontic Modality
|