scientific article; zbMATH DE number 4016857

MaRDI QIDQ3028968zbMATH OpenFDO

Authors Kosta Došen

Publication date 1986

zbMATH Keywords

Curry's propositional logicsintermediate logicintuitionistic accessibility relationintuitionistic logicJohansson propositional calculusJohansson's negationKripke-style modelsmodal accessibility relationmodal logicnegation as a modal impossibility operator

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Modal logic (including the logic of norms) (03B45) Intermediate logics (03B55)

Recommendations

• scientific article; zbMATH DE number 4061191
• scientific article; zbMATH DE number 3884136
• Negation in the light of modal logic
• Models for stronger normal intuitionistic modal logics
• Models for normal intuitionistic modal logics

Cited in

(39)

• Models for normal intuitionistic modal logics
• A characterisation of some \(\mathbf{Z}\)-like logics
• Order-dual relational semantics for non-distributive propositional logics: a general framework
• Computational complexity for bounded distributive lattices with negation
• Subminimal negation on the Australian plan
• The Došen square under construction: a tale of four modalities
• Composition of an intuitionistic negation and negative modalities as a necessity operator
• Intuitionistic propositional logic with Galois negations
• Negation in the light of modal logic
• The Russell-Prawitz modality
• scientific article; zbMATH DE number 3884136 (Why is no real title available?)
• On split negation, strong negation, information, falsification, and verification
• Reasoning with incomplete information in generalized Galois logics without distribution: the case of negation and modal operators
• Bridging the two plans in the semantics for relevant logic
• Negation as a modality in a quantified setting
• Well-Founded and Partial Stable Semantics Logical Aspects
• Substructural negations
• scientific article; zbMATH DE number 4061191 (Why is no real title available?)
• scientific article; zbMATH DE number 28362 (Why is no real title available?)
• On displaying negative modalities
• scientific article; zbMATH DE number 859786 (Why is no real title available?)
• Weakening and extending \(\mathbb{Z}\)
• LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT
• Understanding negation implicationally in the relevant logic R
• Double negation operator in logic N^*
• Decidable variables for constructive logics
• IMPROVING STRONG NEGATION
• A study of algebraic structures and logics based on categories of rough sets
• A categorical analysis of compatibility frames
• Choice-free dualities for lattice expansions: application to logics with a negation operator
• A hybrid calculus for logic \(N^{*}\): residual finiteness and decidability
• Substructural negations as normal modal operators
• Negation in the context of gaggle theory
• Dual intuitionistic logic and a variety of negations: the logic of scientific research
• Routley star and hyperintensionality
• Polarity semantics for negation as a modal operator
• On correspondence of standard modalities and negative ones on the basis of regular and quasi-regular logics
• Equilibrium logic
• Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3028968)