Adding abductive reasoning to a propositional logic

DOI10.1093/LOGCOM/EXAB074MaRDI QIDQ5866469zbMATH OpenOpenAlexFDO

Authors João Rasga, Cristina Sernadas

Publication date 22 September 2022

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/exab074

zbMATH Keywords

robot navigationabductive reasoningabductive multimodal logicmultiple-conclusion derivation

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Recommendations

• Publication:4860658
• A Formal Logic for Abductive Reasoning
• scientific article; zbMATH DE number 500950
• scientific article; zbMATH DE number 2085283
• Abductive Logic Programming

Cited in

(3)

• Adding the everywhere operator to propositional logic
• Let Us investigate! Dynamic conjecture-making as the formal logic of abduction
• Abductive reasoning through filtering

This page was built for publication: Adding abductive reasoning to a propositional logic

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