2 citations · 2 across the 2 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2026
Automating proof search when equality is a logical connective
Kaustuv Chaudhuri, Arunava Gantait, Dale Miller
Treating syntactic equality as a logical connective -- governed by left- and right-introduction rules within the sequent calculus -- offers an elegant and powerful approach to term…
cs.LO2008★ 2 cited
Proof Search Specifications of Bisimulation and Modal Logics for the pi-Calculus
Alwen Tiu, Dale Miller
We specify the operational semantics and bisimulation relations for the finite pi-calculus within a logic that contains the nabla quantifier for encoding generic judgments and defi…