Logic, Language, and Computation

This is a summary of a tutorial on computational social choice, delivered at the 9th Tbilisi Symposium on Language, Logic and Computation in Kutaisi, Georgia, in September 2011. The tutorial specifically focussed on the use of logic in the field.

[1]  Steve A. Schneider,et al.  CSP and Anonymity , 1996, ESORICS.

[2]  Barbara H. Partee,et al.  Privative Adjectives: Subsective plus Coercion , 2003 .

[3]  Marie Duzí,et al.  Procedural Semantics for Hyperintensional Logic - Foundations and Applications of Transparent Intensional Logic , 2010, Logic, Epistemology, and the Unity of Science.

[4]  Giuseppe Primiero,et al.  A modal type theory for formalizing trusted communications , 2012, J. Appl. Log..

[5]  Bernardo Toninho,et al.  A Spatial-Epistemic Logic for Reasoning about Security Protocols , 2010, SecCo.

[6]  H. Kamp,et al.  Prototype theory and compositionality , 1995, Cognition.

[7]  Ramaswamy Ramanujam,et al.  Distributed Processes and the Logic of Knowledge , 1985, Logic of Programs.

[8]  Alessio Lomuscio,et al.  A Tool For Specification And Verification Of Epistemic Properties In Interpreted Systems , 2004, LCMAS.

[9]  Giuseppe Primiero,et al.  A contextual type theory with judgemental modalities for reasoning from open assumptions , 2012 .

[10]  Giuseppe Primiero,et al.  Two Kinds of Procedural Semantics for Privative Modification , 2009, JSAI-isAI Workshops.

[11]  Melvin Fitting,et al.  Basic modal logic , 1993 .

[12]  Marie Duzí,et al.  Procedural isomorphism, analytic information and β-conversion by value , 2013, Log. J. IGPL.

[13]  Yoad Winter,et al.  Total Adjectives vs. Partial Adjectives: Scale Structure and Higher-Order Modifiers , 2004 .

[14]  Richard Montague,et al.  ENGLISH AS A FORMAL LANGUAGE , 1975 .

[15]  Gordon D. Plotkin,et al.  A structural approach to operational semantics , 2004, J. Log. Algebraic Methods Program..

[16]  张万春.  Mind Your P＇s and Q＇s , 2000 .

[17]  Frank Pfenning,et al.  A judgmental reconstruction of modal logic , 2001, Mathematical Structures in Computer Science.

[18]  H. Kamp.  Two theories about adjectives , 2013 .

[19]  Maria van der Schaar,et al.  The cognitive act and the first-person perspective: an epistemology for constructive type theory , 2011, Synthese.

[20]  Bjørn Jespersen,et al.  Two Conceptions of Technical Malfunction , 2011 .

[21]  Jan Łukasiewicz,et al.  On the principle of the excluded middle , 1987 .

[22]  Kaile Su,et al.  Symbolic model checking the knowledge of the dining cryptographers , 2004, Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004..

[23]  Giuseppe Primiero,et al.  Offline and online data: on upgrading functional information to knowledge , 2012, Philosophical Studies.

[24]  B. Partee.  Compositionality and coercion in semantics: The dynamics of adjective meaning 1 , 2007 .

[25]  Simon Richards,et al.  Aximo: Automated Axiomatic Reasoning for Information Update , 2009, Electron. Notes Theor. Comput. Sci..

[26]  M. J. Cresswell,et al.  Prepositions and points of view , 1978 .

[27]  M. Sørensen,et al.  Lectures on the Curry-Howard Isomorphism , 2013 .

[28]  Kenneth Reid Beesley.  EVALUATIVE ADJECTIVES AS ONE-PLACE PREDICATES DM MONTAGUE GRAMMAR* , 1982 .

[29]  David Park,et al.  Concurrency and Automata on Infinite Sequences , 1981, Theoretical Computer Science.