Nearly every normal modal logic is paranormal
From MaRDI portal
Recommendations
Cited in
(35)- A characterisation of some \(\mathbf{Z}\)-like logics
- Compositional meaning in logic
- Sequent systems for negative modalities
- Reflexive-insensitive logics, the boxdot translation, and the modal logic of generic absoluteness
- An epistemic approach to paraconsistency: a logic of evidence and truth
- Valuation semantics for first-order logics of evidence and truth
- Paraconsistent and paracomplete logics based on \(k\)-cyclic modal pseudocomplemented De Morgan algebras
- First-order logics of evidence and truth with constant and variable domains
- Negative modalities, consistency and determinedness
- Variations on the collapsing lemma
- Logics with Impossibility as the Negation and Regular Extensions of the Deontic Logic D2
- Defining LFIs and LFUs in extensions of infectious logics
- Weakening and extending \(\mathbb{Z}\)
- Paranormal modal logic. II: \(K_?\), \(K\) and classical logic and other paranormal modal systems
- О выразительных возможностях максимально паранепротиворечивых и параполных четырехзначных расширений FDE
- LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT
- On the philosophy and mathematics of the logics of formal inconsistency
- Negative modalities in the light of paraconsistency
- Measuring evidence: a probabilistic approach to an extension of Belnap-Dunn logic
- Connexive negation
- On the question of the criteria for the paracompleteness of logics
- The single-minded pursuit of consistency and its weakness
- A cartography of LFIs and truth
- On logics of perfect paradefinite algebras
- The external version of a subclassical logic
- A modal axiomatization of \(\mathbf{BK}\)
- Semantical investigations on non-classical logics with recovery operators: negation
- Normalization and cut-elimination theorems for some logics of evidence and truth
- Some remarks on two seminal approaches to paraconsistency: Stanisław Jaśkowski and Newton da Costa
- On duality of logical systems: paralogics
- Nested sequent calculi for some modal logics with non-standard modalities
- Adding an implication to logics of perfect paradefinite algebras
- On a four-valued logic of formal inconsistency and formal undeterminedness
- Recovery operators in quasi-Nelson logic: the prelinear case
- On correspondence of standard modalities and negative ones on the basis of regular and quasi-regular logics
This page was built for publication: Nearly every normal modal logic is paranormal
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3367515)
