Alternative semantics for Visser's propositional logics

DOI10.1007/978-3-662-46906-4_15MaRDI QIDQ3455192zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• On extensions of basic propositional logic
• Remarks on natural minimal logics: A. Visser's basic and formal logics and their modal counterparts
• Sequent calculi for Visser's propositional logics
• Publication:4487297
• Kripke semantics for fuzzy logics

Cites work

• A propositional logic with explicit fixed points
• A Tree-Sequent Calculus for a Natural Predicate Extension of Visser's Propositional Logic
• Basic predicate calculus
• Handbook of Spatial Logics
• scientific article; zbMATH DE number 1975416 (Why is no real title available?)
• scientific article; zbMATH DE number 1463149 (Why is no real title available?)
• Infinitary combinatorics and modal logic
• Intuitionistic logic and modality via topology
• Modal logic
• Some theorems about the sentential calculi of Lewis and Heyting
• Speaking about transitive frames in propositional languages
• Spectral and \(T _{0}\)-spaces in d-semantics
• Tree-Sequent Methods for Subintuitionistic Predicate Logics
• Weak Logics with Strict Implication

Cited in

(7)

• An alternative proof method for possibilistic logic and its application to terminological logics
• Binary modal companions for subintuitionistic logics
• On extensions of basic propositional logic
• scientific article; zbMATH DE number 1463149 (Why is no real title available?)
• Constructive embedding from extensions of logics of strict implication into modal logics
• Remarks on natural minimal logics: A. Visser's basic and formal logics and their modal counterparts
• Nelsonian counterparts of Visser's logics

This page was built for publication: Alternative semantics for Visser's propositional logics

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