1

CURRICULUMVITAE2018

JohanvanBenthem

Personal Contactdata,Education,Academicemployment,Administrativefunctions, Awardsandhonors,MilestonesPublications Books,Editedbooks,Articlesinjournals,Articlesinbooks,Articlesin conferenceproceedings,Reviews,GeneralaudiencepublicationsLectures Invitedlecturesatconferencesandworkshops,Seminarpresentations, TalksforgeneralaudiencesEditorial EditorialactivitiesTeaching& Regularcourses,Incidentalcourses,Lecturenotes,Master'stheses,supervision DissertationsOrganization Researchprojectsandgrants,Eventsorganized,Academicorganization

Personal1Contactdata

name JohannesFranciscusAbrahamKarelvanBenthembusiness InstituteforLogic,LanguageandComputation(ILLC),Universityofaddress Amsterdam,P.O.Box94242,1090GEAMSTERDAM,TheNetherlandsofficephone +31205256051 email johan.vanbenthem@uva.nlhomepage http://staff.fnwi.uva.nl/j.vanbenthemspringquarter DepartmentofPhilosophy,StanfordUniversity,Stanford,CA94305,USAofficephone +16507232547 email johan@stanford.eduMainresearchinterestsGenerallogic,inparticular,modeltheoryandmodallogic(corres–pondencetheory,temporallogic,dynamic,epistemiclogic,fixed–pointlogics).Applicationsof logic tophilosophy, linguistics, computer science, social sciences, and cognitive science(generalizedquantifiers,categorialgrammar,processlogics,informationstructure,update,games,socialagency,epistemology,logic&methodologyofscience).2Education

secondary 's–GravenhaagsChristelijkGymnasiumeducation staatsexamengymnasiumalpha,9july1966 eindexamengymnasiumbeta,9june1967university UniversiteitvanAmsterdameducation candidateofPhysics(N2),9july1969 candidateofMathematics(W1),11november1970 master'sdegreePhilosophy,25october1972 master'sdegreeMathematics,14march1973 AlltheseexamsobtainedthepredicatecumlaudePh.D.degree UniversiteitvanAmsterdam,Mathematics,2febr1977dissertation ModalCorrespondenceTheorypromotor M.H.Löb(Amsterdam)coreferent S.K.Thomason(Vancouver)

2

3Academicemployment

Permanentpositions

1sept1971–1nov1972 Candidaatsassistent,InstituutvoorGrondslagenonderzoek, UniversiteitvanAmsterdam1nov1972–1aug1977 AssistantprofessorPhilosophicalLogic,Centrale Interfaculteit,UniversiteitvanAmsterdam1aug1977–1jan1980 AssociateprofessorSymbolicLogic,Filosofisch& MathematischInstituut,RijksuniversiteitGroningen1jan1980–1jan1986 FullprofessorSymbolicLogic,Filosofisch&Mathematisch Instituut,RijksuniversiteitGroningen1jan1986–1sept2003 FullprofessorMathematicalLogicanditsApplications, Mathematics&Informatics,UniversiteitvanAmsterdam1jun1992–present Seniorresearcher,CenterfortheStudyofLanguageand Information(CSLI),StanfordUniversity1sept2003–2014 Universityprofessor,Logic,UniversiteitvanAmsterdam1sept2005–present Tenuredfullprofessor,Philosophy,StanfordUniversity1sep2017–present JinYuelinchairedprofessor,Philosophy,TsinghuaUniversityVisitingpositions

mar–jul1982 Researchassociate,CenterforAdvancedStudyintheBehavioral Sciences,Stanfordsept–dec1983 Visitingprofessor,MathematicsandPhilosophy,SimonFraser University,Vancouverjan–jul1984 Visitingprofessor,DepartmentofPhilosophy,StanfordUniversity1991–2005, Bonsallvisitingchair,SchoolofHumanities,springquarters DepartmentofPhilosophy,StanfordUniversitysept2006 Visitingfellow,NIAS(NetherlandsInstituteforAdvancedStudies), Wassenaarjan2005–2011 HonoraryVisitingProfessor,InstituteforLogicandCognition, SoonYat-senUniversity,Guangzhouoct2008–2009 WeilunProfessorofHumanities,TsinghuaUniversitydec2008–2012 VisitingProfessorandExternalAdvisor,JAIST,JapanAdvanced InstituteofScienceandTechnology2010–2012 DistinguishedForeignExpert,SchoolofHumanities,Tsinghua UniversityBeijing2013–2016 ChangjiangNationalProfessor,Departmentofphilosophy,Tsinghua UniversityBeijing

3

4AdministrativeFunctions(selection)University1974–1975 Chair,DepartmentofPhilosophy,UniversityofAmsterdam1979–1981 Chair,DepartmentofPhilosophy,UniversityofGroningen1986–1991 Director,InstituteforLanguage,LogicandInformation1987–1989 Chair,MathematicsandComputerScience,UniversityofAmsterdam1991–1998 FoundingDirector,InstituteofLogic,Languageand

Computation(ILLC),UniversityofAmsterdam1998–2001 ChairOversightCommittee,AmsterdamCentreComputationalScienceNational1976–1982 President,DutchAssociationforLogic&PhilosophyofScience1988–1991 Chair,NederlandsNetwerkvoorTaal,Logica&Informatie1992–1993 Director,DutchNationalGraduateSchoolinLogic2001–2004 Chair,NationalCognitiveScienceProgram1999–2014 President,ViennaCircleArchive2001–2012 Treasurer,BethFoundation2006–2009 MemberCognitiveScienceCommitteeKNAW2006–2009 Chair,ResearchCommitteeTalentenkracht2013–2015 MemberCuratorium,InternationaleSchoolvoorWijsbegeerteInternational1985–1995 CouncilMember,AssociationforSymbolicLogic1989–1995 Chair,ExecutiveBoard,EuropeanFoundation

ofLogic,LanguageandInformationFoLLI1994–present BoardMember,ReasoningaboutKnowledgeandRationalityTARK1999–present Vice–PresidentInternationalFederationComputationalLogic2008–present ChairStandingCommittee,LORIConferenceSeries,China2009–presentCouncilMember,IndianLogicAssociation2013–present Co–directorUvATsinghuaJointResearchCenterinLogic5AwardsandHonors1965 EssayPrize,CityofDenHaag1966 NationalEssayPrize,EuropeanCommunity1967 Beststudentawardinschoolhistory,‘sGravenhaagsChristelijkGymnasium1967 NationalexamprizesinLatin,French,Chemistry1990 WittgensteinVorlesungen,UniversityofBayreuth1991 Member,AcademiaEuropaea1992 Member,RoyalDutchAcademyofSciences1995 InternationalWhoisWho1996 SpinozaPrize,DutchNationalScienceOrganization,http://www.illc.uva.nl/lia/1998 Doctorhonoriscausa,UniversitédeLiège2000 NationalEssayPrize,HollandscheMaatschappijderWetenschappen2001 DistinguishedNationalVisitor,ResearchCouncilofTaiwan2001 Member,InstitutInternationaldePhilosophie2002 Member,HollandseMaatschappijderWetenschappen2003 UniversityProfessor,UniversityofAmsterdam

4

2004 FirstHonoraryMember,EuropeanAssociationforLogic,LanguageandInformationFoLLI

2008 HenryWaldgraveStuartProfessorinPhilosophy,StanfordUniversity2008 WeilunProfessor,SchoolofHumanitiesandSocialSciences,TsinghuaUniversity2009 DistinguishedVisitingProfessor,JapanInstituteofScienceandTechnology2010 海外名师DistinguishedInternationalExpert,ChineseMinistryofEducation2010 Best10PapersAwardinPhilosophy2009,Philosopher’sAnnual2011 AlfredTarskiLectures,UniversityofCaliforniaatBerkeley2011 HonoraryPatron,LABORESScientificResearchLab2012 ChangJiangNationalProfessorship,China2014 HonoraryMember,DutchAssociationofLogic2014 Ridder,OrdevandeNederlandseLeeuw(knighthood,OrderoftheDutchLion)2015 OpeningLecture,15thCongressonLogic,Methodology&thePhilosophyof ScienceandLogicColloquium2015,Helsinki2015 StracheyLecture,DepartmentofComputing,OxfordUniversity2015 Member,AmericanAcademyofArtsandSciences2017 JinYuelinChair,SchoolofHumanities,TsinghuaUniversity6Milestones1999 JFAK,collectionofessaysona50thbirthday,http://www.illc.uva.nl/j50/1999 DelftUniversity, libraryartworksignature,http://www.library.tudelft.nl/fileadmin /redacteur_upload/bezoekersinfo/gebouw/TU_Delft_Library.pdf2009 JournalofPhilosophicalLogic38:6,special60thbirthdayissue2014 FarewellandlegacyeventUniversityofAmsterdam,http://events.illc.uva.nl/J65/2014 OutstandingContributionsVolumeJohanvanBenthemonLogicandInformation Dynamics,A.Baltag&S.Smets,eds.,SpringerSciencePublishers2017 Scientificarchive1962–2017depositedinNationaalWetenschapsarchief,Haarlem

Publications7Books1977 ModalCorrespondenceTheory,dissertation,UniversiteitvanAmsterdam,Instituut

voorLogicaenGrondslagenonderzoekvandeExacteWetenschappen,148pp.1982 Logica,TaalenBetekenis,Spectrum,Utrecht.Withauthors'collectiveGAMUT.1983 TheLogicofTime,Reidel,Dordrecht,(SyntheseLibrary156). Revisedandexpandededitionpublishedin1991.1985 ModalLogicandClassicalLogic,Bibliopolis,Napoli(Indices3)

&HumanitiesPress,AtlanticHeights.1985 AManualofIntensionalLogic,CSLILectureNotes1, CenterfortheStudyofLanguageandInformation,Stanford.1986 EssaysinLogicalSemantics,Reidel,Dordrecht,

StudiesinLinguisticsandPhilosophy29.1987 Situations,LanguageandLogic,Reidel,Dordrecht,

StudiesinLinguisticsandPhilosophy34.With coauthorsJ–EFenstad,P–KHalvorsen&T.Langholm.

5

1988 AManualofIntensionalLogic,CSLIPublications, Stanford&TheUniversityofChicagoPress,Chicago.1991 LanguageinAction:Categories,LambdasandDynamic

Logic,North–Holland,Amsterdam,(StudiesinLogic130). PaperbackreprintwithnewAppendix,TheMITPress,1995.1991 Logic,LanguageandMeaning,TheUniversityofChicago

Press.ExpansionandrevisionofGAMUT1982.1991 LogicavoorInformatici,Addison–Wesley,Amsterdam. Withco–authorsH.vanDitmarsch,J.Ketting,W.MeyerViol.1996 ExploringLogicalDynamics,StudiesinLogic,Languageand

Information,CSLIPublications&CambridgeUniversityPress.2001 LogicinAction,SpinozaProject,ILLCAmsterdam,with

PaulDekker,JanvanEijck,MaartendeRijke,andYdeVenema.2002 IntroducciónalaLógica,Eudeba,BuenosAires,SpanishversionGAMUT1991.2003 LogicavoorInformatica,revisedandexpandededitionofLVI1991.

WithHansvanDitmarschandJosjeLodder.

2005 HoeWiskundeWerkt,ILLC/KdV/IIS,withRobbertDijkgraaf.

2009 LogicainActie,OpenUniversity,Heerlen,SDUAcademicService:http://www.sdu.nl/catalogus/9789039525999withHansvanDitmarsch,JanvanEijckandJanJaspars.

2009 ADoortoLogic,Chinesetranslationofselectedpapers,4volumes(“ModalLogic,–2012 InformationandComputation”,“ModalCorrespondenceTheory”,“Logic,Language andCognition”,“Logic,PhilosophyandMethodology”),SciencePress,Beijing.2010 ModalLogicforOpenMinds,CSLIPublications,Stanford.2011 LogicalDynamicsofInformationandInteraction,CambridgeUniversityPress.2012 LogicinAction,OpenSourceTextbook,http://www.logicinaction.org/ withHansvanDitmarsch,JanvanEijck,JanJasparsandcollaborators inAmsterdam,Beijing,Seville,andStanford.2014 LogicinGames,TheMITPress,Cambridge(Mass.).2017 TheCommercialPress,Beijing,ChineseversionGAMUT1991.

Inpreparation

TheMusicofKnowledge,Dynamic–EpistemicLogicandEpistemology,withAlexandruBaltag&SonjaSmets.

8 EditedBooks1985 GeneralizedQuantifiersinNaturalLanguage Foris,Dordrecht,(GRASS,vol.4);withA.terMeulen.1988 Categories,PolymorphismandUnification,CentreforCognitive

Science(UniversityofEdinburgh)&InstituteforLanguage,LogicandInformation(UniversityofAmsterdam);withE.Klein.

6

1988 CategorialGrammar,JohnBenjamins,AmsterdamandPhiladelphia;withW.BuszkowskiandW.Marciszewski.

1990 SemanticsandContextualExpression,Foris,Dordrecht,

(GRASS,vol.11);withR.BartschandP.vanEmdeBoas.1996 Proceedings10thInternationalCongressonLogic,Methodologyand

PhilosophyofScience.Florence1995,volumes"LogicandScientificMethods","StructuresandNormsinScience",KluwerAcademicPublishers,Dordrecht;withM.DallaChiara,K.DoetsandD.Mundici.

1996 LogicandTheoryofArgumentation,RoyalDutchAcademy,

Amsterdam;withF.vanEemeren,R.Grootendorst&F.Veltman.1997 HandbookofLogicandLanguage

http://mitpress.mit.edu/catalog/item/default.asp?tid=8458&ttype=2 North–Holland,Amsterdam&MITPress;withAliceterMeulen.2001 Proceedings8thConferenceonTheoreticalAspectsofRationality andKnowledge,MorganKaufmannPublishers,SanFrancisco.2002 Words,Proofs,andDiagrams,CSLIPublications,Stanford;with D.Barker–Plummer,D.Beaver,D.Israel,P.ScottodiLuzio.2006 TheAgeofAlternativeLogics,Springer,Dordrecht

withG.Heinzmann,M.Rebuschi&H.Visser.2006 HandbookofModalLogic,http://www.lsc.liv.ac.uk/~wolter/hml/

http://www.elsevier.com/wps/find/bookdescription.cws_home/708884/descriptionElsevier,Amsterdam;withPatrickBlackburn&FrankWolter.

2007 AMeetingoftheMinds,ProceedingsLORIWorkshopBeijingAugust2007, King'sCollegePublications,London;withJuShierandFrankVeltman.2007 HandbookofSpatialLogics,http://www.dit.unitn.it/~aiellom/hsl

Springer,Dordrecht;withMarcoAiello&IanPratt–Hartmann.2007 FoundationsoftheFormalSciencesV:InfiniteGames StudiesinLogic,CollegePublications,London;with StefanBold,BenediktLöwe,ThoralfRäsch.2007 LogicataCross–Roads:logicanditsinterdisciplinaryenvironment,

AlliedPublishers,Mumbai,withA.Gupta&R.Parikh.2007 LogicsforInteraction,AugustusdeMorganWorkshop2005,

TextsinLogicandGames,AmsterdamUniversityPress,withDovGabbayandBenediktLoewe.

2008 LogicandIntelligentInteraction,ProceedingsWorkshopESSLLIXV, UniversityofHamburg,withEricPacuit,153pp.2008 HandbookofthePhilosophyofInformation,http://www.illc.uva.nl/HPI/

ElsevierSciencePublishers,Amsterdam,withPieterAdriaans.2009 WatCognitiewetenschappersBezielt,withB.MolsenP.Hagoort,NWO.2010 HandbookofLogicandLanguage,SecondEdition,ElsevierScience Direct,Amsterdam,withAliceterMeulen.

7

2011 “LogicattheCross–Roads”,Vol.1+2:Proof,Computation,andAgency andGames,NormsandReasons,Springer,withA.Gupta&E.Pacuit.2011 LogicandPhilosophyToday,CollegePublications,London,Studies InLogic,Vol’s.29&30,withAmitabhaGupta.2013 LogicAcrosstheUniversity.FoundationsandApplications,College

Publications,London,StudiesinLogic,Vol.47,withFenrongLiu.2016 ReadingsinFormalEpistemology,SpringerSciencePublishers, withHoracioArló–Costa&VincentHendricks.2016 ModelsofStrategicReasoning,withSujataGhosh&RinekeVerbrugge,

SpringerLectureNotesinAI,FoLLISeries.9 ArticlesinJournals19731BestaanDenkwetten?,AlgemeenNederlandsTijdschriftvoorWijsbegeerte65,120–125.19742HintikkaonAnalyticity,JournalofPhilosophicalLogic3,419–431.3SemanticTableaus,NieuwArchiefvoorWiskunde22,44–59.19754ASet–TheoreticalEquivalentofthePrimeIdealTheoremforBooleanAlgebras,

FundamentaMathematicae89,151–153.5ANoteonModalFormulaeandRelationalProperties,Journal ofSymbolicLogic40,55–58.19766ModalReductionPrinciples,JournalofSymbolicLogic41,301–312.7ModalFormulasareeitherElementaryornotΣ-Δ-Elementary, JournalofSymbolicLogic41,436–438.8EnkeleOpmerkingenoverZelfreferentieenZelfweerlegging, AlgemeenNederlandsTijdschriftvoorWijsbegeerte68,250–270.19779TenseLogicandStandardLogic,LogiqueetAnalyse20,41–83.197810FourParadoxes,JournalofPhilosophicalLogic7,49–72.11RamseyEliminability,StudiaLogica37:4,321–336.12TwoSimpleIncompleteModalLogics,Theoria44:1,25–37.13TransitivityFollowsfromDummett'sAxiom,Theoria44:2,117–118.[WithWimBlok.]197914CanonicalModalLogicsandUltrafilterExtensions,Journal ofSymbolicLogic44:1,1–8.15MinimalDeonticLogics,BulletinoftheSectionofLogic8:1,36–42.16WhatisDialecticalLogic?,Erkenntnis14,333–347.17SyntacticAspectsofModalIncompletenessTheorems,Theoria45:2,63–77.

8

