Results 111 to 118 of about 165,353 (118)
A Sequent Calculus for Counterfactual Reasoning (CMU-CyLab-17-003)
, 2018 McKenna McCall, Lay Kuan Loh, Limin Jia
openalex +1 more source
Natural Deduction Calculi and Sequent Calculi for Counterfactual Logics
, 2016 Francesca Poggiolesi
openalex +2 more sources
Decision Procedure for Temporal Logic Using Cyclic Sequent Calculi [PDF]
Romas Alonderis +2 more
openalex +1 more source
A sequent calculus with labels for Public Announcement Logic
, 2014 Philippe Balbiani +2 more
openalex +1 more source
A bisimulation between DPLL(T) and a proof-search strategy for the focused sequent calculus
, 2013 Mahfuza Farooque +2 more
openalex +2 more sources
Efficient translation of sequent calculus proofs into natural deduction proofs
, 2018 Gabriel Ebner, Matthias Schlaipfer
openalex +1 more source
Translating a Suppes-Lemmon Style Natural Deduction into a Sequent Calculus
, 2016 Edi Pavlović
openalex +1 more source