Identity connective and modality

DOI10.1007/BF02282541MaRDI QIDQ2561209zbMATH OpenFDO

Authors Roman Suszko

Publication date 1971

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF02282541

Mathematics Subject Classification ID

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

Cites work

• Extensions of the Lewis system S5
• 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?)
• Ontology in the Tractatus of L. Wittgenstein
• Some studies on closure relations
• Some theorems about the sentential calculi of Lewis and Heyting

Cited in

(25)

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

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)