A Bi-Intuitionistic Modal Logic: Foundations and Automation
- Submitting institution
-
The University of Leeds
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- UOA11-4604
- Type
- D - Journal article
- DOI
-
10.1016/j.jlamp.2015.11.003
- Title of journal
- Journal of Logical and Algebraic Methods in Programming
- Article number
- -
- First page
- 500
- Volume
- 85
- Issue
- 4
- ISSN
- 2352-2208
- Open access status
- Out of scope for open access requirements
- Month of publication
- December
- Year of publication
- 2015
- URL
-
-
- 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
-
2
- Research group(s)
-
B - AI (Artificial Intelligence)
- Citation count
- 7
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- Extended version of paper presented at Relational and Algebraic Methods in Computer Science (RAMiCS’14). One of only 6 (of 26) invited for submission to the journal special issue. The conference submission had the highest reviewer scores of any of the submitted papers. Stell’s student, Sindoni, built directly on this work in her completed PhD and in a RAMiCS-18 paper(https://link.springer.com/chapter/10.1007/978-3-030-02149-8_8). https://link.springer.com/chapter/10.1007/978-3-030-65840-3_9 also builds directly on this work.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -
