Some remarks on semantics and expressiveness of the sentential calculus with identity

DOI10.1007/S10849-023-09396-ZarXiv2112.02696OpenAlexW4361277823MaRDI QIDQ6169324

Steffen Lewitzka

Publication date: 14 August 2023

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

Full work available at URL: https://arxiv.org/abs/2112.02696

zbMATH Keywords

modal logicintensional semanticshyperintensional semanticsBoolean prealgebranon-fregean logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Hyperintensional logic
• Denotational semantics for modal systems S3--S5 extended by axioms for propositional quantifiers and identity
• HYPE: a system of hyperintensional logic (with an application to semantic paradoxes)
• Investigations into the sentential calculus with identity
• Identity connective and modality
• Algebraic semantics for a modal logic close to S1
• Epistemic extensions of combined classical and intuitionistic propositional logic
• Construction of a canonical model for a first-order non-Fregean logic with a connective for reference and a total truth predicate
• Hyperintensions

This page was built for publication: Some remarks on semantics and expressiveness of the sentential calculus with identity