Identity connective and modality

DOI10.1007/BF02282541MaRDI QIDQ2561209zbMATH OpenFDO

Authors Roman Suszko

Publication date 1971

Published in Studia Logica (Search for Journal in Brave)

Mathematics Subject Classification ID

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

Cites work

• scientific article; zbMATH DE number 3142081 (Why is no real title available?)
• scientific article; zbMATH DE number 3142898 (Why is no real title available?)
• scientific article; zbMATH DE number 3150809 (Why is no real title available?)
• scientific article; zbMATH DE number 3245483 (Why is no real title available?)
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• Extensions of the Lewis system S5
• Ontology in the Tractatus of L. Wittgenstein
• Some studies on closure relations
• Some theorems about the sentential calculi of Lewis and Heyting

Cited in

(21)

• Relative necessity and propositional quantification
• Logics of order and related notions
• Non-Fregean propositional logic with quantifiers
• Fregean logics
• From Formal Theory of Knowledge to Non-Fregean Logic
• The broadest necessity
• Quasi-completeness in non-Fregean logic
• Number of extensions of non-Fregean logics
• Some remarks on semantics and expressiveness of the sentential calculus with identity
• A propositional logic with relative identity connective and a partial solution to the paradox of analysis
• Denotational semantics for modal systems S3--S5 extended by axioms for propositional quantifiers and identity
• ON THE LAWS OF FORM
• Replacement in logic
• The theory of Boolean algebras with an additional binary operation
• Q-ultrafilters and normal ultrafilters in B-algebras
• A modal loosely guarded fragment of second-order propositional modal logic
• A completeness theorem for theories of kind W
• Decidability of intuitionistic sentential logic with identity via sequent calculus
• When is a schema not a schema? On a remark by Suszko
• Lewis' systems \(S_4\) and \(S_5\) and the identity connective
• Paraconsistent constructive logic with strong negation as a contraction-free relevant logic

This page was built for publication: Identity connective and modality

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