Sequential Operations in LogicWeb
Daeseong Kang, Keehang Kwon, Zulkarnine Mahmud

TL;DR
SeqWeb extends LogicWeb with sequential goal formulas, enabling effective handling of sequential tasks through new goal constructs based on computability logic.
Contribution
Introduction of SeqWeb, a novel extension to LogicWeb, incorporating sequential goal formulas to address limitations in handling sequential tasks.
Findings
Allows specification of sequential-conjunctive tasks
Enables sequential-disjunctive task execution
Enhances LogicWeb's expressiveness for sequential operations
Abstract
Sequential tasks cannot be effectively handled in logic programming based on classical logic or linear logic. This limitation can be addressed by using a fragment of Japaridze'sSequential tasks cannot be effectively handled in logic programming based on classical logic or linear logic. This limitation can be addressed by using a fragment of Japaridze's computability logic. We propose \seqweb, an extension to LogicWeb with sequential goal formulas. SeqWeb extends the LogicWeb by allowing goals of the form and where is a goal. These goals allow us to specify both sequential-conjunctive and sequential-disjunctive tasks. computability logic. We propose \seqweb, an extension to LogicWeb with sequential goal formulas. SeqWeb extends the LogicWeb by allowing goals of the form and where is a goal. These goals allow us to specify both…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, Reasoning, and Knowledge · Logic, programming, and type systems · Formal Methods in Verification
