Intuitionistic modality and Beth semantics

MaRDI QIDQ5884966zbMATH OpenFDO

Authors Satoru Niki

Publication date 24 March 2023

zbMATH Keywords

Beth semanticsintuitionistic logicmodal logicnegationparaconsistent logic

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Modal logic (including the logic of norms) (03B45) Paraconsistent logics (03B53)

Recommendations

• On the Beth properties of some intuitionistic modal logics
• scientific article; zbMATH DE number 51606
• scientific article; zbMATH DE number 1418447
• Models for normal intuitionistic modal logics
• scientific article; zbMATH DE number 3865242

Cited in

(3)

• On the notion of bimodel for functorial semantics
• scientific article; zbMATH DE number 7599983 (Why is no real title available?)
• scientific article; zbMATH DE number 7700618 (Why is no real title available?)

This page was built for publication: Intuitionistic modality and Beth semantics

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