類似資料

• Tractable and Intractable Entailment Problems in Separation Logic with Inductively Defined Predicates
  著者:: Echenim, Mnacho, 等
  出版事項: (2023)
• TPTP World Infrastructure for Non-classical Logics
  著者:: Steen, Alexander, 等
  出版事項: (2025)
• Bayesian Epistemology with Weighted Authority: A Formal Architecture for Truth-Promoting Autonomous Scientific Reasoning
  著者:: Wright, Craig S.
  出版事項: (2025)
• Which are the True Defeasible Logics?
  著者:: Maher, Michael J.
  出版事項: (2024)
• An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic
  著者:: Martina, Antoine, 等
  出版事項: (2023)