BEGIN:VCALENDAR VERSION:2.0 PRODID:ILLC Website X-WR-TIMEZONE:Europe/Amsterdam BEGIN:VTIMEZONE TZID:Europe/Amsterdam X-LIC-LOCATION:Europe/Amsterdam BEGIN:DAYLIGHT TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST DTSTART:19700329T020000 RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET DTSTART:19701025T030000 RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU END:STANDARD END:VTIMEZONE BEGIN:VEVENT UID:/NewsandEvents/Archives/2017/newsitem/9138/4-- -8-December-2017-Non-classical-Modal-and-Predicate -Logics:The-9th-International-Workshop-on-Logic-an d-Cognition-WOLC2017-Guangzhou-China DTSTAMP:20170610T201816 SUMMARY:Non-classical Modal and Predicate Logics:T he 9th International Workshop on Logic and Cogniti on (WOLC2017), Guangzhou, China DTSTART;VALUE=DATE:20171204 DTEND;VALUE=DATE:20171208 LOCATION:Guangzhou, China DESCRIPTION:Modalities and predicates have since a ncient times been central notions of logic. In the 20th century, various systems of non-classical lo gics emerged, with applications mainly in Computer Science, but also in many other disciplines such as Linguistics, Mathematics, and Philosophy. Both the theoretical studies and the needs of applicati ons gave rise to the questions of non-classical tr eatment of quantification and modalities and their accommodation in these non-classical logics. In r esponse, various modal and predicate variants of n on-classical logics have been introduced and studi ed in the past decades. Although there are many g ood conferences on (mainly propositional) non-clas sical logics, this conference is one solely dedica ted to modal and predicate non-classical logics. T he aim of the conference is to bring together rese archers in both pure and applied aspects of variou s branches of non-classical logics, not only to pr esent recent advances in their particular fields, but mainly foster the exchange of ideas between re searchers focusing on (1) separate branches of non -classical logic and (2) foundational and applied issues. We invite submissions on both (a) theoret ical topics from all branches of mathematical logi c (e.g., proof-theory, model theory, game theory, computational complexity, etc.), as well as (b) th eir applications in various areas (including compu ter science, linguistics, mathematics, philosophy, etc.). Strong papers on propositional logics can also be accepted, provided they relate to the them es in the main scope of the conference (e.g., the study of completions in algebraic semantics, propo sitional quantification, etc.). X-ALT-DESC;FMTTYPE=text/html:
Modalitie s and predicates have since ancient times been cen tral notions of logic. In the 20th century, variou s systems of non-classical logics emerged, with ap plications mainly in Computer Science, but also in many other disciplines such as Linguistics, Mathe matics, and Philosophy. Both the theoretical studi es and the needs of applications gave rise to the questions of non-classical treatment of quantifica tion and modalities and their accommodation in the se non-classical logics. In response, various moda l and predicate variants of non-classical logics h ave been introduced and studied in the past decade s.
\n\nAlthough there are many good confer ences on (mainly propositional) non-classical logi cs, this conference is one solely dedicated to mod al and predicate non-classical logics. The aim of the conference is to bring together researchers in both pure and applied aspects of various branches of non-classical logics, not only to present rece nt advances in their particular fields, but mainly foster the exchange of ideas between researchers focusing on (1) separate branches of non-classical logic and (2) foundational and applied issues.
We invite submissions on both ( a) theoretical topics from all branches of mathema tical logic (e.g., proof-theory, model theory, gam e theory, computational complexity, etc.), as well as (b) their applications in various areas (inclu ding computer science, linguistics, mathematics, p hilosophy, etc.). Strong papers on propositional l ogics can also be accepted, provided they relate t o the themes in the main scope of the conference ( e.g., the study of completions in algebraic semant ics, propositional quantification, etc.).