329 citations · 459 across the 19 of their papers we have counts for
Showing 2007 · cs.LOShow all
2 papers · 2 filters
cs.LO2007
An On-the-fly Tableau-based Decision Procedure for PDL-Satisfiability
Pietro Abate, Rajeev Goré, Florian Widmann
We present a tableau-based algorithm for deciding satisfiability for propositional dynamic logic (PDL) which builds a finite rooted tree with ancestor loops and passes extra inform…
cs.LO2007★ 1 cited
A Cut-free Sequent Calculus for Bi-Intuitionistic Logic: Extended Version
Linda Buisman, Rajeev Goré
Bi-intuitionistic logic is the extension of intuitionistic logic with a connective dual to implication. Bi-intuitionistic logic was introduced by Rauszer as a Hilbert calculus with…