On Invariances Across Logics

Dear Colleagues,

The van Benthem characterization theorem, stating that classical modal logic is the bisimulation invariant fragment of first-order logic, was established in Johan van Benthem’s PhD thesis titled ‘Modal Correspondence Theory’ published in 1976 through the University of Amsterdam. To commemorate 50 years of this celebrated thesis, we are planning this special volume of Logics with ‘structural invariances and connections in logic’ as the central points of focus. Our goal is to promote further studies on these important mathematical notions under the purview of logic. We invite you to submit a study that is broadly focused on such structural notions in logic to this Special Issue.

This Special Issue will provide state-of-the-art research on the related notions of ‘invariance and expressivity’, on one hand, and ‘interconnections and translations’, on the other hand, with respect to various logical systems that can be considered bases for future research in these areas. Relevant notions of equivalences, algebras, and dualities, as well as expressivity, computational complexity, axiomatizations, will also be explored. Our focus will be on providing a comprehensive collection of surveys and original research in the following broad areas:

• Computational Logics;
• Mathematical Logic;
• Philosophical Logic.

Potential topics may include (but are not limited to) the following: two-valued logics; many-valued logics; intuitionistic logics; modal logics; first order logics; higher order logics; hyperintensional logics; logics of agency; traditional systems of logic; temporal logics; dynamic logics; preference logics; social network logics.

We request that, prior to submitting a manuscript, interested authors initially submit a proposed title and an abstract of 200–300 words summarizing their intended contribution. Please send it to either the Guest Editor or the Assistant Editor Sam Zhang (sam.zhang@mdpi.com) of Logics. Abstracts will be reviewed by the Guest Editors for ensuring their proper fit within the scope of this Special Issue. 

We look forward to receiving your contributions.

Prof. Dr. Sujata Ghosh
Prof. Dr. Fenrong Liu
Guest Editors

Manuscript Submission Information

Manuscripts should be submitted online at www.mdpi.com by registering and logging in to this website. Once you are registered, click here to go to the submission form. Manuscripts can be submitted until the deadline. All submissions that pass pre-check are peer-reviewed. Accepted papers will be published continuously in the journal (as soon as accepted) and will be listed together on the special issue website. Research articles, review articles as well as short communications are invited. For planned papers, a title and short abstract (about 250 words) can be sent to the Editorial Office for assessment.

Submitted manuscripts should not have been published previously, nor be under consideration for publication elsewhere (except conference proceedings papers). All manuscripts are thoroughly refereed through a single-blind peer-review process. A guide for authors and other relevant information for submission of manuscripts is available on the Instructions for Authors page. Logics is an international peer-reviewed open access quarterly journal published by MDPI.

Please visit the Instructions for Authors page before submitting a manuscript. The Article Processing Charge (APC) for publication in this open access journal is 1000 CHF (Swiss Francs). Submitted papers should be well formatted and use good English. Authors may use MDPI's English editing service prior to publication or during author revisions.

• logics
• invariances
• equivalences
• isomorphisms
• bisimulations
• translations
• fragments