One variable relevant logics are S5Ish
From MaRDI portal
Publication:6606834
Cites work
- scientific article; zbMATH DE number 5295712 (Why is no real title available?)
- scientific article; zbMATH DE number 3821690 (Why is no real title available?)
- scientific article; zbMATH DE number 3926879 (Why is no real title available?)
- scientific article; zbMATH DE number 3496100 (Why is no real title available?)
- scientific article; zbMATH DE number 596497 (Why is no real title available?)
- scientific article; zbMATH DE number 1489626 (Why is no real title available?)
- A Sahlqvist theorem for relevant modal logics
- A content semantics for quantified relevant logics. I
- A content semantics for quantified relevant logics. II
- An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics
- An alternative semantics for quantified relevant logic
- First-order relevant reasoners in classical worlds
- General frames for relevant modal logics
- Models for relevant modal logics
- Neighbourhood semantics for quantified relevant logics
- On some intuitionistic modal logics
- One-variable fragments of intermediate logics over linear frames
- Positive modal logic
- QUANTIFIED MODAL RELEVANT LOGICS
- Quantifiers, propositions and identity. Admissible semantics for quantified modal and substructural logics
- Relative necessity
- Semantics for quantified relevance logic
- The connectives
- The one-variable fragment of corsi logic
- The semantics of \(R4\)
- The semantics of entailment. II
- The semantics of entailment. III
- Varieties of Relevant S5
This page was built for publication: One variable relevant logics are S5Ish
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6606834)
