Search results for "Sequents"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
77	Allan Cheng, Dexter Kozen	A Complete Gentzen-Style Axiomatization for Set Constraints.	ICALP	1996	DBLP DOI BibTeX RDF
70	Regimantas Pliuskevicius	On an omega-Decidable Deductive Procedure for Non-Horn Sequents of a Restricted FTL.	Computational Logic	2000	DBLP DOI BibTeX RDF
69	Hugo Herbelin	Séquents qu'on calcule: de l'interprétation du calcul des séquents comme calcul de lambda-termes et comme calcul de stratégies gagnantes. (Computing with sequents: on the interpretation of sequent calculus as a calculus of lambda-terms and as a calculus of winning strategies).		1995	RDF
54	Rajeev Goré, Linda Postniece, Alwen Tiu	Taming Displayed Tense Logics Using Nested Sequents with Deep Inference.	TABLEAUX	2009	DBLP DOI BibTeX RDF
46	Kai Brünnler, Lutz Straßburger	Modular Sequent Systems for Modal Logic.	TABLEAUX	2009	DBLP DOI BibTeX RDF
46	Phuong Nguyen	Separating DAG-Like and Tree-Like Proof Systems.	LICS	2007	DBLP DOI BibTeX RDF
46	Mirjana Borisavljevic	A Connection Between Cut Elimination and Normalization.	Arch. Math. Log.	2006	DBLP DOI BibTeX RDF
46	Regimantas Pliuskevicius, Aida Pliuskeviciene	Decision Procedure for a Fragment of Mutual Belief Logic with Quantified Agent Variables.	CLIMA	2005	DBLP DOI BibTeX RDF
46	Dominique Larchey-Wendling	Combining Proof-Search and Counter-Model Construction for Deciding Gödel-Dummett Logic.	CADE	2002	DBLP DOI BibTeX RDF
46	Regimantas Pliuskevicius	On Saturated Calculi for a Linear Temporal Logic.	MFCS	1993	DBLP DOI BibTeX RDF
46	Simone Martini 0001, Andrea Masini, Margherita Zorzi	From 2-Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics.	ACM Trans. Comput. Log.	2021	DBLP DOI BibTeX RDF
46	Simone Martini 0001, Andrea Masini, Margherita Zorzi	From 2-sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics.	CoRR	2020	DBLP BibTeX RDF
46	Björn Lellmann	Linear Nested Sequents, 2-Sequents and Hypersequents.	TABLEAUX	2015	DBLP DOI BibTeX RDF
46	Rajeev Goré, Revantha Ramanayake	Labelled Tree Sequents, Tree Hypersequents and Nested (Deep) Sequents.	Advances in Modal Logic	2012	DBLP BibTeX RDF
46	Christian Retoré	Réseaux et séquents ordonnés. (Ordered sequents and proof nets).		1993	RDF
36	George Metcalfe, Nicola Olivetti, Dov M. Gabbay	Sequent and hypersequent calculi for abelian and Łukasiewicz logics.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	? ukasiewicz logic, Abelian logic, Hypersequents, Sequents
31	Lutz Straßburger	A Local System for Linear Logic.	LPAR	2002	DBLP DOI BibTeX RDF
31	Pietro Cenciarelli	Configuration Theories.	CSL	2002	DBLP DOI BibTeX RDF	configuration structures, Java, semantics, concurrency, sequent calculus
23	Tim S. Lyon, Eugenio Orlandelli	Nested Sequents for Quantified Modal Logics.	CoRR	2023	DBLP DOI BibTeX RDF
23	Tim S. Lyon	Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics.	CoRR	2023	DBLP DOI BibTeX RDF
23	Tim S. Lyon	Nested sequents for intermediate logics: the case of Gödel-Dummett logics.	J. Appl. Non Class. Logics	2023	DBLP DOI BibTeX RDF
23	Tim S. Lyon, Eugenio Orlandelli	Nested Sequents for Quantified Modal Logics.	TABLEAUX	2023	DBLP DOI BibTeX RDF
23	Christian G. Fermüller, Timo Lang, Alexandra Pavlova	From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic.	Logica Universalis	2022	DBLP DOI BibTeX RDF
23	Tim S. Lyon	Nested Sequents for First-Order Modal Logics via Reachability Rules.	CoRR	2022	DBLP DOI BibTeX RDF
23	Tim S. Lyon	Nested Sequents for Intuitionistic Grammar Logics via Structural Refinement.	CoRR	2022	DBLP DOI BibTeX RDF
23	Tim S. Lyon, Lucía Gómez Álvarez	Automating Reasoning with Standpoint Logic via Nested Sequents.	CoRR	2022	DBLP DOI BibTeX RDF
23	Saugata Basu, Negin Karisani, Laxmi Parida	Sequents, barcodes, and homology.	CoRR	2022	DBLP DOI BibTeX RDF
23	Lutz Straßburger, Matteo Tesi, Agata Ciabattoni	Taming Bounded Depth with Nested Sequents.	AiML	2022	DBLP BibTeX RDF
23	Tim S. Lyon, Lucía Gómez Álvarez	Automating Reasoning with Standpoint Logic via Nested Sequents.	KR	2022	DBLP BibTeX RDF
23	Carlo Nicolai	Cut Elimination for Systems of Transparent Truth with Restricted Initial Sequents.	Notre Dame J. Formal Log.	2021	DBLP DOI BibTeX RDF
23	Tim S. Lyon	Nested Sequents for Intuitionistic Modal Logics via Structural Refinement.	CoRR	2021	DBLP BibTeX RDF
23	Iris van der Giessen, Raheleh Jalali, Roman Kuznets	Uniform interpolation via nested sequents and hypersequents.	CoRR	2021	DBLP BibTeX RDF
23	Roman Kuznets, Björn Lellmann	Interpolation for intermediate logics via injective nested sequents.	J. Log. Comput.	2021	DBLP DOI BibTeX RDF
23	Iris van der Giessen, Raheleh Jalali, Roman Kuznets	Uniform Interpolation via Nested Sequents.	WoLLIC	2021	DBLP DOI BibTeX RDF
23	Tim S. Lyon	Nested Sequents for Intuitionistic Modal Logics via Structural Refinement.	TABLEAUX	2021	DBLP DOI BibTeX RDF
23	Björn Lellmann	From Input/Output Logics to Conditional Logics via Sequents - with Provers.	TABLEAUX	2021	DBLP DOI BibTeX RDF
23	Caitlin D'Abrera, Jeremy E. Dawson, Rajeev Goré	A Formally Verified Cut-Elimination Procedure for Linear Nested Sequents for Tense Logic.	TABLEAUX	2021	DBLP DOI BibTeX RDF
23	Christian G. Fermüller, Timo Lang, Alexandra Pavlova	From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic.	IPMU (1)	2020	DBLP DOI BibTeX RDF
23	Ross Horne	Session Subtyping and Multiparty Compatibility Using Circular Sequents.	CONCUR	2020	DBLP DOI BibTeX RDF
23	Tim Lyon	Syntactic Cut-Elimination for Intuitionistic Fuzzy Logic via Linear Nested Sequents.	LFCS	2020	DBLP DOI BibTeX RDF
23	Tim Lyon, Alwen Tiu, Rajeev Goré, Ranald Clouston	Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents.	CSL	2020	DBLP DOI BibTeX RDF
23	Nissim Francez	Bilateralism, Trilateralism, Multilateralism and Poly-Sequents.	J. Philos. Log.	2019	DBLP DOI BibTeX RDF
23	Tim Lyon, Alwen Tiu, Rajeev Goré, Ranald Clouston	Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents.	CoRR	2019	DBLP BibTeX RDF
23	Rajeev Goré, Björn Lellmann	Syntactic cut-elimination and backward proof-search for tense logic via linear nested sequents (Extended version).	CoRR	2019	DBLP BibTeX RDF
23	Tim Lyon	Syntactic Cut-Elimination for Intuitionistic Fuzzy Logic via Linear Nested Sequents.	CoRR	2019	DBLP BibTeX RDF
23	Eunice Palmeira da Silva, Fred Freitas, Jens Otten	Converting ALC Connection Proofs into ALC Sequents.	PxTP	2019	DBLP DOI BibTeX RDF
23	Björn Lellmann	Combining Monotone and Normal Modal Logic in Nested Sequents - with Countermodels.	TABLEAUX	2019	DBLP DOI BibTeX RDF
23	Rajeev Goré, Björn Lellmann	Syntactic Cut-Elimination and Backward Proof-Search for Tense Logic via Linear Nested Sequents.	TABLEAUX	2019	DBLP DOI BibTeX RDF
23	Marianna Girlando, Björn Lellmann, Nicola Olivetti	Nested Sequents for the Logic of Conditional Belief.	JELIA	2019	DBLP DOI BibTeX RDF
23	Martin Sticht	Multi-Agent Dialogues and Dialogue Sequents for Proof Search and Scheduling in Intuitionistic Logic and the Modal Logic S4.	Fundam. Informaticae	2018	DBLP DOI BibTeX RDF
23	Elaine Pimentel	Proof systems: from nestings to sequents and back.	CoRR	2018	DBLP BibTeX RDF
23	Revantha Ramanayake	Inducing syntactic cut-elimination for indexed nested sequents.	Log. Methods Comput. Sci.	2018	DBLP DOI BibTeX RDF
23	Satoshi Matsuoka	Direct Encodings of NP-Complete Problems into Horn Sequents of Multiplicative Linear Logic.	FLOPS	2018	DBLP DOI BibTeX RDF
23	Roman Kuznets, Björn Lellmann	Interpolation for Intermediate Logics via Hyper- and Linear Nested Sequents.	Advances in Modal Logic	2018	DBLP BibTeX RDF
23	Revantha Ramanayake	Inducing syntactic cut-elimination for indexed nested sequents.	CoRR	2017	DBLP BibTeX RDF
23	Esther Anna Corsi, Christian G. Fermüller	Logical Argumentation Principles, Sequents, and Nondeterministic Matrices.	LORI	2017	DBLP DOI BibTeX RDF
23	Sonia Marin, Lutz Straßburger	Proof Theory for Indexed Nested Sequents.	TABLEAUX	2017	DBLP DOI BibTeX RDF
23	Roman Kuznets, Björn Lellmann	Grafting hypersequents onto nested sequents.	Log. J. IGPL	2016	DBLP DOI BibTeX RDF
23	Martin Sticht	Multi-Agent Dialogue Games and Dialogue Sequents for Proof Search and Scheduling.	CILC	2016	DBLP BibTeX RDF
23	Kaustuv Chaudhuri, Sonia Marin, Lutz Straßburger	Focused and Synthetic Nested Sequents.	FoSSaCS	2016	DBLP DOI BibTeX RDF
23	Revantha Ramanayake	Inducing Syntactic Cut-Elimination for Indexed Nested Sequents.	IJCAR	2016	DBLP DOI BibTeX RDF
23	Ryuta Arisaka, Anupam Das 0002, Lutz Straßburger	On Nested Sequents for Constructive Modal Logics.	Log. Methods Comput. Sci.	2015	DBLP DOI BibTeX RDF
23	Roman Kuznets, Björn Lellmann	Grafting Hypersequents onto Nested Sequents.	CoRR	2015	DBLP BibTeX RDF
23	Melvin Fitting, Roman Kuznets	Modal interpolation via nested sequents.	Ann. Pure Appl. Log.	2015	DBLP DOI BibTeX RDF
23	Daniyar S. Shamkanov	Nested sequents for provability logic GLP.	Log. J. IGPL	2015	DBLP DOI BibTeX RDF
23	Eugene Goldberg, Panagiotis Manolios	Quantifier elimination by dependency sequents.	Formal Methods Syst. Des.	2014	DBLP DOI BibTeX RDF
23	Melvin Fitting	Nested Sequents for Intuitionistic Logics.	Notre Dame J. Formal Log.	2014	DBLP DOI BibTeX RDF
23	Daniyar S. Shamkanov	Nested Sequents for Provability Logic GLP.	CoRR	2014	DBLP BibTeX RDF
23	Zhe Hou, Ranald Clouston, Rajeev Goré, Alwen Tiu	Proof search for propositional abstract separation logics via labelled sequents.	POPL	2014	DBLP DOI BibTeX RDF
23	Wojciech Buszkowski	An Interpretation of Full Lambek Calculus in Its Variant without Empty Antecedents of Sequents.	LACL	2014	DBLP DOI BibTeX RDF
23	Zhe Hou, Ranald Clouston, Rajeev Goré, Alwen Tiu	Proof search for propositional abstract separation logics via labelled sequents.	CoRR	2013	DBLP BibTeX RDF
23	Lutz Straßburger	Cut Elimination in Nested Sequents for Intuitionistic Modal Logics.	FoSSaCS	2013	DBLP DOI BibTeX RDF
23	Mahfuza Farooque	Automated Reasoning Techniques as Proof-search in Sequent Calculus. (Techniques de déduction automatique vues comme recherche de preuve en calcul des séquents).		2013	RDF
23	Eugene Goldberg, Panagiotis Manolios	Quantifier Elimination by Dependency Sequents	CoRR	2012	DBLP BibTeX RDF
23	Eugene Goldberg, Panagiotis Manolios	Checking Satisfiability by Dependency Sequents	CoRR	2012	DBLP BibTeX RDF
23	Guillaume Aucher	DEL-sequents for regression and epistemic planning.	J. Appl. Non Class. Logics	2012	DBLP DOI BibTeX RDF
23	Remo Goetschi, Roman Kuznets	Realization for justification logics via nested sequents: Modularity through embedding.	Ann. Pure Appl. Log.	2012	DBLP DOI BibTeX RDF
23	Melvin Fitting	Prefixed tableaus and nested sequents.	Ann. Pure Appl. Log.	2012	DBLP DOI BibTeX RDF
23	Guillaume Aucher, Bastien Maubert, François Schwarzentruber	Generalized DEL-Sequents.	JELIA	2012	DBLP DOI BibTeX RDF
23	Eugene Goldberg, Panagiotis Manolios	Quantifier elimination by Dependency Sequents.	FMCAD	2012	DBLP BibTeX RDF
23	Guillaume Aucher, Bastien Maubert, François Schwarzentruber	Tableau Method and NEXPTIME-Completeness of DEL-Sequents.	M4M/LAMAS	2011	DBLP DOI BibTeX RDF
23	Guillaume Aucher	DEL-sequents for progression.	J. Appl. Non Class. Logics	2011	DBLP DOI BibTeX RDF
23	Melvin Fitting	Nested Sequents and Prefixed Tableaus.	TABLEAUX (Workshops, Tutorials, and Short Papers)	2011	DBLP BibTeX RDF
23	Remo Goetschi	Constructive Realization in Justification Logics via Nested Sequents.	TABLEAUX (Workshops, Tutorials, and Short Papers)	2011	DBLP BibTeX RDF
23	Kai Brünnler	Nested Sequents	CoRR	2010	DBLP BibTeX RDF
23	Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas	Dual Systems of Tableaux and Sequents for PLTL.	J. Log. Algebraic Methods Program.	2009	DBLP DOI BibTeX RDF
23	Luís Pinto 0001, Tarmo Uustalu	Proof Search and Counter-Model Construction for Bi-intuitionistic Propositional Logic with Labelled Sequents.	TABLEAUX	2009	DBLP DOI BibTeX RDF
23	Steffen van Bakel, Pierre Lescanne	Computation with classical sequents.	Math. Struct. Comput. Sci.	2008	DBLP DOI BibTeX RDF
23	Rajeev Goré, Linda Postniece, Alwen Tiu	Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents.	Advances in Modal Logic	2008	DBLP BibTeX RDF
23	Romas Alonderis	Glivenko Classes of Sequents for Propositional Star-Free Likelihood Logic.	Log. J. IGPL	2007	DBLP DOI BibTeX RDF
23	Dragisa Zunic	Computing with sequents and diagrams in classical logic - calculi *X, dX and ©X.		2007	RDF
23	Fabrice Nahon	Preuve par induction dans le calcul des séquents modulo. (Proof by induction in sequent calculus modulo).		2007	RDF
23	Marcelo Finger	DAG Sequents with Substitution.	We Will Show Them! (1)	2005	DBLP BibTeX RDF
23	Mirjana Borisavljevic	Extended Natural Deduction Images of Conversions from the System of Sequents.	J. Log. Comput.	2004	DBLP DOI BibTeX RDF
23	Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller	Cut-Elimination in a Sequents-of-Relations Calculus for Gödel Logic.	ISMVL	2001	DBLP DOI BibTeX RDF
23	Pierre-Louis Curien	Abstract Machines, Control, and Sequents.	APPSEM	2000	DBLP DOI BibTeX RDF
23	Thierry Coquand, Guo-Qiang Zhang 0001	Sequents, Frames, and Completeness.	CSL	2000	DBLP DOI BibTeX RDF
23	Claus-Peter Wirth	Full First-Order Free Variable Sequents and Tableaux in Implicit Induction.	TABLEAUX	1999	DBLP DOI BibTeX RDF
23	Stefano Guerrini, Simone Martini 0001, Andrea Masini	An Analysis of (Linear) Exponentials Based on Extended Sequents.	Log. J. IGPL	1998	DBLP DOI BibTeX RDF
23	Heinrich Wansing	Translation of Hypersequents into Display Sequents.	Log. J. IGPL	1998	DBLP DOI BibTeX RDF