KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS
- Submitting institution
-
Birkbeck College
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 205
- Type
- D - Journal article
- DOI
-
10.1017/jsl.2019.22
- Title of journal
- The Journal of Symbolic Logic
- Article number
- -
- First page
- 533-588
- Volume
- 84
- Issue
- 02
- ISSN
- 0022-4812
- Open access status
- Compliant
- Month of publication
- April
- Year of publication
- 2019
- URL
-
http://eprints.bbk.ac.uk/id/eprint/26985/
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
4
- Research group(s)
-
3 - Knowledge Representation and Data Management
- Citation count
- 1
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- This paper lays the foundations of model theory for strictly positive logics, which play an important role in computer science, algebra and mathematical logic. It gives solutions to many open problems, "contains a wealth of new results" and "will be setting standards for the future publications in this area" as one of the reviewers wrote. The results were also presented in an invited plenary talk at AiML-2018 (the flagship conference in modal logic).
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -