A Topos-Theoretic Approach to Counterfactual Logic

DOI10.1016/J.ENTCS.2009.11.004MaRDI QIDQ5170289zbMATH OpenOpenAlexFDO

Authors Ricardo Queiroz de Araujo Fernandes, Edward Hermann Haeusler

Publication date 23 July 2014

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2009.11.004

zbMATH Keywords

categorical logiccategory theorycounterfactualstopos

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30) Topoi (18B25)

Recommendations

• Topo-logic as a dynamic-epistemic logic
• scientific article; zbMATH DE number 2048519
• scientific article; zbMATH DE number 4213978
• Counterpart theory as a semantics for modal logic
• Topological Semantics of Justification Logic
• Topological interpretations of provability logic
• TOPOS BASED SEMANTIC FOR CONSTRUCTIVE LOGIC WITH STRONG NEGATION
• Modal Logics of Topological Relations
• scientific article; zbMATH DE number 1984276

Cites work

• A sequent- or tableau-style system for Lewis's counterfactual logic VC
• Counterfactuals.
• scientific article; zbMATH DE number 47929 (Why is no real title available?)
• scientific article; zbMATH DE number 192841 (Why is no real title available?)
• Using the Internal Logic of a Topos to Model Search Spaces for Problems

Cited in

(1)

• Vector logic allows counterfactual virtualization by the square root of NOT

This page was built for publication: A Topos-Theoretic Approach to Counterfactual Logic

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