Access the full text.
Sign up today, get DeepDyve free for 14 days.
D. Nelson (1949)
Constructible falsityJournal of Symbolic Logic, 14
M. Kracht (1998)
On Extensions of Intermediate Logics by Strong NegationJournal of Philosophical Logic, 27
D. Scott (1970)
Advice on Modal Logic
(1989)
Algebraizable logics
P. Ostermann (1988)
Many-Valued Modal Propositional CalculiMath. Log. Q., 34
S. Thomason (1978)
Possible worlds and many truth valuesStudia Logica, 37
SP Odintsov, EI Latkin (2012)
BK-latticesAlgebraic semantics for Belnapian modal logics, Studia Logica, 100
L Goble (2006)
Paraconsistent modal logicLogique et Analyse, 49
P. Cintula, C. Noguera (2017)
Neighborhood semantics for modal many-valued logicsFuzzy Sets Syst., 345
N. Belnap (2019)
How a Computer Should ThinkNew Essays on Belnap-Dunn Logic
O. Arieli, A. Avron (1996)
Reasoning with logical bilatticesJournal of Logic, Language and Information, 5
P. Kissin (1972)
Negation in natural language
O. Arieli, A. Avron (1998)
The Value of the Four ValuesArtif. Intell., 102
A. Jung, U. Rivieccio (2012)
Priestley Duality for BilatticesStudia Logica, 100
E. Pacuit (2017)
Neighborhood Semantics for Modal Logic
J. Garfield, Graham Priest (2018)
Introduction and MotivationWhat Can't be Said
S. Odintsov, S. Speranski (2016)
The lattice of Belnapian modal logics: Special extensions and counterpartsLogic and Logical Philosophy, 25
Ronald Fagin, Joseph Halpern (1987)
Belief, Awareness, and Limited Reasoning.Artif. Intell., 34
S. Odintsov (2005)
The Class of Extensions of Nelson's Paraconsistent LogicStudia Logica, 80
Joao Carvalho, Marie-Jeanne Lesot, U. Kaymak, S. Vieira, B. Bouchon-Meunier, R. Yager (2016)
Information Processing and Management of Uncertainty in Knowledge-Based Systems, 610
L. Dezsö (1981)
Universal GrammarCertainty in Action
S. Odintsov, S. Speranski (2020)
BELNAP–DUNN MODAL LOGICS: TRUTH CONSTANTS VS. TRUTH VALUESThe Review of Symbolic Logic, 13
P. Hájek (2010)
On fuzzy modal logics S5(L)Fuzzy Sets Syst., 161
S. Odintsov, H. Wansing (2010)
Modal logics with Belnapian truth valuesJournal of Applied Non-Classical Logics, 20
M. Fitting (1991)
Many-valued modal logicsFundam. Informaticae, 15
M. Fitting (1992)
Many-valued modal logics IIFundamenta Informaticae, 17
J. Nacht (2016)
Modal Logic An Introduction
R Montague (1970)
Universal grammarTheoria, 36
N. Belnap (1977)
A Useful Four-Valued Logic
Hitoshi Omori, H. Wansing (2017)
40 years of FDE: An Introductory OverviewStudia Logica, 105
Ahmad Almukdad, D. Nelson (1984)
Constructible falsity and inexact predicatesJournal of Symbolic Logic, 49
Cheng Xiao (1998)
Paraconsistent Modal LogicJournal of Software
Tiziano Dalmonte, N. Olivetti, Sara Negri (2018)
Non-Normal Modal Logics: Bi-Neighbourhood Semantics and Its Labelled Calculi
S. ©MR, iSSN, Сибирские Электронные, Математические Известия (2013)
S E Mr Сибирские Электронные Математические Известия on Belnapian Modal Algebras: Representations, Homomorphisms, Congruences, and so On
M. Kracht (2007)
Modal consequence relations
Yuanlei Lin, Minghui Ma (2019)
Polarity Semantics for Negation as a Modal OperatorStudia Logica, 108
S. Odintsov, Daniel Skurt, H. Wansing (2019)
On Definability of Connectives and Modal Logics over FDELogic and Logical Philosophy
Minghui Ma, Yuanlei Lin (2019)
A Deterministic Weakening of Belnap–Dunn LogicStudia Logica, 107
S. Odintsov (2008)
Constructive Negations and Paraconsistency
U Rivieccio, A Jung, R Jansana (2015)
Four-valued modal logic: Kripke semantics and dualityJournal of Logic and Computation, 27
S. Odintsov, E. Latkin (2012)
BK-lattices. Algebraic Semantics for Belnapian Modal LogicsStudia Logica, 100
S. Drobyshevich (2020)
A General Framework for FDE-Based Modal LogicsStud Logica, 108
U. Rivieccio, And JUNG, Ramon Jansana (2015)
University of Birmingham Four-valued modal logic: Kripke semantics and duality
J. Dunn (1976)
Intuitive semantics for first-degree entailments and ‘coupled trees’Philosophical Studies, 29
K. Segerberg (2008)
Some Modal Logics based on a Three-valued LogicTheoria, 33
P. Cintula, C. Noguera, Jonas Rogger (2016)
From Kripke to Neighborhood Semantics for Modal Fuzzy Logics
S. Odintsov, H. Wansing (2017)
Disentangling FDE-Based Paraconsistent Modal LogicsStudia Logica, 105
ND Belnap, G Ryle (1977)
How a computer should thinkContemporary Aspects of Philosophy
Minghui Ma, Yuanlei Lin (2018)
Countably Many Weakenings of Belnap–Dunn LogicStudia Logica, 108
A. Jung, U. Rivieccio (2013)
Kripke Semantics for Modal Bilattice Logic2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
P. Cintula, Paula Menchón, C. Noguera (2018)
Toward a general frame semantics for modal many-valued logicsSoft Computing, 23
S. ©MR, Issn, Сибирские Электронные, Математические Известия, S. Odintsov (2010)
COMBINING INTUITIONISTIC CONNECTIVES AND ROUTLEY NEGATION
We investigate some non-normal variants of well-studied paraconsistent and paracomplete modal logics that are based on N. Belnap’s and M. Dunn’s four-valued logic. Our basic non-normal modal logics are characterized by a weak extensionality rule, which reflects the four-valued nature of underlying logics. Aside from introducing our basic framework of bi-neighbourhood semantics, we develop a correspondence theory in order to prove completeness results with respect to our neighbourhood semantics for non-normal variants of BK\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$\mathsf {BK}$$\end{document}, BKFS\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$\mathsf {BK^{FS}}$$\end{document} and MBL\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$\mathsf {MBL}$$\end{document}.
"Studia Logica" – Springer Journals
Published: Dec 1, 2021
Keywords: FDE; Modal logic; Many-valued logic; Neighbourhood semantics; Correspondence theory
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.