A Defeasible Calculus for Zetetic Agents

DOI10.12775/LLP.2020.019MaRDI QIDQ5013614

Jared Millson

Publication date: 2 December 2021

Published in: Logic and Logical Philosophy (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2010.05293

zbMATH Keywords

erotetic logicdefeasible reasoninginquirylogical AI

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Socratic trees
• Inferential erotetic logic meets inquisitive semantics
• The method of Socratic proofs for modal propositional logics: K5, S4.2, S4.3, S4F, S4R, S4M and G.
• Socratic proofs
• A cut-free sequent calculus for defeasible erotetic inferences
• An axiomatic account of question evocation: the propositional case
• Unifying logics via context-sensitiveness
• Generating cooperative question-responses by means of erotetic search scenarios
• Inquisitive Semantics
• Automated Generation of Erotetic Search Scenarios

This page was built for publication: A Defeasible Calculus for Zetetic Agents