198018SomeKindsofModalCompleteness,StudiaLogica39:2/3,125–141.198119HistorischeVergissingen?KanttekeningenbijdeFregeaanseRevolutie indeLogica,KennisenMethode5:2,94–116.20FunderingofOndermijning?,NieuwArchiefvoorWiskunde29:3,254–284.198221TheDynamicsofInterpretation,JournalofSemantics1,3–20.[WithJanvanEijck.]22TheLogicalStudyofScience,Synthese51,431–472.23LaterthanLate:ontheLogicalOriginoftheTemporalOrder, PacificPhilosophicalQuarterly63,193–203.198324LogicalSemanticsasanEmpiricalScience,StudiaLogica42:2/3,299–313.25HalldénCompletenessbyGlueingofKripkeFrames,NotreDameJournal ofFormalLogic24,426–430.[WithLloydHumberstone.]26DeterminersandLogic,LinguisticsandPhilosophy6:4,447–478.198427QuestionsaboutQuantifiers,JournalofSymbolicLogic49:2,443–466.28TenseLogicandTime,NotreDameJournalofFormalLogic25:1,1–16.29FoundationsofConditionalLogic,JournalofPhilosophicalLogic13,303–349.30AMathematicalCharacterizationofInterpretationbetweenTheories, StudiaLogica43:3,295–303.[WithDavidPearce.]31PossibleWorldsSemantics:aResearchProgramthatCannotFail?, StudiaLogica43:4,379–393.32Analytic/Synthetic:SharpeningaPhilosophicalTool,Theoria50:2/3,106–137.198533SituationsandInference,LinguisticsandPhilosophy8,3–9.34TheVarietyofConsequence,AccordingtoBolzano,StudiaLogica44:4,389–403.198635TensesinRealTime,ZeitschriftfürmathematischeLogikundGrundlagen derMathematik32,61–72.36Partiality&Non–MonotonicityinClassicalLogic,LogiqueetAnalyse29,225–247.37TheRelationalTheoryofMeaning,LogiqueetAnalyse29,251–273.198738Meaning:InterpretationandInference,Synthese73:3,451–470.198839ANoteonJónsson'sTheorem,AlgebraUniversalis25,391–393.40VragenomTypen,GLOT10:3,333–352.41LogicalSyntax,TheoreticalLinguistics14,119–142.198942NotesonModalDefinability,NotreDameJournalofFormalLogic30:1,20–35.43PolyadicQuantifiers,LinguisticsandPhilosophy12:4,437–464.

9

44LogicalConstantsacrossVaryingTypes,NotreDameJournalof FormalLogic30:3,315–342.199045CategorialGrammarandTypeTheory,JournalofPhilosophicalLogic19,115–168.46KunstmatigeIntelligentie:EenVoortzettingvandeFilosofiemetAndereMiddelen,

AlgemeenNederlandsTijdschriftvoorWijsbegeerte82,83–100.47ComputationversusPlayasaParadigmforCognition, ActaPhilosophicaFennica49,236–251.199148EditorialInformationSciences,JournalofLogic,Language,andInformation1,1–4.49LanguageinAction,JournalofPhilosophicalLogic20,1–39.50GeneralDynamics,TheoreticalLinguistics17:1/2/3,151–201.199251LogicasProgramming,FundamentaInformaticae17:4,285–317.52ModelingtheKinematicsofMeaning,Proceed'sAristoteleanSociety1992,105–122.199353ModalFrameClassesRevisited,FundamentaInformaticae18:2/3/4,307–317.54TheElusiveLocusofLogicality,guesteditorial,JournalofLogic andComputation3:5,451–453.55ReflectionsonEpistemicLogic,LogiqueetAnalyse34(vol.133–134),5–14.199456ModalLogic,TransitionSystemsandProcesses,JournalofLogicand Computation4:5,811–855.[WithJanvanEijckandVeraStebletsova.]199557LogicofTransitionSystems,JournalofLogic,Languageand Information3:4,247–283.[WithJanBergstra.]58DirectionsinGeneralizedQuantifierTheory,StudiaLogica55:3, 389–419.[WithDagWesterståhl.]59BackandForthBetweenModalLogicandClassicalLogic,Bulletin

oftheInterestGroupinPureandAppliedLogics3,August1995,685–720,LondonandSaarbruecken.

199660LogicainBeweging:deDynamiekvanRedenerenenBetekenis, HandelingenKNAW,6.1.96,AfdelingLetterkunde,Amsterdam.61WatisMismetdeFilosofie?,ErgoCogito5,HistorischeUitgeverijGroningen,27–36.62Space,TimeandComputation:TrendsandProblems,editorial,specialissueon

SpatialandTemporalReasoning,InternationalJournalofAppliedIntelligenceVol.6,No.1,5–9.[WithFrankAnger,RitaRodriguezandHansGuesgen.]

199763Logic,LanguageandInformation:TheMakingsofaNewScience?, guesteditorial,JournalofLogic,LanguageandInformation6:1,1–3.64CognitiveActionsinFocus,guesteditorial[withco–editorYoavShoham],special

TARKissue,JournalofLogic,LanguageandInformation6:2,119–121.

10

