共 50 条
- [31] On Herbrand-like Theorems for Cut-free Modal Sequent Logics11TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2009), 2009, : 102 - 109Lyaletski, Alexander
- [33] A cut-free proof system for bounded metric temporal logic over a dense time domainMATHEMATICAL LOGIC QUARTERLY, 2000, 46 (02) : 171 - 182Montagna, FPinna, GMTiezzi, EBP
- [34] Analytic Cut-Free Tableaux for Regular Modal Logics of Agent BeliefsCOMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, 2008, 5056 : 268 - +Gore, RajeevNguyen, Linh Anh
- [35] Cut-free indexed calculi for modal logics containing the Barcan axiomADVANCES IN MODAL LOGIC, VOL 1, 1998, (87): : 157 - 172Pliuskeviciene, A
- [37] Cut-free labelled calculi and decidability for intuitionistic sentential logic with identityJOURNAL OF LOGIC AND COMPUTATION, 2024,Galmiche, DidierHornbeck, BrandonMery, Daniel
- [38] ON THE CUT-FREE SEQUENT CALCULUS FOR THE LOGIC OF THE WEAK LAW OF EXCLUDED MIDDLEJOURNAL OF SYMBOLIC LOGIC, 1987, 52 (01) : 309 - 309BORICIC, BR
- [39] Classical modal display logic in the calculus of structures and minimal cut-free deep inference calculi for S5JOURNAL OF LOGIC AND COMPUTATION, 2007, 17 (04) : 767 - 794Gore, RajeevTiu, Alwen
- [40] A cut-free sequent system for Grzegorczyk logic, with an application to the Godel-McKinsey-Tarski embeddingJOURNAL OF LOGIC AND COMPUTATION, 2016, 26 (01) : 169 - 187Dyckhoff, RoyNegri, Sara