Validity under assumptions and modus ponens

DOI10.1007/978-3-030-89391-0_33OpenAlexW3205797028MaRDI QIDQ2695543

Xuefeng Wen

Publication date: 31 March 2023

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

zbMATH Keywords

validitymodus ponensepistemic modalityternary notion of truth

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic in computer science (03B70)

Cites Work

• Epistemic modals and informational consequence
• Basic conditional logic
• Defaults in update semantics
• Assumptions and the Supposed Counterexamples to Modus Ponens
• Epistemic Conditionals and Conditional Epistemics
• Completeness and decidability of three logics of counterfactual conditionals¹

This page was built for publication: Validity under assumptions and modus ponens