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/2021/newsitem/12711/23 ---26-November-2021-3rd-international-conference-o n-Non-classical-Modal-and-Predicate-Logics-NCMPL-2 021-Bochum-Germany-Hybrid- DTSTAMP:20210913T141353 SUMMARY:3rd international conference on Non-classi cal Modal and Predicate Logics (NCMPL 2021), Bochu m, Germany (Hybrid) DTSTART;VALUE=DATE:20211123 DTEND;VALUE=DATE:20211126 LOCATION:Bochum, Germany (Hybrid) DESCRIPTION:Modalities and predicates have since a ncient time been central notions of logic. In the 20th century, various systems of non-classical log ics have emerged, with applications in many discip lines like Computer Science, Linguistics, Mathemat ics, and Philosophy. This gave rise to the questio ns of a non-classical treatment of quantifiers and modalities and the accommodation of quantifiers a nd modalities in non-classical logics. In response , various modal and predicate variants of non-clas sical logics have been introduced and studied in t he past decades. NCMPL is a conference series sol ely dedicated to modal and predicate non-classical logics. The aim of the conference is to bring tog ether researchers from various branches of non-cla ssical logics, not only to present recent advances in their particular fields, but also to identify common problems and methods and foster the exchang e of ideas between researchers from separate field s. Papers are sollicited. The scope includes theo retical works on the conference topics coming from all branches of formal logic (proof-theory, model theory, game theory, computational complexity, ph ilosophical and historical aspects), as well as th eir applications in computer science, linguistics, philosophy, 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, infinitary logics, etc.). Full versions of se lected papers will be published in a special issue of an international peer-reviewed journal (to be specified). X-ALT-DESC;FMTTYPE=text/html:
\n

Modalitie s and predicates have since ancient time been cent ral notions of logic. In the 20th century, various systems of non-classical logics have emerged, wit h applications in many disciplines like Computer S cience, Linguistics, Mathematics, and Philosophy. This gave rise to the questions of a non-classical treatment of quantifiers and modalities and the a ccommodation of quantifiers and modalities in non- classical logics. In response, various modal and p redicate variants of non-classical logics have bee n introduced and studied in the past decades.

\ n\n

NCMPL is a conference series solely dedica ted to modal and predicate non-classical logics. T he aim of the conference is to bring together rese archers from various branches of non-classical log ics, not only to present recent advances in their particular fields, but also to identify common pro blems and methods and foster the exchange of ideas between researchers from separate fields.

\n
\n

Papers are sollicited. The scope i ncludes theoretical works on the conference topics coming from all branches of formal logic (proof-t heory, model theory, game theory, computational co mplexity, philosophical and historical aspects), a s well as their applications in computer science, linguistics, philosophy, etc. Strong papers on pro positional logics can also be accepted, provided t hey relate to the themes in the main scope of the conference (e.g., the study of completions in alge braic semantics, infinitary logics, etc.). Full ve rsions of selected papers will be published in a s pecial issue of an international peer-reviewed jou rnal (to be specified).

\n
URL:https://sites.google.com/view/ncmpl2021 CONTACT:ncmpl2021 at rub.de END:VEVENT END:VCALENDAR