Proof Buddy: A Tool to Aid Students in Proof Construction
Abstract

Index Terms
- Proof Buddy: A Tool to Aid Students in Proof Construction
Recommendations
Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics
PRIMA 2019: Principles and Practice of Multi-Agent SystemsAbstractThis work provides proof-search algorithms and automated counter-model extraction for a class of logics. With this, we answer an open problem concerning syntactic decision procedures and cut-free calculi for logics. A new class of cut-free ...
Focused Proof-search in the Logic of Bunched Implications
Foundations of Software Science and Computation StructuresAbstractThe logic of Bunched Implications (BI) freely combines additive and multiplicative connectives, including implications; however, despite its well-studied proof theory, proof-search in BI has always been a difficult problem. The focusing principle ...
Comments
Information & Contributors
Information
Published In

- General Chairs:
- Maureen Doyle,
- Ben Stephenson,
- Program Chairs:
- Brian Dorn,
- Leen-Kiat Soh,
- Lina Battestilli
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Author Tags
Qualifiers
- Abstract
Conference
Acceptance Rates
Upcoming Conference
- Sponsor:
- sigcse
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0