Overview

Full Product Details

Author:   Guram Bezhanishvili ,  Sebastian Löbner ,  Vincenzo Marra ,  Frank Richter
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint:   Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Edition:   2013 ed.
Volume:   7758
Dimensions:   Width: 15.50cm , Height: 1.50cm , Length: 23.50cm
Weight:   0.454kg
ISBN:  

9783642369759

ISBN 10:   3642369758
Pages:   277
Publication Date:   10 February 2013
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Manufactured on demand  
We will order this item for you from a manufactured on demand supplier.

Table of Contents

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.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions