A Categorical Aspect of the Analogy Between Quantifiers and Modalities

DOI10.1007/978-3-030-94452-0_34OpenAlexW4320151466MaRDI QIDQ6075166

Brice Halimi

Publication date: 20 September 2023

Published in: Studies in Universal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-94452-0_34

zbMATH Keywords

dynamic logiccylindric algebrasfibered categoriesArthur priormirror cubes

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05) Categorical logic, topoi (03G30) Classical first-order logic (03B10) History of mathematical logic and foundations (03-03) History of mathematics in the 19th century (01A55) History of Chinese mathematics (01A25) General logic (03Bxx)

Cites Work

• Categorical logic and type theory
• Adjointness in Foundations
• Cylindric modal logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item