65ModalFoundationsforPredicateLogic,BulletinoftheIGPL5:2,259–286,LondonandSaarbruecken,(R.deQueiroz,ed.,Proc'sWoLLIC,Recife1995).

66ModalDeductioninSecond–OrderLogicandSetTheory.PartI, LogicandComputationVolume7:2,251–265.[WithGiovanna d'Agostino,AngeloMontanariandAlbertoPolicriti.]199867ProgrammingOperationsthatareSafeforBisimulation,Studia Logica60:2(LogicColloquium.Clermont–Ferrand1994),311–330.68LogischeDynamiek,ThemanummerANTW90:1,54–70.69ModalLogicsandBoundedFragmentsofPredicateLogic,Journalof PhilosophicalLogic27:3,217–274.[WithHajnalAndréka&IstvanNémeti.]70ModalDeductioninSecond–OrderLogicandSetTheory,II,StudiaLogica60,

387–420.[WithGiovannad'Agostino,AngeloMontanari&AlbertoPolicriti.]71PointsonTime,ENRACElectronicNewsletter4:10,ReasoningaboutActionand

Change,Linköping:http://www.ida.liu.se/ext/etai/rac/notes/1998/03/debet.html.199972WiderStillandWider:resettingtheboundsoflogic,inA.Varzi,ed., TheEuropeanReviewofPhilosophy,CSLIPublications,Stanford,21–44.73TemporalPatternsandModalStructure,inA.Montanari,A.Policriti&Y.Venema,

eds.,SpecialissueonTemporalLogic,LogicJournaloftheIGPL7:1,7–26.74Modality,BisimulationandInterpolationinInfinitaryLogic,Annalsof PureandAppliedLogic96,29–41.75Interpolation,Preservation,andPebbleGames,JournalofSymbolicLogic64:2,

881–903.[WithJonBarwise.]76TheRangeofModalLogic,JournalofAppliedNon–ClassicalLogics, vol.9:2/3(issueinMemoryofGeorgeGargov),407–442.200077InformationTransferAcrossChuSpaces,LogicJournaloftheIGPL8:6,719–731.200178GamesinDynamicEpistemicLogic,inG.Bonanno&W.vanderHoek,eds.,

BulletinofEconomicResearch53:4,219–248(ProceedingsLOFT–4,Torino).79ActionandProcedureinReasoning,CardozoLawReview22,1575–1593.200280LogicinAction,5JaarLater,Alg.Ned'sTijdschriftvoorWijsbegeerte2,146–150.81ExtensiveGamesasProcessModels,inM.Pauly&P.Dekker,eds.,special

issueofJournalofLogic,LanguageandInformation11,289–313.200382AModalWalkthroughSpace,JournalofAppliedNon–ClassicalLogic12:3/4,

319–363.[WithMarcoAiello.]83ConnectingtheDifferentFacesofInformation,editorialguest–editedvolume, JournalofLogic,LanguageandInformation12:4.[WithRobertvanRooij.]84ConditionalProbabilityMeetsUpdateLogic,JournalofLogic,Language

andInformation12:4,409–421.85LogicGamesareCompleteforGameLogics,StudiaLogica75,183–203.

11

86LogicandtheDynamicsofInformation,MindsandMachines13:4, specialissue,(L.Floridi,ed.),503–519.87EuclideanHierarchyinModalLogic,StudiaLogica75,327–344. [WithGuramBezhanishviliandMaiGehrke.]88ReasoningAboutSpace:TheModalWay,LogicandComputation13:6, 889–920.[WithMarcoAielloandGuramBezhanishvili.]89AMini–GuidetoLogicinAction,PhilosophicalResearches2004, Suppl.,21–30,Beijing,ChineseAcademyofSciences.200490WhatOneMayCometoKnow,Analysis64(282),95–105.91DiversityofLogicalAgentsinGames,PhilosophiaScientiae8:2, 163–178.[WithFenrongLiu.]200592MinimalPredicates,Fixed–Points,andDefinability, JournalofSymbolicLogic70:3,696–712.93Guards,Bounds,andGeneralizedSemantics,JournalofLogic, LanguageandInformation14,263–279.200694EpistemicLogicandEpistemology:thestateoftheiraffairs, PhilosophicalStudies128,2006,49–76.95ModalFrameCorrespondencesandFixed–Points,StudiaLogica83:1,133–155.96WhereisLogicGoing,andShouldIt?,Topoi25,117–122.97LogicsofCommunicationandChange,InformationandComputation204(11):

1620–1662.[WithJanvanEijckandBarteldKooi.]98EpistemicLogicandEpistemology:thestateoftheiraffairs,Chinesetranslation

of[94]byFenrongLiu,WorldPhilosophy6,pp.73–83.200799TheUbiquityofComputation,GuestEditorial,TransactionsonComputational Logic.100RationalizationsandPromisesinGames,PhilosophicalTrends,Supplement2006

onlogic,ChineseAcademyofSocialSciences,Beijing,1–6.101Introduction,Topoi26:1–2,specialissueonLogicandPsychology,

withco–editorsHelenandWilfridHodges.102MultimodalLogicsofProductsofTopologies,StudiaLogica84,369–392.

[WithGuramBezhanishvili,BaldertenCate,andDarkoSarenac.]103RationalDynamicsandEpistemicLogicinGames,InternationalGameTheory Review9:1,2007,13–45.Erratumreprint,Volume9:2,377–409.104DynamicLogicofBeliefRevision,JournalofAppliedNon–ClassicalLogics

17:2,129–155.105DynamicLogicofPreferenceUpgrade,JournalofAppliedNon–ClassicalLogics

17:2,157–182.[WithFenrongLiu.]106ANewModalLindströmTheorem,LogicaUniversalis1,125–138.2008107Editorial,Synthese160:1,1–4.[WithVincentHendricksandJohnSymons.]108LogicandReasoning:dothefactsmatter?,StudiaLogica88,67–84.

12

109TellItLikeItIs:InformationFlowinLogic",JournalofPekingUniversity(HumanitiesandSocialScienceEdition),No.1,80–90.

110InferenceinAction,Publicationsdel’InstitutMathématique, NouvelleSérie82(96),Beograd,3–16.111AbductionattheInterfaceofLogicandPhilosophyofScience, Theoria22/3,271–273.112MergingObservationandAccessinDynamicEpistemicLogic,StudiesinLogic1:1,1–16.113TheManyFacesofInterpolation,Synthese164:3,451–460.114ModalLogicandInvariance,JournalofAppliedNon–ClassicalLogics 18:2–3,153–173.[WithDenisBonnay.]115ModelingSimultaneousGamesinDynamicLogic,Synthese(KRA)165:2, 247–268.[WithSujataGhoshandFenrongLiu.]116Constanten,ofVariabelen,vanhetLogischDenken,ANTW100:4,296–304.117LogicalPluralismMeetsLogicalDynamics?,TheAustralasianJournalofLogic,

Volume6,28pages.December17,2008.2009118EverythingElseBeingEqual:AModalLogicforCeterisParibusPreferences,Journal ofPhilosophicalLogic38:1,83–125.[WithPatrickGirardandOlivierRoy.]119TheInformationinIntuitionisticLogic,Synthese167:2,251–270.120MergingFrameworksforInteraction,JournalofPhilosophicalLogicon–line, January16,2009.[WithJelleGerbrandy,TomohiroHoshiandEricPacuit.] Paperversion:JPLVolume38:5(2009),491–526.121LogicandIntelligentInteraction,Editorial,specialissueofKnowledge,Rationality &Action,Synthese169:2,219–221.[WithThomasÅgotnes&EricPacuit.]122LindströmTheoremsforFragmentsofFirst–OrderLogic,LogicalMethodsin

ComputerScience5:3,1–27.[WithBaldertenCate&JoukoVäänänen.]123DynamicUpdatewithProbabilities,StudiaLogica93:1,67–96. [WithJelleGerbrandy&BarteldKooi.]2010124TemporalLogicsofAgency,Editorial,JournalofLogic,Languageand Information19:4,1–5.[WithEricPacuit.]125GameSolution,EpistemicDynamics,andFixed–PointLogics,Fundamenta Informaticae100,19–41.[WithAmélieGheerbrant.]126TheDynamicsofAwareness,Knowledge,Rationality&Action,Springeron–line. Synthese177:1,5–27.[WithFernandoVelazquez.]127ALogicianLooksatArgumentationTheory,Cogency1:2,UniversidadDiegoPortales.128McCarthyVariationsinaModalKey,ArtificialIntelligence175:1,428–439. JohnMcCarthy'sLegacy,LeoraMorgenstern&SheilaA.McIlraith,eds.129LogicandPhilosophyToday:EditorialIntroduction,JournalofIndianCouncilof PhilosophicalResearchXXVII:1&2,1–7.[WithAmitabhaGupta.]130CategorialversusModalInformationTheory,LinguisticAnalysis36:1–4,533–544.131JoachimLambek:theBeautyofMathematicsinLanguage,LinguisticAnalysis 36:1–4,i–viii.[WithMichaelMoortgat.]132Кудадолжна,идолжнали,двигатьсялогика?,RussianTranslationof “WhereisLogicGoing,andShouldIt?”(Topoi,2006,#96),Vox9,electronic journalofphilosophy,Moscow,http://vox–journal.org/html/issues/vox9.

13

2011133TowardaTheoryofPlay:ALogicalPerspectiveonGamesandInteraction,GAMES 20112(1),52–86;doi:10.3390/g2010052.[WithEricPacuit&OlivierRoy.]134Introductionto‘LogicandPhilosophyofScience:intheFootstepsofE.W.Beth’, Synthese179:2,203–206.[WithTheoKuipersandHenkVisser.]135Логикавдействии.Введение,Russiantranslationof‘AMiniguidetoLogicinAction’, VOX10,http://vox–journal.org/html/issues/145,Philosophicalinstitute,Moscow.136DynamicLogicofEvidence–Basedbeliefs,StudiaLogica99:1,61–92. [WithEricPacuit.]137LogicinaSocialSetting,Episteme8:3,227–247.138ModelsofReasoninginAncientChina,StudiesinLogic4:3,57–81.

[WithFenrongLiu&JeremySeligman.]139Question-AnswerGames,JournalofAppliedNon-ClassicalLogics21:3–4.

265–288.[WithThomasÅgotnes,HansvanDitmarschandStefanMinica.]2012140TowardaDynamicLogicofQuestions,JournalofPhilosophicalLogic41:4, 633–669.[WithStefanMinica.]141TheLogicofEmpiricalTheoriesRevisited,Synthese186:3,775–792.142LogicandPsychology:DotheFactsMatter?,Chinesetranslation,Journal

ofHubeiUniversity(PhilosophyandSocialSciences)39:3,1–9.143SahlqvistCorrespondenceforModalMu–Calculus.StudiaLogica100,31–60.

[WithNickBezhanishviliandIanHodkinson.]144TheNetsofReason,ArgumentandComputation3:2/3:83–86.2014145EvidenceandPlausibilityinNeighborhoodStructures.AnnalsofPureand AppliedLogic,165,106–133.[WithDavidFernández–Duque&EricPacuit.]146ModelingReasoninginaSocialSetting,StudiaLogica102:2,235–265.147NaturalLanguageandLogicofAgency,JournalofLogic,Languageand Information23:3,367–382.148PriorityStructuresinDeonticLogic,Theoria80:2,116–152. [WithDavideGrossiandFenrongLiu.]149WhereisLogicGoing?,prefacetoacollectionofdiscussionpieces,

StudiesinLogic7:1,84–99.[WithFenrongLiu.]150DeonticLogicandPreferenceChange,IFCOLOGJournalofLogicsandtheir Applications,1–46.[WithFenrongLiu.]2015151FanningtheFlamesofReason,NieuwArchiefvoorWiskunde5/16:1,52–61.152RazduvajaOgonRazuma,VOX18electronicjournal,PhilosophicalInstitute, MoscowUniversity,1–24.153FanningtheFlamesofReason,Chineseversion,StudiesinLogic8:1,2–22.154LogicandPhilosophy:ASeaofStories,TsinghuaStudiesinWesternPhilosophy1:1, 124–153.155RechtvaardigenalsDynamischLogischProces,AlgemeenNederlandsTijdschrift voorWijsbegeerte107:2,147–153.

14

156FeelingtheRhythmsofaField,Preface,specialissueonLogicandGames, StudiesinLogic8:4,1–6.2016157ABimodalPerspectiveonPossibilitySemantics,LogicandComputationon–line 10.1093/logcom/exw024.[WithNickBezhanishviliandWesleyHolliday.]2017158InstantialNeighborhoodLogic,ReviewofSymbolicLogic10:1,116–144, http://dx.doi.org/10.1017/S1755020316000447.[WithNickBezhanishvili, SebastianEnqvistandJunhuaYu.]159OnaNewSemanticsforFirst-OrderPredicateLogic,JournalofPhilosophicalLogic

46:3,259–267.[WithHajnalAndrékaandÍstvanNémeti.]160AnOldDisciplinewithaNewTwist:TheCourse‘LogicinAction’,TheIFcologJournal ofLogicsandtheirApplications4:1,33–53.161NaturalLogic:TheInvestigationsofthe1980s,Georgianlanguagesurvey, GeorgianJournalofLogic,LanguageandComputation5,55–85.162SymbolicModel-CheckingforDynamic–EpistemicLogic,JournalofLogicandCompu- tation,November,https://academic.oup.com/logcom/advance-article/doi/10.1093 [WithJanvanEijck,MalvinGattingerandKaileSu.]163ModalLogicsofSabotageRevisited,JournalofLogicandComputation, on-lineversion,https://doi.org/10.1093/logcom/exx034 [WithGuillaumeAucherandDavideGrossi.]2018164Современная логика: основания, предмет и перспективы развития. Сборник научных статей / ред.: Д.В. Зайцев. — М.: ИД «ФОРУМ», 306–344. 165ComputationasSocialAgency,InformationandComputation, https://doi.org/10.1016/j.ic.2017.09.009166ConstructiveAgents,IndagationesMathematicae,Brouwerissue. DOI:10.1016/j.indag.2017.10.004167APropositionalDynamicLogicforInstantialNeighborhoodSemantics, StudiaLogicaon-line,https://doi.org/10.1007/s11225-018-9825-5,1–33. [WithNickBezhanishviliandSebastianEnqvist.] Toappear

168LogicsforAnalyzingGames,StanfordElectronicEncyclopediaofPhilosophy. [WithDominikKlein.]169SomeThoughtsontheLogicofImpreciseMeasurement,TsinghuaPhilosophyJournal. [WithAlexandruBaltag.]170MixingGraphGamesandLogicDesign,TsinghuaPhilosophyJournal. [WithFenrongLiu.]171ANewGameEquivalence,ItsLogicandAlgebra,JournalofPhilosophicalLogic. [WithNickBezhanishvili&SebastianEnqvist.]172ZoomingInandZoomingOutinLanguageandProof,Synthese.173ImplicitandExplicitStancesinLogic,JournalofPhilosophicalLogic.

15

10 ArticlesinBooks19731Grondslagenonderzoek,SpectrumEncyclopedie,HetSpectrum,Utrecht.19802PointsandPeriods,inCh.Rohrer,ed.,Time,TenseandQuantifiers, NiemeyerVerlag,Tübingen,39–58.19813TenseLogic,Second–OrderLogicandNaturalLanguage,inU.Mönnich,ed., AspectsofPhilosophicalLogic,Reidel,Dordrecht,1–20.4WhyisSemanticsWhat?,inJ.Groenendijk,T.JanssenandM.Stokhof,eds.,Formal

MethodsintheStudyofLanguage,Math.CentreTract135,Amsterdam,29–49.19825RechtenRedeneren,inA.SoetemanandP.W.Brouwer,eds., LogicaenRecht,TjeenkWillink,Zwolle,61–70.19836FiveEasyPieces,inA.terMeulen,ed.,StudiesinModel–TheoreticSemantics, Foris,Dordrecht,(GRASSseries,vol.1),1–17.7Higher–OrderLogic,inD.GabbayandF.Guenthner,eds.,Handbookof

PhilosophicalLogic,vol.I.,Reidel,Dordrecht,275–329.[WithKeesDoets.]19848CorrespondenceTheory,inD.GabbayandF.Guenthner,eds.,,

HandbookofPhilosophicalLogic,Vol.II.,Reidel,Dordrecht,167–247.9TheLogicofSemantics,inF.LandmanandF.Veltman,eds.,Varietiesof FormalSemantics,Foris,Dordrecht,(GRASSseries,vol.3),55–80.198510ThemesfromaWorkshop,inJ.vanBenthemandA.terMeulen,eds.,Generalized

QuantifiersinNaturalLanguage,Foris,Dordrecht,(GRASS4),161–169.11SemanticsofTime,inJ.JacksonandJ.Michon,eds., Time,MindandBehaviour,Springer,Heidelberg,266–278.198612ALinguisticTurn:NewDirectionsinLogic,inR.Marcusetal.,eds.,Proceedings

7thInternationalCongressofLogic,MethodologyandPhilosophyofScience.Salzburg1983,North–Holland,Amsterdam,205–240.

13TheUbiquityofLogicinNaturalLanguage,inW.LeinfellnerandF.Wuketits,eds.,TheTasksofContemporaryPhilosophy,Hölder–Pichler–Tempsky,Wien,177–186.

14HetCategorialeWereldbeeld,inC.Hoppenbrouwersetal.,eds., ProevenvanTaalwetenschap,TABU,Groningen,1–18.198715SemanticAutomata,inD.deJonghetal.,eds.,1987,Studiesinthe TheoryofGeneralizedQuantifiersandDiscourseRepresentation, Foris,Dordrecht,(GRASSseries,vol.8),1–25.16TowardsaComputationalSemantics,inP.Gärdenfors,ed.,GeneralizedQuantifiers:

LinguisticandLogicalApproaches,Reidel,Dordrecht,31–71.

16

17VerisimilitudeandConditionals,inT.Kuipers,ed.,1987,Whatis Closer–to–the–Truth?,Rodopi,Amsterdam,103–128.18CategorialGrammarandLambdaCalculus,inD.Skordev,ed.,Mathematical LogicanditsApplications,PlenumPress,NewYork,39–60.198819CategorialEquations,inE.KleinandJ.vanBenthem,eds.,Categories, PolymorphismandUnification,EdinburghandAmsterdam,1–17.20TheLambekCalculus,inR.Oehrle,E.BachandD.Wheeler,eds.,Categorial

GrammarsandNaturalLanguageStructures,Reidel,Dordrecht,35–68.21StrategiesofIntensionalization,inI.Bodnar,A.MateandL.Pólos,eds.,

AFilozofiaiFigyeloKiskonyvtara,KeziratGyanant,Budapest,41–59.22SemanticTypeChangeandSyntacticRecognition,inG.Chierchia,B.Partee&R.

Turner,eds.,Properties,TypesandMeaning,vol.I,Reidel,Dordrecht,231–249.23GamesinLogic,inJ.Hoepelman,ed.,RepresentationandReasoning, NiemeyerVerlag,Tübingen,3–15,165–168.24NewTrendsinCategorialGrammar,inW.Buszkowskietal.,eds., CategorialGrammar,JohnBenjamin,Amsterdam/Philadelphia,23–33.25TheSemanticsofVarietyinCategorialGrammar,inW.Buszkowskietal.,

eds.,CategorialGrammar,JohnBenjamin,Amsterdam,37–55.198926Time,LogicandComputation,inJ.W.deBakker,W.–P.deRoever&G.Rozenberg,

eds.,LinearTime,BranchingTimeandPartialOrderinLogicsandModelsforConcurrency,Springer,Berlin,1–49.

27SemanticParallelsinNaturalLanguageandComputation,inH–DEbbinghausetal.,eds.,1989,LogicColloquium.Granada1987,North–Holland,Amsterdam,331–375.

28ReasoningandCognition,inH.Schnelle&N–OBernsen,eds.,LogicandLinguistics.ResearchDirectionsinCognitiveScience,L.Erlbaum,Hove(UK),185–208.

29LogicalSemantics,inH.Schnelle&N–OBernsen,eds.,LogicandLinguistics.ResearchDirectionsinCognitiveScience,L.Erlbaum,Hove(UK),109–126.

199030WhatisExtensionality?,inJ.Kelemenetal.eds.,1990,AnnalesUniversitatis

ScientiarumBudapestinensisDeRolandoEötvösNominataeXXII–IIII,213–220.199131BeyondAccessibility:NewSemanticsforModalPredicateLogic,inM.deRijke,ed.,

ModalLogicColloquium,DutchNetworkLanguage,Logic&Information,1–14.32TemporalLogic,TheEncyclopediaofLanguageandLinguistics,PergamomPressand UniversityofAberdeenPress,Edinburgh.33LinguisticUniversalsinLogicalSemantics,inD.Zaefferer,ed.,SemanticUniversals

andUniversalSemantics,Foris,Berlin,(GRASSseries),17–36.34GeneralizedQuantifiersandGeneralizedInference,inJ.vanderDoes&J.vanEijck,

eds.,QuantificationintheNetherlands,SemanticParallelsProject,CWI,Amsterdam.199235Fine–StructureinCategorialSemantics,inM.Rosner&R.Johnson,eds.,

ComputationalLinguisticsandLogicalSemantics,CambridgeUP,127–157.

17

199336BeyondAccessibility:FunctionalModelsforModalLogic,inM.deRijke,ed., DiamondsandDefaults,Kluwer,Dordrecht,1–18.37QuantifiersandInference,inM.Krynicki,M.Mostowski&L.W.Szczerba,eds.,

Quantifiers,vol.II,KluwerAcademicPublishers,Dordrecht,1–20.38LogicandtheFlowofInformation,inD.Prawitz,B.Skyrms&D.Westerståhl,eds.,

Proceedings9thInternationalCongressofLogic,MethodologyandPhilosophyofScience.Uppsala1991,ElsevierSciencePublishers,Amsterdam,693–724.

39Foreword,inM.Kanazawa&Ch.Piñon,eds.,Dynamics,QuantificationandPolarity, CSLIPublications,Stanford.199440TheLandscapeofDeduction,inK.Dosen&P.Schröder–Heister,eds., SubstructuralLogics,ClarendonPress,Oxford,357–376.41DynamicArrowLogic,inJ.vanEijck&A.Visser,eds.,Logicand InformationFlow,TheMITPress,Cambridge(Mass.),15–29.42GeneralDynamicLogic,inD.Gabbay,ed.,WhatisaLogicalSystem?, OxfordUniversityPress,Oxford,107–139.43ANewWorldUnderneathStandardLogic,inK.Apt&L.Schrijvers&N.Temme,

eds.,FromUniversalMorphismstoMegabytes:ABaayenSpaceOdyssey,CentreforMathematicsandComputerScience(CWI),Amsterdam,179–186.

199544TemporalLogic,inD.Gabbay,C.Hoggar&J.Robinson,eds.,HandbookofLogicin

ArtificialIntelligenceandLogicProgramming,4,OxfordUniversityPress,241–350.45NNIL,AStudyinIntuitionisticPropositionalLogic,inA.Ponse,M.deRijke&

Y.Venema,eds.,ModalLogicandProcessAlgebra,CSLILectureNotes,Stanford,289–326.[WithAlbertVisser,DickdeJonghandGerardRenardeldeLavalette.]

46SubmodelPreservationTheoremsinFinite–VariableFragments,inA.Ponse,M.deRijke&Y.Venema,eds.,ModalLogicandProcessAlgebra,CSLILectureNotes,CambridgeUP,1–11.[WithHajnalAndrékaandIstvanNémeti.]

199647QuantifiersintheWorldofTypes,inJaapvanderDoesandJanvanEijck,eds.,

Quantifiers,LogicandLanguage,CSLILectureNotes54,Stanford,47–62.48ComplexityofContentsversusComplexityofWrappings,inM.Marx,M.Masuch&

L.Pólos,eds.,ArrowLogicandMultimodalLogic,StudiesinLogic,Language&Information,CSLIPublications,StanfordandCambridgeUP,203–219.

49Dynamics,achapterinJ.vanBenthem&A.terMeulen,eds., HandbookofLogicandLanguage,ElsevierSciencePublishers, Amsterdam,587–648.[WithReinhardMuskensandAlbertVisser.]50Inference,MethodologyandSemantics,inP.Bystrov&V.Sadofsky,eds.,

PhilosophicalLogicandLogicalPhilosophy,EssaysinHonourofVladimirSmirnov,KluwerAcademicPublishers,Dordrecht,63–82.

51Bisimulation:TheNever–EndingStory,inJ.Tromp,ed.,ADynamicandQuickIntellect.LiberAmicorumPaulVitányi,CWI,Amsterdam,23–27.

52ModalLogicasaTheoryofInformation,inJ.Copeland,ed.,LogicandReality.EssaysontheLegacyofArthurPrior,ClarendonPress,Oxford,135–168.

18

53LogicandArgumentationTheory,inF.vanEemeren,R.Grootendorst,J.van

Benthem&F.Veltman,eds.,ProceedingsColloquiumonLogicandArgumentation,RoyalDutchAcademyofSciences,Amsterdam,27–41.

199754ModalQuantificationoverStructuredDomains,inM.deRijke,ed.,Advancesin

IntensionalLogic,Kluwer,Dordrecht,1–28.[WithNatashaAlechina.]199855Proofs.Labels,andDynamicsinNaturalLanguage,inU.Reyle&H–JOhlbach,eds.,

FestschriftforDovGabbay,31–41,KluwerAcademicPublishers,Dordrecht.56ShiftingContextsandChangingAssertions,inA.Aliseda–Llera,R.vanGlabbeek&

D.Westerståhl,eds.,ComputingNaturalLanguage,CSLIPublications,51–65.199957ModalFoundationsforPredicateLogic,inEwaOrlowska,ed.,LogicatWork,

TotheMemoryofElenaRasiowa,PhysicaVerlag,Heidelberg,39–54.58LogicalConstants,ComputationandSimulationInvariance,inTh.Childers,ed.,The

Logica98Yearbook,InstituteofPhilosophy,CzechAcademyofSciences,11–19.200059LinguisticGrammarasDynamicLogic,inV.M.AbrusciandC.Casadio,eds.,

DynamicPerspectivesinLogicandLinguistics,Roma,Bulzoni,7–17.60ReasoninginReverse,Prefaceto"AbductionandInduction,theirRelationand

Integration",P.Flach&A.Kakas,eds.,Kluwer,Dordrecht,ix–xi.61ExplainingLanguagebyEconomicBehaviour,inA.Rubinstein, EconomicsandLanguage,CambridgeUniversityPress,93–107.200162ModalLogicinTwoGestalts,inM.deRijke,H.Wansing&M.Zakharyashev,eds.,

AdvancesinModallogicII,Uppsala1998,CSLIPublications,Stanford,73–100.63Higher–OrderLogic,reprintwithaddenda,inD.Gabbay,ed.,HandbookofPhilosphical

Logic,vol.I.,secondedition,Kluwer,Dordrecht,189–243.[WithKeesDoets.]64CorrespondenceTheory,reprintwithaddenda,inD.Gabbay,ed.,Handbookof

PhilosophicalLogic,vol.III.,secondedition,Kluwer,Dordrecht,325–408.65NonstandardReasoning,InternationalEncyclopediaoftheBehavioralandSocial

Sciences,volume16,10696–10699,Elsevier,Colchester,UK.200266InvarianceandDefinability:twofacesoflogicalconstants,inW.Sieg,R.Sommer,

&C.Talcott,eds.,ReflectionsontheFoundationsofMathematics.EssaysinHonorofSolFeferman,ASLLectureNotesinLogic15,426–446.

67MathematicalLogicandNaturalLanguage,inB.Löwe,W.Malzkorn,&T.Rasch,eds.,FoundationsoftheFormalSciencesII:ApplicationsofMathematicalLogicinPhilosophyandLinguistics,Kluwer,Dordrecht,25–38.

68ModalLogic,inD.Jacquette,ed.,ACompaniontoPhilosophicalLogic,Blackwell,Oxford,391–409.

69LogicalPatternsinSpace,inD.Beaveretal.,eds.Words,Proofs,andDiagrams,CSLIPublications,Stanford,5–25.[WithMarcoAiello.]

19

70ActionandProcedureinReasoning,inM.MacCrimmon&P.Tillers,eds.,TheDynamicsofJudicialProof,PhysicaVerlag,Heidelberg,243–259.

200371RationalDynamicsandEpistemicLogicinGames,inS.Vannucci,ed.Logic,GameTheory andSocialChoiceIII,UniversityofSiena,Departmentofpoliticaleconomy,19–23.72LogicforConcurrencyandSynchronization,guestpreface,R.deQueiroz,ed.,

TrendsinLogic,Kluwer,xvii.73LogicandGameTheory:closeencountersofthethirdkind,inG.Mints&R.Muskens,

eds.,Games,Logic,andConstructiveSets,CSLIPublications,Stanford,3–22.74FiftyYears:ChangesandConstantsinLogic,inV.Hendricks&J.Malinowski,eds.,

TrendsinLogic,50YearsofStudiaLogica,Kluwer,Dordrecht,35–56.75CategorialGrammarataCross–Roads,inG–JKruijff&R.Oehrle,eds., Resource–Sensitivity,Binding,Anaphora,Kluwer,Dordrecht,3–21.76IstherestillLogicinBolzano'sKey?,inE.Morscher,ed.,BernardBolzanosLeistungenin

Logik,MathematikundPhysik,Bd.16,AcademiaVerlag,SanktAugustin2003,11–34.77StructuralPropertiesofDynamicReasoning,inJ.Peregrin,ed.,Meaning:

theDynamicTurn,Elsevier,Amsterdam,2003,15–31.200478TheInexhaustibleContentofModalBoxes,inA.Troelstra,ed.,LiberAmicorumfor

DickdeJongh,16pp.,ILLCAmsterdam,ISBN9057761289.79DeKunstvanhetVergaderen,inWiebevanderHoek,ed.,LiberAmicorum'John–

JulesCharlesMeijer50',5–7,OnderzoeksschoolSIKS,Utrecht.80ProbabilisticFeaturesinLogicGames,invitedpresentation,OpenCourtSymposium,

APAChicago.InD.Kolak&J.Symons,eds.,Quantifiers,Questions,andQuantumPhysics,SpringerVerlag,NewYork,189–194.

200581TheCategorialFine–StructureofNaturalLanguage,inC.Casadio,P.Scott,R.Seely, eds.,LanguageandGrammar:StudiesinMathematicalLinguisticsandNatural Language,CSLIPublicationsStanford(CSLILectureNotes168),3–29.82AnEssayonSabotageandObstruction,inD.Huttered.,Mechanizing MathematicalReasoning,EssaysinHonorofJörgSiekmannonthe Occasionofhis69thBirthday,SpringerVerlag,268–276.83FormalMethodsinPhilosophy,inV.Hendricks&J.Symons,eds., FormalPhilosophy,AutomaticPress,NewYorkandLondon.84OpenProblemsinLogicandGames,inS.Artemov,H.Barringer, A.d'AvilaGarcez,L.Lamb&J.Woods,eds.,EssaysinHonour ofDovGabbay,King'sCollegePublications,London,229–264.85ANoteonModelingTheories,inConfirmation,EmpiricalProgressandTruth

Approximation.EssaysinDebatewithTheoKuipers,R.Festa,A.Aliseda&J.Peijnenburg,eds.,PoznanStudiesinthePhilosophyoftheSciencesandtheHumanities,Rodopi,Amsterdam,2005,403–419.

86TheGeometryofKnowledge,inJ–YBéziau,A.CostaLeite&A.Facchini,eds.,AspectsofUniversalLogic,CentredeRecherchesSémiologiques,UniversitédeNeuchatel,1–31.[WithDarkoSarenac.]

20

200687OpenProblemsinUpdateLogic,inD.Gabbay,S.Goncharov&M.Zakharyashev,

eds.,MathematicalProblemsfromAppliedLogicI,Springer,137–192.88TheEpistemicLogicofIFGames,inR.Auxier&L.Hahn,eds.,ThePhilosophyof

JaakkoHintikka,SchilppSeries,OpenCourtPublishers,Chicago,481–513.89ANewModalLindströmTheorem,inH.Lagerlund,S.Lindström& R.Sliwinski,eds.,ModalityMatters,UniversityofUppsala,55–60.90PreferenceLogic,Conditionals,andSolutionConceptsinGames,in H.Lagerlund,S.Lindström&R.Sliwinski,eds.,ModalityMatters, UniversityofUppsala,61–76.[WithSieuwertvanOtterloo&OlivierRoy.]91LogicalConstructionGames,inT.Aho&A–VPietarinen,eds.,TruthandGames,

essaysinhonourofGabrielSandu,ActaPhilosophicaFennica78,123–138.92AlternativeLogicsandClassicalConcerns,inJ.vanBenthem,inG.Heinzmann,

M.Rebuschi&H.Visser,eds.,TheAgeofAlternativeLogics,Springer,Dordrecht,1–7.93AMini–GuidetoLogicinAction,updatedversion,inF.Stadler&M.Stöltzner,eds.,

TimeandHistory,OntosVerlag,Frankfurt,419–440.94OneisaLonelyNumber:onthelogicofcommunication,inZ.Chatzidakis,P.Koepke&

W.Pohlers,eds.,LogicColloquium'02,ASL&A.K.Peters,WellesleyMA,96–129.95LogicinPhilosophy,inD.Jacquette,ed.,HandbookofthePhilosophyofLogic,

Elsevier,Amsterdam,65–99.96ModalLogic,aSemanticPerspective,inJ.vanBenthem,P.Blackburn&F.Wolter,eds.,HandbookofModalLogic,Elsevier,Amsterdam,1–84.[WithPatrickBlackburn.]200797CognitionasInteraction,inG.Bouma,I.Krämer&J.Zwarts,eds.,CognitiveFoundations ofInterpretation,KNAWAmsterdam,27–38.98Editorial,AMeetingoftheMinds,ProceedingsLORIWorkshopBeijingAugust2007, King'sCollegePublications,London.[WithJuShierandFrankVeltman.]99WhatisSpatialLogic?,editorial,HandbookofSpatialLogics,Springer,Dordrecht,1–11. [Withco–editorsMarcoAielloandIanPratt–Hartmann.]100ModalLogicsofSpace,inM.Aielloetal.,eds.,HandbookofSpatialLogics,

Springer,Dordrecht,217–298.[WithGuramBezhanishvili.]101LogicGames,FromToolstoModelsofInteraction,inA.Gupta,R.Parikh&J.van Benthem,eds.,LogicattheCrossroads,AlliedPublishers,Mumbai,283–317.2008102ModalFixed–PointLogicandChangingModels,inA.Avron,N.Dershowitz& A.Rabinovich,eds.,PillarsofComputerScience:EssaysDedicatedtoBoris

(Boaz)TrakhtenbrotontheOccasionofhis85thBirthday,Springer,Berlin,146–165.[WithDaisukeIkegami.]

103GamesthatMakeSense:Logic,LanguageandMulti–agentInteraction,inK.Apt&R.vanRooij,eds.,ProceedingsKNAWColloquiumonGamesandInteractiveLogic,TextsinLogicandGames,AmsterdamUniversityPress,197–209.

104ComputationasConversation,inS.Cooper,B.Löwe&A.Sorbi,eds.,NewComputationalParadigms,ChangingConceptionsofWhatisComputable,Springer,NewYork,35–58.

105InformationIsWhatInformationDoes,editorial,HandbookofthePhilosophyofInformation,ElsevierAmsterdam.[WithPieterAdriaans.]

21

106TheLogicalStoriesofInformation,inHandbookofthePhilosophyof Information,ElsevierAmsterdam,217–280.[WithMaricarmenMartinez.]107ManMussImmerUmkehren,inC.Dégrémont,L.Keiff,H.Rueckert,eds.,Dialogues, LogicsandOtherStrangeThings:EssaysinHonourofShahidRahman,

CollegePublications,London.108ABriefHistoryofNaturalLogic,inM.Chakraborty,B.Löwe,M.NathMitra,S.Sarukkai(eds.),Logic,Navya–Nyaya&Applications,HomagetoBimal KrishnaMatilal,CollegePublications,London2008,21–42.2009109LogicandPhilosophyintheCenturyThatWas,inF.Stoutland,ed.,Philosophical Probings:EssaysonVonWright’sLaterWork,AutomaticPress,Roskilde,163–167.110PrefacetonewprintingofE.W.Beth,DoorWetenschaptotWijsheid,

AmsterdamAcademicArchive.[WithHenkVisser.]111Editor’sPreface,Wiebefest2009,DepartmentofComputing,UniversityofLiverpool.

[WithJohn-JulesMeijer,CeesWitteveen,andMikeWooldridge.]112ArgumentationintheLensofArtificialIntelligence,Preface,inI.Rahwan& G.Simari,eds.,ArgumentationinArtificialIntelligence,Springer,2009,vii–viii.113Preface,inU.Wybraniec–Skardowska,‘PolishLogic,afewlinesfromapersonal

perspective’,ILLCprepublications,Amsterdam.114ActionsthatMakeUsKnow,inJ.Salerno,ed.,NewEssaysontheKnowability

Paradox,OxfordUniversityPress,129–146.115Decisions,ActionsandGames,inR.Ramanujam&S.Sarukkai,eds.,ICLA2009, LectureNotesinAI5378,Springer,1–22.116ForBetterofforWorse:Dynamiclogicsofpreference,inT.Grüne–Yanoff

&S–OHansson,eds.,PreferenceChange,Springer,Dordrecht,57–84.2010117TheArtofModeling,inG.Imaguire&D.Jacquette,eds..PossibleWorlds:Logic,Semantics

andOntology,PhilosophiaVerlag,71–89.118ALogicianTakesaLookatArgumentationTheory,Chinesetranslationofthesame paperfromCogency2010,YearbookPhilosophyDepartment,TsinghuaUniversity.119ABriefHistoryofNaturalLogic,Chinesetranslationofthesamepaperfrom2008, ValuesandCulture,BeijingNormalUniversityPublications,152–167.120Logic,RationalAgency,andIntelligentInteraction,inC.Glymour,W.Wei& D.Westerståhl,eds.,Logic,MethodologyandPhilosophyofScienceXIII Beijing2007,CollegePublications,London,137–161.121Logic,Mathematics,andGeneralAgency,inP.E.Bour,M.Rebuschi&L.Rollet, eds.,Construction,CollegePublications,London,281–300.122FrameCorrespondenceinModalPredicateLogic,inS.Feferman&W.Sieg, eds.,Proofs,CategoriesandComputations,CollegePublications,London,297–310.123InPraiseofStrategies,InJ.vanEijckandR.Verbrugge,eds.,Foundationsof SocialSoftware,StudiesinLogic,CollegePublications,283–317.124Multi-AgentBeliefDynamics:BridgesBetweenDynamicDoxasticandDoxasticTemporal Logic,inG.Bonanno&W.vanderHoek,eds.,ProceedingsLOFT8,Amsterdam UniversityPress,151–173.

22

2011125HorrorContradictionis,inS.Hales,ed.,ACompaniontoRelativism,Blackwell,511–525.126TheDynamicWorldofMartinStokhof,inJ.vanderDoes&C.Dutilh-Novaes,eds.,

ThisisNotaFestschrift,ILLC,Amsterdam.127BeliefUpdateasSocialChoice,inP.Girard,O.Roy&M.Marion,eds., DynamicFormalEpistemology,Springer,Dordrecht,151–160.2012128AttheBorderLineofTruthandProof,inN.Preining,ed.,TributetoHiroakiraOno, JAIST,Kanazawa,3–7.129InPraiseofStrategies,reprintwithaddenda,J.vanEijck&R.Verbrugge,eds., Games,Actions,andSocialSoftware,LectureNotesinComputerScience7010, Springer,Heidelberg,96–116.130DynamicLogicinNaturalLanguage,inG.Russell&D.GraffFara,eds., TheRoutledgeCompaniontoPhilosophyofLanguage,Routledge,NewYork &London,652–666.131CRSandGuardedLogics,inH.Andréka,M.Ferenczi&I.Németi,eds.,Cylindric– likeAlgebrasandAlgebraicLogic,BolyaiSocietyMathematicalStudies22, MathematicalInstitute,HungarianAcademyofSciences,Budapest,273–301.132‘RollingDowntheRiver’:SaulKripkeandtheCourseofModalLogic,inJ-YBéziau,ed., UniversalLogic–AnAnthology,Birkhäuser,187–197.2013133ReasoningaboutStrategies,inB.Coecke,L.Ong&P.Panangaden,eds.,

Computation,Logic,Games,andQuantumFoundations.TheManyFacetsofSamsonAbramsky,SpringerLectureNotesinComputerScience7860,333–347.

134TwoLogicalFacesofBeliefRevision,inR.Trypuz,ed.,KristerSegerbergonLogic ofActions,Springer,Dordrecht,281–300.135SuaveRadicals,inM.Aloni,M.Franke&F.Roelofsen,eds.,FestschriftforJeroen Groenendijk,MartinStokhofandFrankVeltman,ILLC,Amsterdam, http://www.illc.uva.nl/Festschrift-JMF/.2014136ConnectingLogicsofChoiceandChange,inTh.Mueller,ed.,NuelBelnapon IndeterminismandFreeAction,Springer,291–314.[WithEricPacuit.]137LogicaenRecht:NaareenRijkereRelatie,inM.Groenhuijsen,E.Hondius& A.Soeteman,eds.,HetRechtinhetGeding,BoomJuridischeUitgevers, DenHaag,71–83.138ThoseWhoMustDoIt:TheAgencyofLanguage,inJ.Hoeksema&D.Gilbers,eds., BlackBook,FestschriftinHonorofFransZwarts,GroningenUniversity,7–20.139ChangingaSemantics:OpportunismorCourage?,inM.Manzano,I.SainandE. Alonso,eds.,TheLifeandWorkofLeonHenkin,BirkhaueserVerlag,307–337. [WithHajnalAndréka,NickBezhanishvili,andIstvanNémeti.]140Reflections,inA.Baltag&S.Smets,eds.,JohanvanBenthemonLogicand InformationDynamics,SpringerSciencePublishers,Dordrecht,977–988.141ALifeofLogic,ScientificAutobiography,inA.Baltag&S.Smets,eds.,Johanvan BenthemonLogicandInformationDynamics,SpringerScience,989–997.

23

2015142DynamicLogicsofBeliefChange,inH.vanDitmarsch,J.Halpern,W.vanderHoek &B.Kooi,eds.,HandbookofLogicsofKnowledgeandBelief,CollegePublications, London,313–393.[WithSonjaSmets.]143Oscillations,Logic,andDynamicalSystems,inS.Ghosh&J.Szymanik,eds., TheFactsMatter,CollegePublications,London,9–22.144Non–StandardReasoning,revisedversion,InEncyclopediaoftheSocialand BehavioralSciences,secondedition,Elsevier,Amsterdam,924–929.2016145TalesfromanOldManuscript,inJ.vanEijck,R.Iemhoff&J.Joosten,eds.,Liber

AmicorumAlberti,CollegePublications,London,5–14.146TrackingInformation,inK.Bimbó,ed.,MichaelDunnonInformation– BasedLogics,Springer,Dordrecht,363–389.147ModalLogic,InternetEncyclopediaofPhilosophy,TheUniversityofTennessee atMartin,http://www.iep.utm.edu/.148LogicofStrategies:WhatandHow?,inJ.vanBenthem,S.Ghosh&R.Verbrugge,eds., ModelsofStrategicReasoning,SpringerLectureNotesinAI,FoLLISeries,321–332.2017149TalkingaboutKnowledge,inC.Baskent,L.Moss&E.Pacuit,eds.,RohitParikhon Logic,LanguageandSociety,Springer,Dordrecht,121–143.150DeonticLogicandChangingPreferences,inD.Gabbay,J.Horty,R.vanderMeyden, X.Parent&L.vanderTorre,eds.,HandbookofDeonticLogicand

NormativeSystems,1–39.[WithFenrongLiu.]151LogicinPlay,inH.Leitgeb,I.Niiniluoto,P.Seppala&E.Sober,eds.,Proceedings

DLMPSHelsinki2015,CollegePublications,London,3–39.152AgainstAllOdds:WhenLogicMeetsProbabilityTheory,inJ.Katoen,R.Langerak &A.Rensink,eds.,eds.,FestschriftforEdBrinksma,SpringerLectureNotes inComputerScience10500,239–253.

Toappear

153SemanticPerspectivesinLogic,inG.SagiandJ.Woods,eds.,TheSemanticConception ofLogic,MuenchenCenterforMathematicalPhilosophy.154ChangingLogicalViewsofTheories,inE.CurielandS.Lutz,eds.,Theories, MuenchenCenterforMathematicalPhilosophy.11 ConferenceProceedings19791PartialLogicalConsequence,Abstracts6thInternationalCongressof Logic,Methodology&PhilosophyofScience,Hannover,Section5.19912NaturalLanguage:fromKnowledgetoCognition,inE.Klein&F.Veltman,eds.,ESPRIT

Symposium,BrusselsNovember1991,SpringerVerlag,Berlin,159–171.19933TarskianVariations,Proceedings9thAmsterdamColloquium1993, ILLCAmsterdam.[WithGiovannaCepparello.]

24

19974TwoDynamicStrategies,Proceedings11thAmsterdamColloquium, ILLCAmsterdam.[WithAliceterMeulen.]19985ProcessOperationsinExtendedDynamicLogic,invitedlecture,ProceedingsLICS98,

Indianapolis,IEEEPublications,LosAlamitos,244–250.20016PrefaceoftheGeneralChair,TemporalRepresentationandReasoning, TIME–2001,IEEEComputerSociety,LosAlamitos,p.ix.7LogicsforInformationUpdate,ProceedingsTARKVIII,Morgan Kaufmann,LosAltos,51–88.20048ReductionAxiomsforEpistemicActions,ProceedingsAdvancesin ModalLogic2004,DepartmentofComputerScience,Universityof Manchester.ReportUMCS–049–1,RenateSchmidt,IanPratt–Hartmann, MarkReynolds,HeinrichWansing,eds.,197–211.[WithBarteldKooi.]20059CommonKnowledgeinUpdateLogics,inR.vanderMeyden,ed.,Proceedings

TARK10,Singapore,253–261.[WithJanvanEijck&BarteldKooi.]200610DynamicUpdatewithProbabilities,W.vanderHoek&M.Wooldridge,eds.,

ProceedingsLOFT2006,Liverpool.[WithJelleGerbrandy&BarteldKooi.]11TheTreeofKnowledgeinAction,Proc'sAiMLMelbourne2006.[WithEricPacuit.]200712DynamicEpistemicLogicandEpistemicTemporalLogic,TARKNamur2007,72–81.

[WithJelleGerbrandyandEricPacuit.]13LindströmTheoremsforFragmentsofFirst–OrderLogic,Proceedingsof

LICS2007,280–292.[WithBaldertenCateandJoukoVäänänen.]14ModelingSimultaneousGameswithConcurrentDynamicLogic;inJ.vanBenthem,

S.Ju&F.Veltman,eds.,AMeetingoftheMinds,ProceedingsLORIWorkshopBeijing,CollegePublications,London,243–258.[WithFenrongLiu&SujataGhosh.]

200815Decisions,Actions,andGames,alogicalperspective,inProceedingsoftheThirdIndianConferenceonLogicandApplicationsICLA2009,R.RamanujamandSundarSarukkai, eds.,SpringerLNAI5378,1–22.16Multi–AgentBeliefDynamics:BridgesbetweenDynamicDoxasticandDoxastic TemporalLogics,inG.Bonanno,W.vanderHoek&B.Löwe,eds., ProceedingsLOFT.[WithCédricDégrémont.]200917TowardaDynamicLogicofQuestions,inJ.Horty&E.Pacuit,eds.,ProceedingsLORI

IIChongqing,SpringerLectureNotesinAI5834,28–42.[WithStefanMinica.]

25

201018LogicBetweenExpressivityandComplexity,inJ.Giesl&R.Hähnle,eds.,IJCAR2010, LNAI6173,Springer,Heidelberg,122–126.19Deontics=Betterness+Priority,inG.Governatori&G.Sartor,eds.,Proceedings DeonticLogicinComputerScience,DEON2010,Fiesole,Italy.LectureNotesin ComputerScience6181,Springer,50–65.[WithDavideGrossi&FenrongLiu.]201120ExploringaTheoryofPlay,invitedlecture,inK.R.Apt,ed.,ProceedingsTARK Groningen2011,ACMDigitalLibrary,12–16.201221FoundationalIssuesinLogicalDynamics,invitedlecture,inTh.Bolanderetal.,eds.,

AdvancesinModalLogic,Copenhagen2012,CollegePublications,London,95–96.22EvidenceLogic:ANewLookatNeighborhoodStructures,inTh.Bolanderetal.,eds.,

AdvancesinModalLogic,Copenhagen2012,CollegePublications,London,97–118.[WithDavidFernandezDuqueandEricPacuit.]

201523InBetweenHighandLowRationality,inJ.Gutierrez,F.Mogavero,A.Murano,and M.Wooldridge,eds.,ProceedingsoftheThirdInternationalWorkshoponStrategic

Reasoning,Oxford,3.24SabotageModalLogic:SomeModel–andProof–TheoreticAspects,inW.vanderHoek, W.Holliday&W–fWangeds.,ProceedingsLORI–VTaipei,LNCS9394,Springer, 1–13.[WithGuillaumeAucherandDavideGrossi.]201725ANewGameEquivalenceanditsModalLogic,inJ.Langetal.,eds.,ProceedingsTARK

2017,Liverpool.[WithNickBezhanishviliandSebastianEnqvist.]26APropositionalDynamicLogicforInstantialNeighborhoodModels,inA.Baltag,

J.Seligman&T.Yamada,eds.,ProceedingsLORIVI,Sapporo.[WithNickBezhanishviliandSebastianEnqvist.]

12 Reviews19781SystemsofIntensionalandHigher–OrderModalLogic(D.Gallin) MededelingenWiskundigGenootschap.19792FilosofischeGrondslagenvandeWiskunde(D.vanDalen) AlgemeenNederlandsTijdschriftvoorWijsbegeerte71:1,58–64.3InvestigationsinModalandTenseLogics(D.Gabbay),

CriticalNotice,Synthese40,353–373.4InleidingtotdeSymbolischeLogica(H.HubbelingandH.deSwart) AlgemeenNederlandsTijdschriftvoorWijsbegeerte71:2,125–127.5Filosoferen(S.YsselingandR.deKwant),AlgemeenNederlands TijdschriftvoorWijsbegeerte71:2,129–131.6HistoricalandPhilosophicalDimensionsofLogic,MethodologyandPhilosophyofScience (R.ButtsandJ.Hintikka,eds.),MededelingenWiskundigGenootschap.

26

19807Analyticiteit(H.Perrick),AlgemeenNederlandsTijdschriftvoorWijsbegeerte72:2,

119–122.8ComplementarityinMathematics(W.Kuyk),AlgemeenNederlandsTijdschrift voorWijsbegeerte72:3,200–202.9JuristischeLogikalsArgumentationslehre(Ch.Perelman),AlgemeenNederlands TijdschriftvoorWijsbegeerte72:4,269–273.10CheckingLandau's"Grundlagen"intheAUTOMATHSystem(L.vanBenthem–Jutting), MededelingenWiskundigGenootschap.198111OutlineofaNominalistTheoryofPropositions(P.Gochet), AlgemeenNederlandsTijdschriftvoorWijsbegeerte73:1,61–63.12EenArithmetischModelvoordePropositielogicaenzijnToepassingvoorhetVereen- voudigingsprobleem(L.Perneel),AlgemeenNederlandsTijdschriftvoorWijsbegeerte.13DeDialoogvanGalilei(M.Finocchiaro),KennisenMethode5:3,273–283.198214TheContinuingStoryofConditionals('Ifs';W.Harperetal.,eds.) StudiesinLanguage6:1,125–136.198315TheLogicofNaturalLanguage(F.Sommers),PhilosophicalBooks24:2,99–102.16BernardBolzano:LebenundWirkung(C.Christian,ed.),Archives Internationalesd'HistoiredesSciences33,360–361.17Argumentation.ApproachestoTheoryFormation(E.Barth&J.Martens,eds.),

AlgemeenNederlandsTijdschriftvoorWijsbegeerte75:4,380–381.198418OnWhenaSemanticsisnotaGoodSemantics(J.Copeland), JournalofSymbolicLogic49:3,994–995.19TheLatticeofModalLogics(W.Blok),JournalofSymbolicLogic49:4,1419–1420.198620TheLogicofAspect(A.Galton),ThePhilosophicalReview95:3,434–437.21ACompaniontoModalLogic(G.HughesandM.Creswell), JournalofSymbolicLogic51:3,824–826.22BooleanSemanticsforNaturalLanguage(E.KeenanandL.Faltz) Language62:4,112–115.23BuildingModelsbyGames(W.Hodges),MededelingenWiskundig Genootschap1986,368–370.198924LogicheskijeMetodiAnalizaNauchnowoZnanija(V.A.Smirnov), StudiaLogica48:1,135–136.25LogicheskajaSemantikaiFilosofskijeOsnovanijaLogiki(E.D. Smirnova),StudiaLogica48:1,136–137.199026HandbookofPhilosophicalLogic,vol.IV(D.Gabbay& F.Guenthner,eds.),Language66:2(1989),396–400.

27

199127KnowledgeinFlux.ModelingtheDynamicsofEpistemicStates (P.Gärdenfors),StudiaLogica.49:4,421–424.199928InformationFlow(J.Barwise&J.Seligman),JournalofLogic,Language andInformation8:3,390–397.[WithDavidIsrael.]200729QuantifiersinLanguageandLogic(S.Peters&D.Westerståhl), NotreDamePhilosophicalReviews.201330BernardBolzano’s“Wissenschaftslehre”,Topoi3:2,301–303.

13 PublicationsforaGeneralAudience19671IshetStrevennaareenGeïntegreerdEuropainStrijdmetdeNatuurlijkeGehechtheidaan hetEigenVaderland?,EuropeanCommunityprizeessay,Neerlandia21,12-143.19772DeLogicavanZinovjev,Rusland–Bulletin2:1,3–9.19783LogicaenArgumentatietheorie,Spectator7:5/6,263–276.19794InAlleRedelijkheid,inaugurallecture,Onderzoeksbulletin4, FilosofischInstituut,RijksuniversiteitGroningen,25pp.5LogischeTheorieenWiskundigePraktijk,Euclides55:6,249–254.19816LogischeLijnenindeZeventigerJaren,WijsgerigPerspectief22:1,1–29.19837Tijd,TaalenLogica,WijsgerigPerspectief24:3,78–81.19848AandeRedevanBarbarije,KennisenMethode8:2,125–136.19869DielinguistischeWendeinderLogik,InformationPhilosophie,Mai1986,18–28.10TaalenInformatie:naarnieuwetoepassingen,ForumderLetteren27,174–187.11RekenenmetTaal,inaugurallecture,MathematischInstituut,Univ.ofAmsterdam.12AandeRedevanBarbarije,inP.Meeuse,HarmoniealsTegenspraak, DeBezigeBij,Amsterdam,219–235.198913DoestheUniversityStillLeadtheWay?,LustrumboekUniversiteitGroningen,1989.14TheLureofInformationandComputation,UniversiteitenHogeschool36:1,65–74.

28

199215BouwwerkZonderFunderingen,in:RedactieWetenschappenNRC,

DeMondVolTanden,Prometheus,Amsterdam,119–126.199316IsInformaticaeenWetenschap?,Automatiseringsgids27:10,11–13.199417WatiserMismetdeFilosofie?,Epimedium58,FilosofischInstituut,Utrecht,4–9.18LogicainVeelvoud,RADAR1994,ARAMITHUitgevers,Bloemendaal,364–373.199619LogicainBeweging,LezingenboekjeUitreikingSpinozaPremie,NWO,DenHaag.199720WatCultuurbeleidvanWetenschapsbeleidKanLeren,BoekmanCahier31,38–45, BoekmanStichting,Amsterdam.199821VanGrondslagenonderzoeknaarInformatiewetenschap,KNAW,AfdelingLetteren, Amsterdam.22DeBoekeninMijnLeven,AmsterdamseBoekengids14,37–38.23InternationalismisaStateofMind,ReizigersUvAYearbook98, VossiusPress,Amsterdam.24E.W.Beth:hetGeheimvanWetenschappelijkSucces,inP.Klein,ed.,Een

BeeldvandeAkademie:1808–1998,KNAW,Amsterdam,187–188.25LogischeDynamiek,inleidingenbijdragetotthemanummer,AlgemeenNederlands TijdschriftvoorWijsbegeerte90:1,54–70.199926BoekenTopDrie,NatuurenTechniek67:11,48.200027InstroomBlues,NieuwArchiefvoorWiskunde5:1/3,p.263.AlsoEuclides,december.200128InterdisciplinariteitenMonogamie,Grensgevallen,InstituutI2O,Univ.vanAmsterdam.200229ScienceandSocietyinFlux,prize–winningessayattheHollandscheMaatschappij

vanWetenschappen,inA.Verrijn–Stuartetal.,eds.,TheFutureoftheSciencesandHumanities,AmsterdamUniversityPress,Amsterdam,63–90.

30DeMultidisciplinaireUniversiteit:LosseGedachtenvaneenZwerver, inB.deReuver&R.deKlerk,eds.,FeestbundelKarelvanDam, SCOKohnstammInstituut,Amsterdam,65–71.31LogicinAction,VijfJaarLater,AlgemeenNederlandsTijdschriftvoor Wijsbegeerte94:2,2002,146–150.200332DeKunstvanhetKennisMaken,OpeningAcademischJaar,AmsterdamUniversityPress.33BestaatInformatiewetenschapWel?,CAVIA5,2003,UniversiteitvanAmsterdam,6–7.

29

34WatDrijftInformaticaOnderzoekers?,ProgrammaboekICT–KennisCongres,NWO.35HetABCvanCommunicatie,VerslagKNAW(DutchAcademyofArts &Sciences),AfdelingNatuurkunde,24november2003.200436ReidansendeEiwitten,BoekmanCahier59/59,165–166,Amsterdam.200537DeKunstvanhetKennisMaken,BLIND,electronischinterdisciplinair tijdschrift,http://www.ziedaar.nl/editions/3/.38EchteversusVirtueleRealiteiten:DeSpeelseLogicavanKaartenen Vergaderen,BRESPlanète232,24–28.39LeerhetBreinKennen,withJ.Jolles,R.deGroot,H.Dekkers,C.deGlopper,

H.Uijlings&A.Wolff–Albers,OECDandKNAW,Amsterdam.40Talentenkracht/TalentPower,FreudentalInstituut,Utrecht. [WithJandeLange&RobertDijkgraaf.]41L'ArtetlaLogiquedelaConversation."DossierLogique", ÉditionsPourlaScience,Paris,68–73.42GamesattheInstituteforLogic,LanguageandComputation,BNVKINewsletter22:5, 2005,101–104.200643InformatiestroomvoorOplettendeMensen,inB.Mols,ed., HetRaadselvanInformatie,Boom,Meppel,11–26.44EenManuitEénStuk.LiberAmicorumProfessorBobHertzberger,13–14,FNWI,UvA.45VerdrietenVormvanuiteenHogerStandpunt,LiberAmicorum forSijboltNoorda,AmsterdamUniversityPress,UvA.46BrainLessons,NeuropsychPublishers,Maastricht,J.Jolles,R.deGroot,

H.Dekkers,C.deGlopper,H.Uijlings&A.Wolff–Albers,eds.47AdiosalaSoledad,Azafea,UniversityofSalamanca,21–33.48Interview,inFormalPhilosophy:5Questions,V.Hendricks&J.Symons,eds., AutomaticPress,Copenhagen,1–5.200749EenheidvanCognitie,BoekjeTalentenkrachtPublieksdag OuwehandsDierenpark,FreudentalInstituutUtrecht.50Interview,inGameTheory:5Questions,V.Hendricks&

P.Hansen,eds.,AutomaticPress,Copenhagen,9–19.51PatternsofIntelligentInteraction:Games,Action,andSocialSoftware,

NIASNewsletterMei2007,Wassenaar.52IntelligentSystems:TheManInsidetheMachine,Festschriftfor

JaapvandenHerik60,MICC,UniversityofMaastricht,164–167.53EenStroomvanInformatie:LogicaophetGrensvlakvanAlfa,BètaenGamma, NatuurkundigeVoordrachtenNieuweReeks85,GenootschapDiligentia DenHaag,115–123.200854DeBesteBoekenvolgensJohanvanBenthem,AcademischeBoekengids67,Maart.55EenPostzegelvolLogica,DeGids,Maart2008,191–205.

30

56Interview,inPhilosophyofComputingandInformation:5Questions, L.Floridi,ed.,AutomaticPress,Copenhagen,9–19.57Interview,inEpistemology:5Questions,V.Hendricks&D.Prichard, eds.,AutomaticPress,Copenhagen,39–46.58Interview,inPhilosophyofMathematics:5Questions,V.Hendricks& H.Leitgeb,eds.,2008,AutomaticPress,Copenhagen.59E.W.Beth.ACentenaryCelebration,KNAWAmsterdam, [WithPaulvanUlsen&HenkVisser.]60WitteenZwarteMagieindeWetenschap,2008,jubileumwebsite,KNAW,Amsterdam.200961Voorwoord,inB.Mols,Geestdrift.WatCognitiewetenschappersBezielt,

NWO,DenHaag,2–3.[WithPeterHagoort.]62AlledaagsGesprekisToppuntvanPrestatie,interview,inB.Mols,Geestdrift. WatCognitiewetenschappersBezielt,NWO,DenHaag,36–41.63OneLogician’sPerspectiveonArgumentation,PhilosophyYearbook2009, TsinghuaUniversity.64Interview,Logic,Language,Cognition,TheReasoner3:12,December2009.65AStampFullofLogic,Farsitranslation,MathematicsEducationJournal,Iran.66ADialogueonGameTheory,Logic,andRationalChoice,inJ.vanEijck&R.Verbrugge, eds.,DiscoursesonSocialSoftware,TextsinLogicandGames5,Amsterdam UniversityPress,123–134.201067TheJournalSynthese,ChineseSocialSciencesToday,5May,p.17. [WithVincentHendricksandJohnSymons.]68DialogueonLogic,LanguageandCognition–InterviewwithJohanvanBenthem, GuoMeiyun&LiuXinwen,PhilosophicalTrends3,62–71.69Computation,Conversation,andCelebration,inT.Janssen&L.Torenvliet,eds., LectoriSalutem,festschriftontheoccasionoftheretirementof PetervanEmdeBoas,ILLC,UniversityofAmsterdam,1–5.70Preface,LogicandInteractiveRationalityYearbook2009,inD.Grossi, L.Kurzen&F.Velazquez–Quesada,eds.,ILLC,Amsterdam,vii.71Interview,inEpistemicLogic:5Questions,V.Hendricks&O.Roy, eds.,AutomaticPress,Copenhagen35–46.72Preface,inL.Kurzen&F.Velazquez–Quesada,eds.,LogicalDynamicsfor InformationandPreferences,Seminaryearbook,ILLC,Amsterdam,vii–viii.73OpencourseLogicinAction,DeNieuweWiskrant30–1,41–48.[WithJanJaspars.] AlsoinWiskundeenOnderwijs37:145,2011,28–39.201174Intelligentnainterakcja:terendydynamicznewdziesiejszejlogice,

Polishtranslationfrom2005,GroupinLogic,UniversityofOpole.75Preface,LogicandInteractiveRationalityYearbook2010,inD.Grossi, S.Minica,B.Rodenhauser&S.Smets,eds.,ILLC,Amsterdam,vi.201276Preface,LogicandInteractiveRationalityYearbook2011,inA.Baltag,D.Grossi, A.Marcoci,B.Rodenhauser&S.Smets,eds.,ILLC,Amsterdam,1.

31

77DynamicLogicinNaturalLanguage,inTh.Graf,D.Paperno,A.Szabolcsi&J.Tellings,eds.,TheoriesofEverything:InHonorofEdKeenan.UCLAWorkingPapersinLinguistics17,2012,4pp.,http://creativecommons.org/licenses/by–nc/3.0/.

78JohanFrederikStaal,LevensberichtenenHerdenkingen,KNAW,Amsterdam,2012, 71–75.79DeLogicavanhetAlledaagse,inS.Metselaar&A.denDulk,eds.,HoeDenkersDenken, 2012,AthenaeumAmsterdam.80WhyCuriosity?LustrumwebsiteUniversityofAmsterdam,2012.81RedenerenmetGetallen,Ideenajaarsnummer2012,5–9,Mr.HansvanMierloStichting, Amsterdam.201382TheUvAMeetsChina,interviewbook,AmsterdamUniversityPress.[WithAnoukTso].83Preface,DynamicsYearbook2012,Amsterdam,Beijing&Berkeley.201484Preface,DynamicsYearbook2013,Amsterdam,Beijing&Berkeley.201585FanningtheFlamesofReason,ILLC,UniversityofAmsterdam.86ElseMargareteBarth,LevensberichtenenHerdenkingen.KoninklijkeNederlandse

AkademievanWetenschappen,Amsterdam,7-12.201687Interview,inTr.Lupher&Th.Adajian,eds.,FiveQuestionsonthePhilosophyofLogic,

AutomatedPress,Copenhagen.88LogicandEpistemology,interviewwithChinesecolleagues,PhilosophicalAnalysis7:6, ShanghaiAcademyofSocialSciences,140–154.201789FanningtheFlamesofReason–JohanTalkingaboutLogic,XinwenLiu,ed.,SciencePress,

Beijing.Chinesetitle 90HoeWiskundeWerkt,inK.vanDam,R.deKlerk,J.Rodermans&L.Wenting,eds., YesWeCan,IIS,UniversityofAmsterdam,30–31.91WorkingwithJaninFourMovements,InS.Minica,C.Unger&Y.Wang,eds.,

AProgrammingRoadtoLogic,Maths,LanguageandPhilosophy,http://jve2017.herokuapp.com/

Lectures

14 Invitedlecturesatconferencesandworkshops(selection)1977Tense,Logic,andTime,WorkshoponFormalSemantics,Tübingen.LogischeTheorieenWiskundigePraktijk,WiskundigGenootschap,Amersfoort.1979PointsandPeriods,ColloquiumonTenseandQuantifiers,Stuttgart.1980WhyisSemanticsWhat?,ThirdAmsterdamColloquium.

32

1981GrondslagenvandeWiskunde,WiskundigGenootschap,Amsterdam.TheLogicofTime,SocietyforExactPhilosophy,Halifax(N.S.).1982TowardsaMathematicalSemantics,FourthAmsterdamColloquium.1983ALinguisticTurn:NewDirectionsinLogic,7thInternationalCongress ofLogic,MethodologyandPhilosophyofScience,Salzburg.1984TheElusiveLocusofInference,5thConference,UnionofHistoryand PhilosophyofScience,Veszprem.SemanticAutomata,FifthAmsterdamColloquium.1985TowardaComputationalSemantics,ConferenceonGeneralizedQuantifiers, UniversityofLund.Meaning:InterpretationandInference,CentroFiorentinodiStoriaiFilosofiadellaScienze.TheManyFacesofLogic,TenthInternationalWittgensteinSymposium,

KirchbergamWechsel.1987MathematicalStructuresinNaturalLanguage,MathematischesForschungsinstitut, Oberwolfach.CategorialGrammarandtheTheoryofTypes,ASL/LSAMeeting,Stanford.SemanticParallelsinNaturalandProgrammingLanguages,LogicColloquium,Granada.1988ATemporalLogicianLooksatComputerScience,REXSchoolonConcurrency, Noordwijkerhout.Non-MonotonicityandDynamicsinActualReasoning,JournéesEuropéennessurlesMéthodes

LogiquesenIntelligenceArtificielle,Roscoff.TheFine-StructureofCategorialSemantics,SchoolonComputational Linguistics,IstitutoDalleMolle,Lugano.1989ChangingPerspectivesinTemporalLogic,KnowledgeRepresentation89,Toronto.Logic,LanguageGamesandInformation,HintikkaSymposium,UniversityofHelsinki.CategorialGrammar,RelationalAlgebraandDynamicLogic,Malc'evConference, SiberianAcademyofSciences,Novosibirsk.1990GeneralDynamics,ThirdEuropeanSummerSchoolinLogic,LanguageandInformation, UniversityofLeuven.TheLandscapeofDeduction,WorkshoponSubstructuralLogics,UniversityTübingen.1991CategorialGrammarandDynamicLogic,SpringMeeting, AssociationofSymbolicLogic,SanFrancisco.LogicandtheFlowofInformation,9thInternationalCongressof Logic,Methodology&PhilosophyofScience,UniversityofUppsala.

33

AlgebraversusModelTheoryinModalLogic,BanachSemester,UniversityofWarsaw.Logic:ReasoningandProgramming,ThirdNorth-American ConferenceonLogicProgramming,SanDiego.1992EpistemicLogic:fromKnowledgetoCognition,4thConferenceon TheoreticalAspectsofReasoningaboutKnowledge,Asilomar.DynamicLogicofInformation,WorkshoponFormalTheoriesofKnowledge andAction,CognitiveScienceCenter,UniversityofTexas,Austin.1993ModelingtheKinematicsofMeaning,AristoteleanSociety,London.NaturalLanguageandNaturalLogic,5thEACLConference,Utrecht.TheLogicofCognitiveAction,IJCAI'93,Chambéry,France.1994AReunionofLogicandArgumentationTheory?,ThirdInternationalConference onArgumentation,Amsterdam.DeconstructingTemporalSemantics:Points,PathsandTransitions, FirstInternationalConferenceonTemporalLogic,Bonn.ModalLogicsandProcessTheories,LogicColloquium1994,ASL,Clermont-Ferrand.TheLogicalImperative:ActionsandProceduresinAI,DeutscheJahrestagungfür KünstlicheIntelligenz,Saarbrücken.1995ModalSemanticsandFirst-OrderFragments,SecondBrazilian WorkshoponLogic,Language,InformationandComputation,Recife.Retrospective/ProspectiveonSemantics,TenthAmsterdamColloquiumon FormalSemantics(withBarbaraPartee&HansKamp).1996ResourcesinDynamicSemantics,CUNYConferenceLanguageProcessing,NewYork.RemodelingTemporalGeometry,TIME-96,KeyWest(FL).DynamicsandAlgorithmics,ConferenceonLogic,Language,andInformation,London.LogicandPhilosophyofScience:TowardaCommonAgenda, PlenaryLecture,8thFoLLISummerSchool,Prague.1997ModalGeometry,WorkshoponTemporalLogic,Amsterdam.DynamicLogicinGrammar,FifthRomeWorkshoponLogicandLanguage,Rome.1998ProcessOperationsinExtendedDynamicLogic,LogicinComputerScienceLICS98, Indianapolis.RelationalMethodsinModalLogic,RELMICSIII,Warszawa.RelaxingOne'sGuards,AdvancesinModalLogicAiMLII,Uppsala.ConfluencesinLogicandPhilosophyofScience,BelgianAssociationforLogicand PhilosophyofScience,Brussels.LogicalConstants:thevariablefortunesofanelusivenotion,TheFeferfest,Stanford.TheLogicalStructureofGames,LOFTIII,Torino.

34

1999TheNatureofLogicalConstants,LOGICA'99,Liblice.ActionsthatChangeYourMind,7thAsianLogicConference,Hsi-Tou,Taiwan.GamesthatDriveCognition,ESSLLII-10,Utrecht.FromLogictoGames,AugustusdeMorganWorkshop,London.AIandtheDynamicsofJuridicalProof,NewTrendsinCriminal InvestigationandEvidence,Amsterdam.2000DynamicEpistemicLogic,LOFT4,Torino.UpdateDelights,ESSLLI11SummerSchool,Birmingham.ChangingYourMind,DeutscheGesellschaftfürAnalytischePhilosophie,Bielefeld.OnBeingInformed,JELIA2000,Malaga,(SpringerLectureNotesinAI,p.1).HintikkaSelf-Applied,HintikkaSymposium,Helsinki.ProofandMeaning,FormalMethodsinLanguage,Bonn.2001LanguageastheEngineofCognition,AnnualSymposiumAcademiaEuropaea,Rotterdam.LogicGamesandGameTheory,11thItalianMeetingon GameTheoryandApplications,Ischia.WhatisLogicalDynamics?,Dynamics2001,Prague.LogicalStructuresinSpace,FourthTbilisiSymposium,Georgia.LogicofCommunication,SSLPSConference,Bern.2002LogicalStructuresinGames,DagstuhlWorkshoponMulti–Agents.FromReasoningtoCommunication,ColloquiumLogicum,Münster.TheCourseofModernLogic:Computing,InformationandabitofCognition? FirstDistinguishedITC–IRSTLecture,Trento.NonstandardViewsofFoundations,PILM2,Nancy.TheVarietiesofReasoning,BolzanoCongress,Vienna.2003FutureTrendsinLogicandPhilosophy,WorldCongressofPhilosophy,Istambul.RationalDynamics,GameTheoryandLogicConference,Siena.TrendsinLogic,StudiaLogica50Years,Copenhagen.2004ComputationisConversation,AnnualMeetingDutchAssociation ofTheoreticalComputerScience.GamesinthePerspectiveofaLogician,LORWI2004,Tokyo.RemarksonDependenceLogicandQuantumMechanics, SymposiumLibraryofLivingPhilosophers,APACentralMeeting,Chicago.RecentDevelopmentsinUpdateLogics,WorkshoponLogicsofKnowledgeandProof, CUNYNewYork.IrreduciblySocialAspectsofCognition,KNAWWorkshoponCognition,Amsterdam.SevenBridgesfromLogictoEpistemology,DynamicsofReason,Amsterdam.2005Logic,Communication,andGames,Tutorialplusinvitedlecture,FirstIndianLogic Conference,IITK,Mumbai.

35

GamesoverTime,APA–ASLMeeting,SanFrancisco.ABriefHistoryofLogicalDynamics,AMAS,Utrecht.ModalLogic,Algebra,Guards,andFixed–Points,BolyaiCongress,Budapest.TemporalPerspectiveinProcessTheory,WittgensteinConference,Kirchberg.InPraiseofMonotonicity,UiL–OTSWorkshoponNaturalLogic,Utrecht.ComingtoKnow,HintikkaSchockPrizeSymposium, SwedishAcademyofSciences,Stockholm.TheSocialSideofCognition,WorkshopDynamicsofKnowledge,Siena.2006Modalvs.First–OrderTheoriesofSpace,WorkshopILLCSpatio–TemporalLogics.LindstromTheoremsforModalLogic,InfinityWorkshop,FreeUniversityAmsterdam.BeliefRevisioninaDynamicEpistemicFramework, 3dFEWWorkshoponFormalEpistemology,Berkeley.RationalAnimals:Whatis'KRA'?,invitedlecture, KRAWorkshop,ESSLLISummerSchoolMalaga.LogicandPhilosophyofScienceRevisited,ESFWorkshop,UniversityofBristol.ANewCoreCurriculumforLogic,ToolsforTeachingLogic,UniversityofSalamanca.TheLogicandGamesConnection,OpeningCentreforGamesandLanguage,Bielefeld.LogicalConstantsinThreeLights,IHPRSTWorkshoponLogicalConstants,Paris.Logic,GamesandInteraction,ILIKSWorkshop,UniversityofTrento.2007IntelligentInteraction,ConferenceonLogicandNavyaNyaya,Kolkata.LogicsforChangingBeliefs,2dIndianLogicConference,IITBMumbai.FiveNewViewsofCraig'sTheorem,Berkeley,InterpolationsConference,UCBerkeley.LogicandMethodology,Mexico,UNAMPhilosophy,keynotelecture,Workshop LogicandMethodology.BeliefRevisionasSocialChoice,WorkshopDynamicLogic,UniversityofMontreal.ABriefHistoryofNaturalLogic,LORIworkshoponrationalityandinteraction,Beijing.LogicandIntelligentInteraction,invitedplenarylecture,13thDLMPSCongress,Beijing.Logic,InformationFlow,andGames,ViciousCircleSociety,UniversityofBern.LogicandInformation,PhilosophyofInformation,Oxford.WhatdoesLogichavetodowithSpace?,HandbookLaunchSpatialLogicsGroningen.2008LogicandPhysics,ABriefHistoryofContacts,LogicMeetsPhysicsWorkshop,Utrecht.ModalLogicandFixed–Points:NewViews,WorkshoponModalFixed–PointLogics, Amsterdam.LogicandIntelligentInteraction,WorkshopESSLLIHamburg.LogicalDynamicsMeetsLogicalPluralism,TartuEstonia.Logic,QualitativeBeliefRevision,andSocialChoice,TiLPSTilburg.ABriefHistoryofLogicandLanguage,WorkshopLogic,LanguageandCognition,Beijing.Games,ProofsandReasons,MeetingLogiciansatWork,TsinghuaUniversity.InformationbyDeductionandRealization,7thConferenceonLogicandCognition, ILC,Guangzhou.TheLogicofEmpiricalTheoriesRevisited,LogicandtheFoundationsofPhysics, VrijeUniversiteitBrussel.

36

2009TheLogicofIntelligentInteraction,WorkshoponLogicandSocialAgency,IMS,Chennai.Decisions,ActionsandGames,alogicalperspective,ICLA–IIIThirdIndianLogic Conference,Chennai.ModalPredicateLogic,Revisited,Mintsfest,StanfordUniversity.FormalModelsofCognition,CSCAsymposiumAmsterdamWritingHistory,WorkshoponPractice–BasedPhilosophyofLogicandMathematics, Amsterdam.MergingLogicalDynamicsandProbabilisticUpdate,ProgicWorkshopGroningen.LogicandRationalAgency,LORI–II,Chongqing.FromCommonSensetoMathematicalProof,EpiconForConferenceNancy.DynamicLogic,Agency,andPhilosophyofScience,AnnualConference SpanishSocietyofLogic,MethodologyandPhilosophyofScience,Valencia.2010NieuweWegentussenLogicaenWiskunde,NationaleWiskundedagen,Noordwijkerhout.PhilosophyofInformationandComputation,Workshop,LorentzCenter,Leiden.FormalTheoriesofCommunication,Workshop,LorentzCenter,Leiden.DynamicsofInformationandEvaluation,SOCREALWorkshop,UniversityofHokkaido.TranslationandCulture,‘ADoortoLogic’WorkshoponLogicinChina,TsinghuaUniversity.LogicaenWiskundeVandaag,VlaamseWiskundedagen,Blankenberge.Logic,theBalanceofExpressivityandComplexity,IJCAR2010,Edinburgh.DynamicSemanticsMeetsDynamicLogic,HansKamp70Conference,Stuttgart.ThoughtsonAnalogicalReasoning,WorkshopHistoryofLogicinChina,IIASLeiden.LogicMeetsReality,WorkshopLogicandCognitivePsychology,Amsterdam.TemporalLogicandLearningTheory,GLLCXVWorkshop,Amsterdam.LogicalDynamics:ExtendingtheAgenda,SymposiumNewPerspectivesinLogic, invitedlecture,AmericanPhilosophicalAssociationWinterMeeting,Boston.2011LogicinPhilosophy,theInterfaceToday,WorkshoponLogicandPhilosophyToday, IndianCouncilforPhilosophicalResearch,DelhiLogicWeek.LogicavanBewijstotSpel,PanamaConferenceonMathematicsEducation, Noordwijkerhout.ThreeNotionsofInformationinLogic,orevenFour?WorkshopEpistemicActions forNon-IdealAgents,Amsterdam.NaturalLogic,theRoadAhead,WorkshoponNaturalLogic,Stanford.Logic,ComputationandAgency,Twenty-ThirdAnnualTarskiLectures, DepartmentofMathematics,UniversityofCalifornia,Berkeley.TutorialonLogicandEpistemology,WorkshopLogicandMethodology, CSLIStanford.ImplicitandExplicitApproachestoModelinginLogic,WorkshopLogic,Language &Philosophy,TsinghuaUniversity,Beijing.LogicalDynamicsofInformationandInteraction,bookpresentation, Decisions,GamesandLogic'11,Maastricht.TowardaTheoryofPlay,invitedlectureTARKXII,Groningen.LogicalConstants:ThreePerspectivesandCounting,ESSLLI/LINTWorkshop, Ljubljana.

37

WhereLogicStandsToday,closinglecture,LogiCCCFinalConference,Berlin.KeepitSimple,BeidaWorkshoponNewTrendsinLogicalDynamics.TheOpenCourseLogicinAction,WorkshopTeachingLogicToday,NankaiUniversity Tianjin.LogicalDynamicsofEvidence,invitedlectureThirdLORIConference,SunYat-sen UniversityGuangzhou.2012TheWebofStrategies,STRATMASWorkshop,LorentzCenter,Leiden.LogicinGames,Artemov60Conference,Logic&ComputationLab,CUNY, NewYork.Logic,PhilosophyandComputation,LogicColloquium2012,Manchester.ModalLogicNowandThen,AdvancesinModalLogic12,Copenhagen.LogicandPhysics,Németi70Conference,Budapest.2013FormalMethodsinanInformalWorld,WorkshopLorentzCenterLeiden.ModernEncountersofLogicandEpistemology,LOGICAconference,Hejnice.LogicinGames,EuropeanSummerMeetingoftheASL,Evora.NaturalLanguagefromthePerspectiveofDynamicLogic,DoortoLogicWorkshop,

TsinghuaUniversity.LogicinandLogicofGames,WorkshopSocialDynamicsofInformationChange,Amsterdam.NaturalDynamicsandNaturalLanguage,Muskensfest,Tilburg.ThreePillarsofWisdom,AmsterdamColloquium2013.2014LogicinGames,ASLSpringMeeting,Boulder.Oscillations,LimitsandLogicsofEvolutionaryGames,EASSLLC'2014,Beijing.GamesandTheoryofPlay,ASLLogicColloquium,FederatedLogicConference,Vienna.TrackingEvidenceandInformation,JRCWorkshop,Amsterdam.2015LovingLoops,RinekeVerbrugge50Workshop,Groningen.LogicinAction,ToolsforTeachingLogic,Rennes.LogicandAgency,OpeningLecture,15thCongressofLogic,MethodologyandPhilosophy ofScience&ASLLogicSymposium2015,Helsinki.InterfacingHighRationalityandLowRationality,StrategicReasoning2015,Oxford.TalkingaboutKnowledge,WilliamsonConference,PekingUniversity.Logic,Computation,andAgency,StracheyLecture,Oxford.LogicandPhilosophy,PlotTwistsinanOldRelationship,OZSWConference,Amsterdam.2016Correspondence:NewTrends,WorkshopUnifiedCorrespondence,LorentzCenter,Leiden.SabotageLogicandSocialNetworkGames,WorkshoponLogicalDynamicsofSocialInfluence andInformationChange,ILLCAmsterdam.Logic,GamesandAgency,SIMIANLecture,EastChinaNormalUniversity,Shanghai.ComputationasSocialAgency,120thAnniversaryLecture,SchoolofHumanities, ZhejiangUniversity,Hangzhou.Logic,Games,andComputation,SixthSRISummerSchoolonFormalTechniques, MenloCollege.

38

DynamicLogicinLanguageandCognition,InternationalRationalitySummerInstitute, Aurich.LogicandPhilosophy:WalkingonEdge(s),WorkshopLogicandPhilosophy, TsinghuaUniversity.NatuurlijkeTaalalsRendez-VousTussenWiskundeenFilosofie,DESDASymposium, MathematicsInstitute,UniversityofNijmegen.Networks,Logics,andGames,LogiCICFinalWorkshop,ILLC,Amsterdam.Modality,Provability,andFixed-Points,WorkshopontheoccasionoftheDissertation DefensePaulaHenk,ILLC,Amsterdam.2017LanguageasActionversusLanguageasCode,IsraelAcademyofSciencesandHumanities, Jerusalem.ModalLogicontheCuspBetweenMathematicsandPhilosophy,LogicJubilee,Berkeley.ImplicitandExplicitApproaches,andtheirTranslations,FEWConference,Seattle.Inference,ArgumentationandSocialAgency,EuropeanConferenceonArgumentation,Fribourg.LogicMeetsProbability,closinglecture,WorkshopFromComputationtoAgency,Beijing. 15 Seminarpresentations(selection)1980LogicalSemantics,GMDResearchInstitute,Bonn.1981QuestionsaboutQuantifiers,SchoolofEpistemics,Edinburgh.1982TheLogicofSemantics,StanfordUniversity.ExploringtheRealmofLogicalConstants,SimonFraserUniversity,Vancouver.RecentDevelopmentsinTenseLogic,UniversityofCaliforniaatBerkeley.1983TheLogicofNaturalLanguage,UniversityofCalgary.1988CategorialGrammarandTypeTheory,UniversityofBudapest.TopicsinAppliedLogic,UniversityofSofia.1989LanguageinAction,USSRAcademyofSciences,Moscow.1990CategoryStructureandDynamicsinNaturalLanguageProcessing, InstituteforFifthGenerationComputerTechnology,Tokyo.LecturesonSemantics,ZentrumfürInformations-undSprachverarbeitung, UniversityofMunich.TheLudwigWittgensteinLectures,UniversityofBayreuth.MathematicalLinguisticsasLogicalProofTheorySteklowInstitute, USSRAcademyofSciences,Moscow.1991LogicandInformationFlow,UniversityofStockholm.

39

1995ModalFoundationsofPredicateLogic,LogicColloquium,UCBerkeley.1996ModalLogics,DynamicsandBisimulation,IndianaUniversity,Bloomington.1997AModernPerspectiveonModalLogic,LecturesatCapeTown,Johannesburg,andPretoria.1998ExploringLogicalDynamics,NationalUniversityofTaiwan,Taipei.CognitiveActionsandInformationFlow,UniversitédeLiège.1999GamesasaModelofInformationFlow,DepartmentsofLinguistics&Philosophy,UCLA.2000LogicGamesforEconomists,TelAvivUniversity.UpdateLogicandInformationFlow,HebrewUniversity,Jerusalem.2001LogicandCommunication,ErnstSchroederColloquium,Darmstadt.DoesLogichaveaFuture?,NederlandseVerenigingvoorLogica,Utrecht.UpdateLogicsforCommunication,ComputingLab,OxfordUniversity.LogicandGameAlgebra,NewYorkUniversityandCUNY.LogicalDynamicsandGames,UniversityofPennsylvania,Philadelphia.2002LogicinGamesandMulti-AgentSystems,UniversityofLiverpool.2003LogicinGames,Departmentsoflinguisticsandmathematics,UCLA.ConceptualModelingasaTaskofLogic,Dresden.AnalyzingInteraction,jointsession,DutchRoyalAcademyofArtsandSciences.2004LogicinGames,LecturesatIHPRST,Paris.Logic,UpdateandCommunication,JAIST,Kanazawa.WhatPlayersmayCometoKnowandBelieve,Department ofEconomics,UniversityofCalifornia,Davis.LogicsofUpdateandRevision,ChineseAcademyofSocialScience,BeidaandRenminUniversities,Peking.LogicsofGames,ZhongShanUniversity,Guangzhou.2005CommunicativeActionandCommonKnowledge,Schoolof ComputerScience,UniversityofManchester.UpdateLogicswithProbability,Stanford/AmsterdamSeminar,ILLCAmsterdam.OneistheLoneliestNumber,LinguisticsSeminar,MIT,Boston.EpistemicLogicandEpistemology,theStateoftheirAffairs,PhilosophicalInstitute, UniversityofStockholm.EpistemicFixed–PointLogicsinSolvingGames,InformatikRWTHAachen.

40

CombiningLogicsandReductionisminMulti–AgentInteraction,Ludwig-Maximilian’s University,Muenchen,Ringvorlesung.2006TheSocialSideofCognition,PsychologyColloquium,UniversityofAmsterdam.DynamicLogic,Knowledge,andTopology,threetalksinDepartments

ofMathematics,ComputingandPhilosophy,OxfordUniversity.OpeningRemarks,TekstenRepresentatie,KNAWSymposium.SemanticDynamics,aUniformApproach,MathematicalLinguistics

ColloquiumUCLASpaceforKnowledge,UCLALogicColloquium.LogicalDynamics,LearningandTime,DepartmentofPhilosophy, CarnegieMellonUniversity,Pittsburgh.FromKnowledgetoLearning,InstituteofPhilosophy, UniversidadAutonomadeMexico,MexicoCity.LogicandInteraction,lectureseriesinGuangzhou (ZhongshanUniversity),GuangxiandGuilin,China.DynamicLogicofBeliefRevision,SchoolofComputingUniversityofNottingham.2007IntelligentInteraction,ChristiaanHuygenscolloquium,TechnischeUniversiteitDelft.WishfulThinking,LawandEconomicsSeminarAmsterdam.LogicandPsychology:dothefactsmatter?SymbolicSystemsForum,Stanford.TheLogicofIntelligentInteraction,PhilosophyColloquium,UCBerkeley.2008AGuidedTourofDynamicEpistemicLogic,IBMAlmadenResearchCenter,SanJose.LogicMatters,South–WestUniversity,Chongqing.UncoveringtheNotionsofInformationinLogic,BeijingLogicForum,PekingUniversity.DynamicEpistemicLogicandEpistemology,WhatisaLogicalConstant?,Beijing NormalUniversity.LogicandInformationDynamics,TsinghuaUniversity,Beijing.2009ModalLindströmTheoremsandWeakAbstractModelTheory,UCLAMathematics, LosAngeles.TheLanguageofLogicfromaPhilosophicalPerspective,ColloquiumGenerale, UniversityofBern.ModelingIntelligentInteraction,JAIST,KanazawaJapan.ALogicalPerspectiveonSolvingGames,InstituteofModernLogic,PhilosophyofScience,

andTechnology,RenminUniversity,Beijing.LogicalDynamicsofInformationFlow,InstituteofPhilosophy,ChineseAcademyof SocialSciences,Beijing.2010DynamicLogicversusDynamicSemantics,FormalEpistemologySeminar,Leuven.LogicandEpistemology,DepartmentofPhilosophy,CMU,Pittsburgh.Logic,orLogics?,PhilosophicalInstituteArché,UniversityofSt.Andrews.TrendsinModernLogic,LectureTour,Poland(Warsaw,Krakow,Opole).

41

2011TutorialonEpistemicDynamicsofGames,ZhejiangUniversity,Hangzhou.TutorialonGeneralizedQuantifierTheory,TsinghuaUniversity,Beijing.FormulasforInteraction,PhilosophyDepartment,NankaiUniversity,Tianjin.LogicattheCross-RoadsoftheUniversity,InstituteforLogicandCognition,SunYat-sen University,Guangzhou.LogicalDynamicsofInformationandInteraction,Lectures,CenterforMathematical

Philosophy,Muenchen.2012ImplicitandExplicitStancesinLogic,NewYorkLogicColloquium,CUNYGraduateCenter.LogicofGamesversusLogicasGames,DepartmentofPhilosophy,ColumbiaUniversity,

NewYork.2013LogicMeetsProbability:TheTinyZoneofReason,ILLCWinterMeeting,Amsterdam.2014Logic,Games,andRationalAgency,GroupinLogicandPhilosophyofScience,University ofCaliforniaatIrvine.2015MathematicalModalLogic,BerkeleyStanfordLogicCircle,SanFrancisco.2016LogicandPhilosophy:NewInterfaces,threelectures(LogicSeminar,Theoretical

Philosophy,CLLAM),StockholmUniversity.DecidableVersionsofPredicateLogic,LogicSeminar,UniversityofCalifornia,Berkeley.OpenProblemsinLogicandGames,LogicSeminar,StanfordUniversity.NewPerspectivesontheLogicofMoralReasoning,DepartmentofPhilosophy, BeijingNormalUniversity.2017JustImagine:LogicwithPictures,InstituteforPhilosophy,ChineseAcademyofSocial Sciences,Beijing.FromWorldstoPossibilityModelsforClassicalLogic,DepartmentofPhilosophy,Beijing NormalUniversity.2018MixingGraphGamesandLogicDesign,DepartmentofComputerScience, OxfordUniversity. 16 Talksforgeneralaudiences(selection)1995DynamicsofInformationFlow,ChristmasColloquium,SHELLResearch,Amsterdam.1996WhatCulturePoliciescanLearnfromSciencePolicies,DeBalie&Boekmanstichting, Amsterdam.

42

1997JohandeWitt:LifeandDeathofaStatesmanandMathematician, DutchNationalGraduateSchoolinLogic.2002TheFutureoftheHumanitiesandSciences,HollandscheMaatschappijderWetenschappen, Haarlem.2003DeKunstvanhetKennisMaken,openingacademicyear,UniversityofAmsterdam. 2004MixturesofNaturalandArtificialBehaviour,MaagdenhuisopMaandag,UvA.DeConversatiemachine,MaagdenhuisopMaandag,Amsterdam,UvA. 2005LogicaenCreativiteit,CREALecture,IISAmsterdam.DeKunstvanhetKennisMaken,RotterdamsNatuurkundigGenootschap.2006LogicaindeFilm'Memento',Amsterdam,CollegeFilmwetenschap,IIS."WatisLogisch?",NEMOKinderlezing,Amsterdam.ClosingRemarks:'CuriousMinds',Talentenkracht,KNAWSymposium.2007LogicaophetGrensvlakvanAlfa,Beta,Gamma,NatuurkundigGenootschapDiligentia, DenHaag.ExacteTalentenjacht,VTBUniversumLezingAmersfoort.DeLogicavanIntelligenteInteractie,NatuurwetenschappelijkeGenootschapAssen.LogicaanddePoëzievanMarkInsingel,StichtingPerdu,Amsterdam.‘JaapvandenHerik60’,KasteelVaeshartelt,Maastricht.TheWorkingsofanInterdisciplinaryInstitute,DeLeidscheFlesch,LeidenUniversity.2008ADutchmaninChina,‘AmsterdamKennisstad’BeijingVisit,UnisysCenter,Tsinghua.InformationFlowAcrosstheUniversity,TsinghuaUniversity.MetVerlichteGeest,OpeningAcademicYear,UniversityofAmsterdam.2009IntelligenceSeldomComesAlone,ScienceCafeNijmegen.2010KunJijLogischDenken?,Children’slecture,TalentenkrachtDay,Naturalis,Leiden.2011WatisLogisch?,Children’slecture,TalentenkrachtDay,Naturalis,Leiden.2012LogicalDynamics,PodcastElucidations,DepartmentofPhilosophy,UniversityofChicago http://philosophy.uchicago.edu/podcasts/elucidations.html2013ExploringDynamicsinChina,OpeningAcademicYear,UniversityofAmsterdam.

43

2014FanningtheFlamesofReason,ValedictoryLecture,UniversityofAmsterdam.PicturesfromLogic:HowYouandI(Should)Reason,StandvandeWetenschap, Spui25,Amsterdam.NaturalLanguageandNaturalLogic,HeliosTaalcafé,Amsterdam.2015IedereenKanLogischDenken,RotarySantpoort.LogischDenken:VanAbstracteNormtotConcreetGedrag,CultureleKring“AdriaenPoirters”, Oisterwijk.2017DenkenKanNietZonderBeelden,InstituutvoorBeeldtaal,Amsterdam.HoeWerktLogischDenken?,Winterlezing,ZaanlandCollege,Purmerend.2018CommonSenseenWetenschap,WesthoeklezingBurchHaamstede& UniversityCollegeRoosevelt,Middelburg.OntheDynamicsofLogic,PhilosophicalInstitute,LundUniversity,podcast

https://soundcloud.com/user-37204585/11-johan-van-benthem-on-the 17 EditorialActivities(selection)ManagingEditorJournalofLogic,LanguageandInformation 1991–1996LogicandComputation 1990–2014JournalofSymbolicLogic(coordinatingeditor) 1989–1993LinguisticsandPhilosophy 1989–1992StudiesinLogic&FoundationsofPracticalReasoning 2002–2006TransactionsonComputationalLogic 2005–2009Editor–in–Chief,TextsinLogicandGames 2006–2009 JournalofAppliedLogic 2002–2005StanfordEncyclopediaofPhilosophy 2009–presentSynthese 2005–2012NominatingEditorThePhilosopher'sAnnual 1988–presentAdvisoryBoardSynthese(chair) 2012–2014StudiesinLogic,firstChineselogicjournal 2008–presentHandbookoftheHistoryofLogicalThoughtinChina 2014–presentJournalofPhilosophicalLogic 2008–presentMemberofEditorialBoardsJournalofPhilosophicalLogic StudiaLogica LogicJournaloftheInterestGroupinPureandAppliedLogics LogicandComputationLanguageandComputation

44

Logic,Epistemology,andtheUnityofScienceKnowledge,RationalityandActionLectureNotesinLogic,LanguageandInformation(LNLLI)LogicalInvestigationsRatioTheoriaUniversalLogicLogicinAsiaJournalofIndianCouncilofPhilosophicalResearchOpenPhilosophy

Teachingandsupervision18 RegularcoursesRegularcourses taughtat theUniversityofAmsterdam,UniversityofGroningen,StanfordUniversity,TsinghuaUniversity,andSimonFraserUniversity.IntroductoryCoursesLogic{mathematicians,philosophers,linguists,computerscientists}Mathematics{mathematicians,computerscientists,humanitiesstudents}Philosophy{philosophers,mathematicians}CognitivescienceMathematicalLogicLambdaCalculusandProofTheoryModelTheoryRecursionTheorySetTheoryPhilosophicalLogicConditionalsandCausalityFormalPhilosophyofScienceGame–TheoreticalLogicGeneralIntensionalLogicModalLogicTemporalLogicLogicinPhilosophyTheRoleofLogicinModernPhilosophyEpistemicLogic,InformationUpdate,andCommunicationLogicandLinguistics

CategorialGrammarLogicalSemantics(GeneralizedQuantifiers,NaturalLogic)MontagueGrammarLogicandComputerScienceDynamicLogicLogicsforArtificialIntelligence

45

LogicProgrammingSemanticsofProgrammingLanguagesReasoningandProgrammingLogicandMathematicsLogicandCategoryTheoryNon–StandardAnalysisPhilosophyofMathematicsUniversalAlgebraAdvancedModalLogicVariaHistoryofLogicLinearAlgebraTheoryofArgumentationLogicandGameTheory19 Incidentalcourses(selection)1976 ModaleLogicavoorLinguïsten,UniversiteitAntwerpen.1977 FormalSystems,WiskundigGenootschap,Amsterdam.1980 ModalLogicandModelTheory,UniversityofGothenburg.1982 New Directions in Semantics, University of Oslo. 1984 Mathematicsforhumanitiesstudents,Stanford.1986 CategorialGrammarandLambdaCalculus,BulgarianSummerSchoolinAppliedLogic, Druzhba.1992 TemporalLogic,CourseofLectures,SummerSchoolonTemporal Reasoning,CentreforMiddleEuropeanPhilosophy,Bolzano.1992 AbstractProofTheory,CourseofLectures,FourthEuropeanSummerSchoolin

Logic,LanguageandInformation,UniversityofEssex,Colchester.[WithDovGabbay.]

1992 DynamicLogicofInformation,CourseofLectures,AutumnSchoolinLogicandArtificialIntelligence,Udine.

1995 ACourseinLogicalSemantics,InstituteforResearchinCognitiveScience(IRCS), UniversityofPennsylvania,Philadelphia.1995 ProofTheoryandNaturalLanguage,7thEuropeanSummerSchoolinLogic, LanguageandInformation,Barcelona.1995 DynamicLogicandInformationFlow,one-weeklecturecourseand workshop,ChibaUniversity,Tokyo.1996 DynamicLogicandInformationFlow,courseoflectures,8thESSLLISummerSchool, Prague.2000 FromLogictoGameTheory,mini-course,AthensUniversity.2001 UpdateLogics,invitedtutorial,TARKVIII,Siena.2001 LogicalDynamics,lectureseries,distinguishedvisitor, TaiwanNationalResearchCouncil.2001- HowMathematicsWorks,generalpubliceveningcourse,threeyears,2003 UniversityofAmsterdam. [WithRobbertDijkgraafandJanJaspars.]

46

2006 CourseonGamesandLogic,CambridgeUniversity, SummerSchoolEuropeanGAMESNetwork.2007 TutorialonLogicandGames,London,ILLC/LSE/LausanneWorkshop.2008 LogicandInformationDynamics,lectureseriesTsinghuaUniversity,Beijing.2010 LogicandRationalAgency,ESSLLICopenhagen.2011 LogicinAction,openinternetcourse,23dESSLLISummerSchool,Ljubljana. [WithJanvanEijckandJanJaspars.]2016 ALogicianLooksatGames(andtheylookback),mini-course,EpicenterMaastricht.2016 LogicandAgency,highlightcourse,NASSLLI2016(NorthAmericanSummerSchool

ofLogic,LanguageandInformation),RutgersUniversity.2016–8 LogicinAction,seriesofvideolectures,SummerSchoolonLogic&Agency, UniversityofHokkaido,Sapporo.20 Lecturenotes1972 LogikaI1972 ModaleLogika1973 LogikaII 1974 InleidingFilosofischeLogika1975 Argumentatieleer1975 Logika01975 MontagueGrammatika1976 FilosofischeLogica1977 MathematischeLogica1977 WiskundigeLogika1978 InleidingLogika1979 LogikainVogelvlucht1979 FormeleMethodenindeWetenschapsfilosofie1980 InleidingSemantiek1980 Modeltheorie1980 TheLogicofTime1981 Verzamelingenleer1983 TheoretischeInformatica1985 LogicProgramming1986 InleidingLogica1987 Non-standaardAnalyse1987 SemantiekvanProgrammeertalen1989 LogicaenArtificiëleIntelligentie1989 CategorialGrammarandLambdaCalculus1991 LogicalSemanticsofProgramming1993 LogicaenInformatica,OpenUniversity1993 RecursionTheory1998 ProgrammerenenRedeneren2000 RedenerenenImplementeren2000- LogicinGames,2003 successivelectureversions2002 HoeWiskundeWerkt

47

2014 LogicinAction2015 MathematicalModalLogic21 Master'sthesessupervisedPhilosophy 1974 JobvanEck1975 ZenoSwijtink 1978 JanvanEijck1980 HenkZandvoort 1982 JanTollenaar,KeesdeBakker 1983 PieterDijkstra,JanStegeman,VictorSanchez,EliasThijsse1984 FransVelthuis,FrensDols,FrankdeBoer,BaukePosma1986 RobdeMoes,WimKoole,WilfriedMeyerViol,Yao–HuaTan1987 BartHeupers 1988 PaulvanUlsen,ReneVondeling 1989 TijnBorghuis,MaartendeRijke1991 GiovannaCepparelloMathematics1979 BertdeBrock1982 EdBrinksma,HermanBalsters,JohnVredeveld1983 GeertenKuiper1985 Jan–AnneHogendorp1986 WiebevanderHoek,PeterWeyland1987 YdeVenema,AlbanPonse1988 RochusvanderDoef,JanKetting,JanJaspars1992 MartijnSpaan 1994 LennartdeVries,AriëtteKöhler1995 JoeriEngelfriet2000 BoudewijndeBruinComputerscience1992 PeterdeJongLogic1997 MarcPauly2001 BenRodenhäuser2002 YouriNetchitajlov2003 GuillaumeAucher,TanjaHoette2004 FenrongLiu,SpencerGerhard,JiRuan2005 FlorisRoelofsen2007 HaraldBastiaanse2010 YacinHamami,MattWampler–Doty,LorenzDemeij,AlexandruMarcoci2011 IrmaCornelisse2014 StefanieKooistra

48

22 Dissertationssupervised1982JobvanEck,ASystemofTemporallyRelativeModalandDeontic PredicateLogicanditsPhilosophicalApplications1983TheoJanssen,FoundationsandApplicationsofMontagueGrammar,coreferent.1984JeroenGroenendijk&MartinStokhof,StudiesontheSemantics

ofQuestionsandthePragmaticsofAnswersJackHoeksema,CategorialMorphology1985JanvanEijck,AspectsofQuantificationinNaturalLanguageFrankVeltman,LogicsforConditionals1986FransZwarts,CategorialeGrammaticaenAlgebraischeSemantiek.

EenOnderzoeknaarNegatieenPolariteitinhetNederlandsPietRodenburg,IntuitionisticCorrespondenceTheoryChristianBennet,OnSomeOrderingsofExtensionsofArithmetic,coreferent.1987KeesDoets,CompletenessandDefinability.Applicationsofthe

EhrenfeuchtGameinSecond–OrderandIntensionalLogicMichielvanLambalgen,RandomSequences1988MichaelMoortgat,CategorialInvestigations.Logicaland

LinguisticAspectsoftheLambekCalculus1989ReinhardMuskens,MeaningandPartialityLeonoorOversteegen,TrackingTime.RepresentingTemporalExpressionsinDutch1990PatrickBlackburn,NominalTenseLogicandOtherSortedIntensionalFrameworksSjaakdeMey,DeterminerLogicortheGrammaroftheNP1991VictorSánchez,StudiesonNaturalLogicandCategorialGrammarKeesvanDeemter,OntheCompositionofMeaning.FourVariationson

theThemeofCompositionalityinNaturalLanguageProcessingDirkRoorda,ResourceLogics:Proof–TheoreticalInvestigations1992EliasThijsse,PartialLogicandKnowledgeRepresentationJaapvanderDoes,AppliedQuantifierLogics.CollectivesandNakedInfinitivesWiebevanderHoek,ModalitiesforReasoningaboutKnowledgeandQuantities

49

YdeVenema,Many–DimensionalModalLogicYaoHuaTan,Non–MonotonicReasoning:LogicalArchitectureand

PhilosophicalApplicationsHeinrichWansing,TheLogicofInformationStructures1993EdithSpaan,ComplexityofPureandAppliedIntensionalLogicsMaartendeRijke,ExtendedModalLogics1994JanJaspars,CalculiforConstructiveCommunicationMakotoKanazawa,LearnableClassesofCategorialGrammars1995MaartenMarx,RelativizedRelationAlgebrasandArrowLogicAndrejaPrijatelj,StudiesonBoundedContractionGiovannaCepparello,StudiesinDynamicLogicWilfriedMeyerViol,InstantialLogicSzabolcsMikulas,TamingLogicsNatashaKurtonina,FramesandLabelsMarianneKalsbeek,Meta–LogicsforLogicProgrammingWillemGroeneveld,LogicalInvestigationsinDynamicSemanticsNatashaAlechina,ModalQuantifiers1996MartinvandenBerg,TheInternalStructureofDiscourseAngeloMontanari,MetricandLayeredTemporalLogicforTimeGranularity1997NatashaRakic,CommonSenseTimeandSpecialRelativityAtochaAlisedaLlera,SeekingExplanations:AbductioninLogic,Philosophy,andAI1998LeoniedeSmet,MassTermsandPluralsinFrenchSjoerdZwart,VerisimilitudeandTruthlikenessMarcoHollenberg,LogicandBisimulationGiovannad'Agostino,ModalLogicandNon–Well–founded

SetTheory:Bisimulation,Translation,andInterpolation2000PaulvanUlsen,EvertWillemBethalsLogicusHansvanDitmarsch,KnowledgeGamesCarlosAreces,LogicEngineering2001GwenKerdiles,HowtoSayitwithPictures:ALogicalLandscapeofConceptualGraphsMarcPauly,LogicforSocialSoftware2002MarcoAiello,VisualReasoningandImageProcessing

50

2004Externalexaminer:TeroTulenheimo,ModalIFLogic,HelsinkiBoudewijndeBruin,ExplainingGames.AssumptionsofGameSolutionConcepts2005BaldertenCate,ModelTheoryforExtendedModalLanguagesDarkoSarenac,ModalLogicsofSpatialProducts2006SieuwertvanOtterloo,PreferenceLogicsinGamesMerlijnSevenster,SemanticsandComplexityTheoryofImperfectInformationGames2008PatrickGirard,ConditionalandPreferenceLogicsforBeliefRevisionFenrongLiu,ChangingfortheBetterOlivierRoy,Plans,Logic,andPhilosophyofAction2009JakubSzymanik,Quantifiers,Complexity,andCognitioninNaturalLanguageTomohiroHoshi,EpistemicDynamicsandProtocolInformation2010CédricDégrémont,TheTemporalMind,BeliefChangeinInteractiveSystemsJonathanZvesper,PlayingwithInformationAmélieGheerbrant,Fixed–pointLogicsforTreesGaëlleFontaine,ModalFixed–PointLogicsNinaGierasimczuk,KnowledgeintheLimit,LogicandLearningTheory2011FernandoVelazquezQuesada,SmallStepsintheDynamicsofInformationStefanMinica,QuestionsandDialogicalLogicsLenaKurzen,DesigingGamesandModulatingComplexity2012JeremyMyers,Locations,Bodies,andSets:AModel-theoreticInvestigation

intoNominalisticMereologiesWesleyHolliday,KnowingWhatFollows:EpistemicClosureandEpistemicLogic2013ThomasIcard,TheAlgorithmicMind:AStudyofInferenceinAction2015ShengyangZhong,OrthogonalityandQuantumGeometry2016ZoéChristoff,DynamicLogicsofNetworks:InformationFlowandSpreadofOpinions2017GiovanniCinà,CategoryTheoryfortheWorkingModalLogicianPeterHawke,TheProblemofEpistemicRelevanceShaneSteinert–Threlkeld,NewQuestionsaboutCompositionality2018Externalexaminer:RasmusRendsvig,LogicalDynamicsandDynamicalSystems,Lund

51

Ph.D.CommitteesatStanfordsince1991Makoto Kanazawa (linguistics), Sun–Yoo Shin (philosophy), Eric Jackson (philosophy),Mun–Kew Leong (philosophy), Mark Greaves (philosophy), Nir Friedman (computerscience), Tom Costello (computer science), Thomas Hofweber (philosophy), Alan Bush(philosophy),SasaBuvac(computerscience),PatrickScottodiLuzio(philosophy),LaurenAaronson (philosophy), Bernd Finkbeiner (computer science), Aarati Parmar (computerscience),BillMacCartney(linguistics).

Organization23 Largerresearchprojectsandgrants(selection)1990SemanticParallelsinNaturalLanguageandComputation,3-yearproject,NationalFacilityforInformatics,UniversitiesofAmsterdamandUtrecht.WithJanvanEijckandAlbertVisser.2003Talentenkracht,nationalprojectonexploringtalentsofpreschoolchildren.WithRobbertDijkgraafandJandeLange.2006Logic,Games,andSocialSoftware,NIAS(NetherlandsInstituteforAdvancedStudies).WithJanvanEijckandRinekeVerbrugge.2011“LogicandIntelligentInteraction”,European-wideproject,EuropeanScienceFoundation.WithSamsonAbramsky,GabrielSandu,ErichGraedel,andmanyothers.2014“LanguageinInteraction”,nationalprojectoncognitivescience,AmsterdamandNijmegen.WithAnneCutler,PeterHagoort,andPieterMuysken.24 Eventsorganized1987Symposium'CategorialGrammar',Amsterdam(withEwanKlein).EighthInternationalCongressforLogic,MethodologyandPhilosophyofScience, AreaChair,Moscow,1987.1991Workshop'LogicandInformationFlow',SemanticParallelsProject,

Amsterdam,(withJanvanEijck&AlbertVisser).1992FirstWorkshop'Logic,LanguageandComputation',CenterfortheStudyofLanguage

andInformation,StanfordUniversity,(withMakotoKanazawa&ChrisPiñon).Workshop'ComputationalSemantics',COLING,Nantes,(withHansUszkoreit).FoLLISymposium'ReasoningwithUncertainty',FourthEuropeanSummerSchoolin

Logic,LanguageandInformation,Colchester,(withDovGabbay).

52

1993SecondWorkshop'Logic,LanguageandComputation',CSLI,StanfordUniversity,

(withMakotoKanazawa,ChrisPiñon&HenriëttedeSwart).Workshop'TemporalandSpatialReasoning',IJCAI,Chambéry,

(withFrankAnger&Hans–JuergenGuesgen).Workshop'IntegratingLogicandLinguistics',HandbookofLogicand

Language,Amsterdam,(withAliceterMeulen).1994ThirdWorkshop'Logic,LanguageandComputation',CSLI,StanfordUniversity,

(withAtochaAliseda–Llera,MariaEugeniaNino&StanleyPeters).Conference'LogicandArgumentationTheory',RoyalDutchAcademyof

Sciences,Amsterdam,(withFransvanEemeren&RobGrootendorst).1995FourthWorkshop'Logic,LanguageandComputation',CSLI,StanfordUniversity,

(withAtochaAliseda–Llera,YookyungKim&StanleyPeters).Chair,GeneralProgramCommittee,TenthInternationalCongressofLogic,

Methodology&PhilosophyofScience,Florence,(withKeesDoets).AuthorsWorkshop,HandbookofLogicandLanguage,Amsterdam, (withAliceterMeulen).1996ConferenceChair,FifthInternationalCongress"TheoreticalAspectsof

ReasoningAboutKnowledge".FifthWorkshop'Logic,LanguageandComputation',CSLIStanfordUniversity,

(withAtochaAliseda–Llera,JeanBraithwaite&HenriëttedeSwart).1997SixthWorkshop'Logic,LanguageandComputation',CSLI,StanfordUniversity,(with

MartinaFaller,RobvanGlabbeek,GrishaMints&HenriëttedeSwart).1998SeventhWorkshop'Logic,LanguageandComputation',CSLI,StanfordUniversity,

(withMartinaFaller,RobvanGlabbeek,DavidIsrael&DavidBeaver).Co–Chair[withW.Hodges],LogicSession,"Paideia",TwentiethWorld

CongressofPhilosophy,Boston.1999'FromImageProcessingtoVisualReasoning',CSLI,(withJohnEtchemendy).EightWorkshop'Logic,LanguageandComputation',CSLI,StanfordUniversity,(with

DaveBarker–Plummer,RobvanGlabbeek,DavidIsrael&DavidBeaver).'LogicasanInformationScience',SecondPanhellenicLogicSymposium,

Delphi,withAnetaSinachopoulos.Logic,UniversalAlgebraandTheoreticalComputerScience,Johannesburg.2000NinthWorkshop'Logic,LanguageandComputation',CSLI,StanfordUniversity,

(withGrigoriMints,RobvanGlabbeek,DavidIsrael&DavidBeaver).TopicAreaChair,PureandAppliedPracticalReasoning,London.

53

2001ProgramChairTIME2001,CividaledelFriuli.ProgramChairTARKVIII,Siena.TenthWorkshop'Logic,LanguageandComputation',CSLI,StanfordUniversity,

(withGrigoriMints,RobvanGlabbeek,DavidIsrael&DavidBeaver).GeneralChairTIME2001,Udine.SteeringCommitteeTIMEInternational symposiaontemporalrepresentationandreasoning.2002ProgramDirector,NASSLLI–I,FirstNorth–AmericanSummerSchoolinLogic,

LanguageandInformation,Stanford.WorkshopGames,LogicandComputation,NASSLLI1,Stanford,(withYoavShoham).AreaChair,PhilosophicalLogic,TwelfthInternationalCongressofLogic,

Methodology&PhilosophyofScience,Oviedo.OrganizingCommittee,PhilosophicalInsightsintoLogicandMathematics,Nancy.2003WorkshoponSpatialReasoning,SecondNorth–AmericanSummerSchool

inLogic,LanguageandInformation(NASSLLI–2),Bloomington,(withMarcoAiello,GuramBezhanishviliandDarkoSarenac).

WorkshoponLogicsofSpace,Amsterdam,(withDarkoSarenac).2004TheWeekofLearningandtheBrain,(withnationalcommitteeNWO,OECD–CERI).HandbookofModalLogic,expertworkshopwithauthors,localorganizerAmsterdam, (withPatrickBlackburnandFrankWolter).GuardedFragments,workshopESSLLINancy2004.ChangingMinds,thelogicandpsychologyofbeliefrevision,Amsterdam2004.TheDynamicsofReason,philosophyofscienceandlogicto–day,Amsterdam2004.2005OrganizingCommittee,FirstIndianConferenceonLogicanditsRelationship

withOtherDisciplines,IndianInstituteofTechnology,Mumbai.FirstInternationalWorkshoponthePhilosophyofInformation,Amsterdam (withPieterAdriaans).2006AuthorsWorkshop,HandbookofModalLogic,Amsterdam,(withPatrickBlackburn andFrankWolter).2007OrganizingCommittee,IndianLogicConferenceinHonourofMatilal,Calcutta.GeneralChair,LogicsforRationalityandInteraction,Beijing.2008LogicmeetsEpistemology,informally,Stanford:ChairProgramCommittee.Proofs,ReasonsandGames,TsinghuaUniversityBeijing.E.W.BethCentennialConference,Amsterdam.2009Co–organizer,Games,LogicandComputationXVI,GeneralizedQuantifiers: FormalSemanticsMeetsComputationandCognition,Amsterdam.

54

2010LogicsofCommunication,LorentzCenterLeiden,(withRamRamanujam &RinekeVerbrugge).PhilosophyofInformationandComputation,LorentzCenterLeiden,(with JanvanLeeuwenandothers).Co–organizer,GamesLogicandComputationXVII,LogicandGamesToday, Amsterdam,(withCédricDégrémontandJonathanZvesper).SOCREALConferenceonLogic,EthicsandSocialReality,Sapporo, Japan,(withTomoyukiYamada).ADoortoLogic,LogicalResearchinChinatoday,Beijing,May, (withFenrongLiu).Logic,RationalAgencyandGames,ESSLLISummerSchoolCopenhagen, (withEricPacuit).TheHistoryofLogicinChina,InstituteforAsianStudiesLeiden,UvA &KNAW,(withFenrongLiu&JeremySeligman).2011LogicandPhilosophyToday,JICPRWorkshop,UniversityofDelhi, 4–5January,(withAmitabhaGupta).LogicandMethodology,CSLIWorkshopStanford,14–15May, (withBasvanFraassen&KevinKelly).Logic,CognitionandReasoning,ASLSummerMeeting,Barcelona, July,(withIanPratt–Hartmann).PhilosophicalLogicandAgency,BethSymposium,DLMPSCongress, Nancy,(withGerhardHeinzmann&HenkVisser).2012ModelingStrategicReasoning,LorentzCenter,Leiden,February, (withSujataGhoshandRinekeVerbrugge).FirstCSLIWorkshoponLogicandRationalInteraction,Stanford,June

(withWesHolliday,TomohiroHoshi,ThomasIcard,andShaneThrelkeld–Steiner).

2013OpeningeventILLCTsinghuaJointResearchCenterinLogic,UniversityofAmsterdam (withPetervanOrmondt).LogicacrosstheUniversity:FoundationsandApplications,TsinghuaUniversity

(withFenrongLiu).2014ThirdCSLIWorkshoponLogic,RationalityandIntelligentInteraction

(withJTChipman,PeterHawke,ThomasIcard,andShaneSteinert–Threlkeld).TrendsinLogicToday,OpeningJRCILLC–TsinghuaUniversity,(withFenrongLiu).2015SMARTWorkshoponCommunicationandAgency,AmsterdamBrainandCognition Initiative,(withJakubSzymanik).FourthCSLIWorkshoponLogic,RationalityandIntelligentInteraction

(withJTChipman,KrisMierzewski,GracePaterson,JohnTurman,YafengWang).

55

2016UnifiedCorrespondenceTheory,WorkshopLorentzCenterLeiden (withWillemConradieandAlessandraPalmigiano).FifthCSLIWorkshoponLogic,RationalityandIntelligentInteraction

(withTh.Icard,W.Holliday,JTChipman,KrisMierzewski,MichaelCohen,DaveGottliebandFrancescaZafforaBlando).

2017SixthCSLIWorkshoponLogic,RationalityandIntelligentInteraction

(withTh.Icard,JTChipman,KrisMierzewski,MichaelCohen,BenSparkes,DeclanThomson,DaveGottlieb,andFrancescaZafforaBlando).

2018JinYueLinStartWorkshop,TsinghuaUniversityBeijing

(withFenrongLiu).SeventhCSLIWorkshoponLogic,RationalityandIntelligentInteraction (withTh.IcardandStanfordlogicgraduatestudents)

Programcommittees(selection)ASLLogicColloquium,IJCAI,TARK,ESSLLI,WoLLIC,TbilisiSymposia,AiML,WOCFAI,JELIA,LACL, De Morgan Workshops, Logic and Language, FotFS, LOFT, TIME, IMLA, CONTEXT,Logic and Multi–Agent Systems AMAS, LORI, Formal Ontology, Methods for Modalities,UniversalLogic,CommonSense,ComputerScienceLogic,DaLI.