Logic, Language, and Computation

Sebastian Löbner, Universität Düsseldorf.

Prof. Dr. Frank Richter ist Gründunspartner und CEO der Swiss Global Investment Group AG. Er arbeitet als Strategie- und Sanierungsberater sowie als Interimsmanager für Unternehmen. Seine Schwerpunkte liegen in der Strukturierung komplexer M&A-Transaktionen, im Turnaround-Management, in der Reorganisaton von Unternehmen sowie in der Strategieentwicklung und umsetzung. Früher war er im In- und Ausland u.a. für Bertelsmann, Siemens und PricewaterhouseCoopers in unterschiedlichen Stabs- und Leitungsfunktionen sowie in der Strategie- und M&A-Beratung tätig.

Part 1: Summaries of Tutorials. -Computational Social Choice (with a Special Emphasis on the Use of Logic).- Binding - Data, Theory, Typology.- Lukasiewicz Logic: An Introduction.- Part 2: Contributions in Language The Information Structure and Typological Peculiarities of the Georgian Passive Constructions.- Discourse Structuring Questions and Scalar Implicatures.- Towards a Logic of Information Exchange: An Inquisitive Witness Semantics.- Sitting, Standing, and Lying in Frames: A Frame-Based Approach to Posture Verbs.- Alleged Assassins: Realist and Constructivist Semantics for Modal Modification.- An Outline of a Dynamic Theory of Frames.- What Does It Mean for an Indefinite to Be Presuppositional?.- Part 3: Contributions in Logic and Computation Dynamics of Defeasible and Tentative Inference .- Decidability for Justification Logics Revisited.- Interpreted Systems Semantics for Process Algebra with Identity Annotations.- The Duality of State and Observation in Probabilistic Transition Systems.- Model Checking for Modal Intuitionistic Dependence Logic.- Coalgebraic Predicate Logic: Equipollence Results and Proof Theory.