Alternative Semantics for Visser’s Propositional Logics

DOI10.1007/978-3-662-46906-4_15zbMath1326.03017OpenAlexW1059541196MaRDI QIDQ3455192

Katsuhiko Sano, Minghui Ma

Publication date: 3 December 2015

Published in: Logic, Language, and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-46906-4_15

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Subsystems of classical logic (including intuitionistic logic) (03B20) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Related Items (2)

Binary modal companions for subintuitionistic logics ⋮ Constructive Embedding from Extensions of Logics of Strict Implication into Modal Logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Intuitionistic logic and modality via topology
• A propositional logic with explicit fixed points
• Speaking about transitive frames in propositional languages
• Spectral and T 0-Spaces in d-Semantics
• Infinitary combinatorics and modal logic
• Handbook of Spatial Logics
• Weak Logics with Strict Implication
• Tree-Sequent Methods for Subintuitionistic Predicate Logics
• A Tree-Sequent Calculus for a Natural Predicate Extension of Visser's Propositional Logic
• Some theorems about the sentential calculi of Lewis and Heyting
• Basic predicate calculus

This page was built for publication: Alternative Semantics for Visser’s Propositional Logics