scientific article

zbMath0555.03012MaRDI QIDQ3218106

Kosta Došen

Publication date: 1984

Full work available at URL: https://eudml.org/doc/117344

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

zbMATH Keywords

Kripke modelsnecessity operatorintuitionistic double negationintuitionistic propositional modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (7)

Logic of Intuitionistic Interactive Proofs (Formal Theory of Perfect Knowledge Transfer) ⋮ Models for normal intuitionistic modal logics ⋮ Intuitionistic Epistemology and Modal Logics of Verification ⋮ Semantics-based nonmonotonic inference ⋮ Double Negation Operator in Logic N ∗ ⋮ Mally's deontic logic: reducibility and semantics ⋮ Synthesis of modality definitions and a theorem prover for epistemic intuitionistic logic

This page was built for publication: