Hybrid logic with propositional quantiers: Natural deduction style (Work in progress)

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

OriginalsprogEngelsk
TitelNon-Classical Modal and Predicate Logic : Book of abstracts
UdgivelsesstedBochum
ForlagRuhr University Bochum
Publikationsdato2021
Sider29-32
StatusUdgivet - 2021
BegivenhedNon-Classical Modal and Predicate Logic : The third international conference - Jahrhunderthaus Alleestraße 80 44973 Bochum, Bochum, Tyskland
Varighed: 23 nov. 202126 nov. 2021
Konferencens nummer: 3
https://sites.google.com/view/ncmpl2021

Konference

KonferenceNon-Classical Modal and Predicate Logic
Nummer3
LokationJahrhunderthaus Alleestraße 80 44973 Bochum
Land/OmrådeTyskland
ByBochum
Periode23/11/202126/11/2021
AndetModalities and predicates have since ancient times been central notions of logic. In the 20th century, various systems of non-classical logics 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 applications gave rise to the questions of non-classical treatment of quantification and modalities and their accommodation in these non-classical logics. In response, various modal and predicate variants of non-classical logics have been introduced and studied in the past decades.<br/><br/>Although there are many good conferences on (mainly propositional) non-classical logics, this conference is one solely dedicated to modal 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 recent 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.<br/><br/>The third edition, after two editions in Sun Yat-Sen University, Guangzhou (Canton), China, will be held in Bochum, Germany, from November 23-November 26, 2021.
Internetadresse

Citer dette