scientific article

zbMath0626.03006MaRDI QIDQ3028968

Kosta Došen

Publication date: 1986

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

modal logicintuitionistic logicintermediate logicKripke-style modelsCurry's propositional logicsintuitionistic accessibility relationJohansson propositional calculusJohansson's negationmodal accessibility relationnegation as a modal impossibility operator

Mathematics Subject Classification ID

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

Related Items

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 ⋮ The Došen square under construction: a tale of four modalities ⋮ Models for normal intuitionistic modal logics ⋮ Equilibrium logic ⋮ A characterisation of some \(\mathbf{Z}\)-like logics ⋮ Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation ⋮ LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT ⋮ Decidable variables for constructive logics ⋮ IMPROVING STRONG NEGATION ⋮ Order-dual relational semantics for non-distributive propositional logics: a general framework ⋮ Composition of an intuitionistic negation and negative modalities as a necessity operator ⋮ Intuitionistic propositional logic with Galois negations ⋮ 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 ⋮ Weakening and extending \(\mathbb{Z}\) ⋮ Understanding negation implicationally in the relevant logic R ⋮ A hybrid calculus for logic \(N^{*}\): residual finiteness and decidability ⋮ Double Negation Operator in Logic N ∗ ⋮ On Displaying Negative Modalities ⋮ Computational complexity for bounded distributive lattices with negation ⋮ Well-Founded and Partial Stable Semantics Logical Aspects ⋮ Subminimal negation on the Australian plan ⋮ Negation in the context of gaggle theory ⋮ Dual intuitionistic logic and a variety of negations: the logic of scientific research