Modal and Intuitionistic Variants of Extended Belnap–Dunn Logic with Classical Negation-Reference-Cited by-同舟云学术

Modal and Intuitionistic Variants of Extended Belnap–Dunn Logic with Classical Negation

Published:2021-04-09 Issue:3 Volume:30 Page:491-531
ISSN:0925-8531
Container-title:Journal of Logic, Language and Information
language:en
Short-container-title:J of Log Lang and Inf

Author:

Kamide Norihiro

Publisher

Springer Science and Business Media LLC

Subject

Linguistics and Language,Philosophy,Computer Science (miscellaneous)

Link

https://link.springer.com/content/pdf/10.1007/s10849-021-09330-1.pdf

Reference54 articles.

1. Almukdad, A., & Nelson, D. (1984). Constructible falsity and inexact predicates. Journal of Symbolic Logic, 49(1), 231–233.

2. Anderson, A. R., & Belnap, N. D. (1975). Entailment: The logic of relevance and necessity (Vol. 1). Princeton: Princeton University Press.

3. Anderson, A. R., Belnap, N. D., & Dunn, J. M. (1992). Entailment: The logic of relevance and necessity (Vol. 2). Princeton: Princeton University Press.

4. Angell, R. (1962). A propositional logics with subjunctive conditionals. Journal of Symbolic Logic, 27, 327–343.

5. Arieli, O., & Avron, A. (1996). Reasoning with logical bilattices. Journal of Logic, Language and Information, 5, 25–63.

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Self-extensional Paradefinite Four-valued Modal Logic Compatible with Standard Modal Logic;2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL);2023-05

2. Falsification-Aware Calculi and Semantics for Normal Modal Logics Including S4 and S5;Journal of Logic, Language and Information;2022-10-04

3. Improving Strong Negation;The Review of Symbolic Logic;2021-07-02