CARNAP’S PROBLEM FOR MODAL LOGIC

DOI10.1017/s1755020321000083OpenAlexW3134668597MaRDI QIDQ6045103

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

modal logiccompositionalitybisimulationKripke semanticslocalityneighborhood semanticspermutation invarianceCarnap's problems

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Logical constants across varying types
• The adequacy problem for classical logic
• Compositionality solves Carnap's problem
• Duality between modal algebras and neighbourhood frames
• Neighborhood semantics for modal logic
• Some embedding theorems for modal logic
• Which Quantifiers Are Logical? A Combined Semantical and Inferential Criterion
• Categories of frames for modal logic
• The Ways of Logicality: Invariance and Categoricity
• Metamathematics of modal logic
• COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS
• INSTANTIAL NEIGHBOURHOOD LOGIC
• Boolean Algebras with Operators. Part I

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