CARNAP’S PROBLEM FOR MODAL LOGIC

DOI10.1017/S1755020321000083MaRDI QIDQ6045103zbMATH OpenOpenAlexFDO

Authors Denis Bonnay, Dag Westerståhl

Publication date 26 May 2023

Published in The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s1755020321000083

zbMATH Keywords

bisimulationCarnap's problemscompositionalityKripke semanticslocalitymodal logicneighborhood semanticspermutation invariance

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Modal logic (including the logic of norms) (03B45)

Recommendations

• CARNAP AND McKINSEY: Topics in the Pre-History of Possible-Worlds Semantics
• Some modifications of Carnap's modal logic
• Remarks on a Carnapian extension of S5
• scientific article; zbMATH DE number 1761406
• Neighborhood semantics for modal logic

Cites work

• Boolean Algebras with Operators. Part I
• Categories of frames for modal logic
• COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS
• Compositionality solves Carnap's problem
• Duality between modal algebras and neighbourhood frames
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 3461905 (Why is no real title available?)
• scientific article; zbMATH DE number 3485746 (Why is no real title available?)
• scientific article; zbMATH DE number 3099236 (Why is no real title available?)
• Instantial neighbourhood logic
• Logical constants across varying types
• Metamathematics of modal logic
• Neighborhood semantics for modal logic
• Some embedding theorems for modal logic
• The adequacy problem for classical logic
• The Ways of Logicality: Invariance and Categoricity
• Which quantifiers are logical? A combined semantical and inferential criterion

Cited in

(1)

• Carnap's (categoricity) problem

This page was built for publication: CARNAP’S PROBLEM FOR MODAL LOGIC

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