The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for hypersequents with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1991-2009 (15) 2011-2021 (16) 2022 (3)
Publication types (Num. hits)
article(17) incollection(1) inproceedings(16)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 10 occurrences of 6 keywords

Results
Found 34 publication records. Showing 34 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
120Agata Ciabattoni, Christian G. Fermüller, George Metcalfe Uniform Rules and Dialogue Games for Fuzzy Logics. Search on Bibsonomy LPAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
53Christian G. Fermüller Parallel Dialogue Games and Hypersequents for Intermediate Logics. Search on Bibsonomy TABLEAUX The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
53George Metcalfe, Nicola Olivetti, Dov M. Gabbay Goal-Directed Calculli for Gödel-Dummett Logics. Search on Bibsonomy CSL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Gödel Logics, Hypersequents, Goal-Directed Calculi, Fuzzy Logics, Intermediate Logics
48Didier Galmiche, Yakoub Salhi Labelled Calculi for Lukasiewicz Logics. Search on Bibsonomy WoLLIC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
29Anupam Das 0002, Marianna Girlando Cyclic Proofs, Hypersequents, and Transitive Closure Logic. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
29Anupam Das 0002, Marianna Girlando Cyclic Proofs, Hypersequents, and Transitive Closure Logic. Search on Bibsonomy IJCAR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
29Agata Ciabattoni, Nicola Olivetti, Xavier Parent Dyadic Obligations: Proofs and Countermodels via Hypersequents. Search on Bibsonomy PRIMA The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
29Annemarie Borg, Christian Straßer, Ofer Arieli A Generalized Proof-Theoretic Approach to Logical Argumentation Based on Hypersequents. Search on Bibsonomy Stud Logica The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
29Iris van der Giessen, Raheleh Jalali, Roman Kuznets Uniform interpolation via nested sequents and hypersequents. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
29Agata Ciabattoni, Timo Lang, Revantha Ramanayake Bounded Sequent Calculi for Non-classical Logics via Hypersequents. Search on Bibsonomy TABLEAUX The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
29Agata Ciabattoni, Francesco A. Genco Hypersequents and Systems of Rules: Embeddings and Applications. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
29Samara Burns, Richard Zach Relational Hypersequents for Modal Logics. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
29Agata Ciabattoni Intermediate Logics: From Hypersequents to Concurrent Computation. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2018 DBLP  BibTeX  RDF
29Agata Ciabattoni, Nikolaos Galatos, Kazushige Terui Algebraic proof theory: Hypersequents and hypercompletions. Search on Bibsonomy Ann. Pure Appl. Log. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
29Roman Kuznets, Björn Lellmann Grafting hypersequents onto nested sequents. Search on Bibsonomy Log. J. IGPL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
29Agata Ciabattoni, Francesco A. Genco Embedding formalisms: hypersequents and two-level systems of rule. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2016 DBLP  BibTeX  RDF
29Roman Kuznets, Björn Lellmann Grafting Hypersequents onto Nested Sequents. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
29Björn Lellmann Linear Nested Sequents, 2-Sequents and Hypersequents. Search on Bibsonomy TABLEAUX The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
29Nick Bezhanishvili, Silvio Ghilardi Multiple-conclusion Rules, Hypersequents Syntax and Step Frames. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2014 DBLP  BibTeX  RDF
29Francesca Poggiolesi From Single Agent to Multi-Agent via Hypersequents. Search on Bibsonomy Logica Universalis The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
29Hidenori Kurokawa Tableaux and hypersequents for justification logics. Search on Bibsonomy Ann. Pure Appl. Log. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
29Rajeev Goré, Revantha Ramanayake Labelled Tree Sequents, Tree Hypersequents and Nested (Deep) Sequents. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2012 DBLP  BibTeX  RDF
29Robert Rothenberg Translating Labels to Hypersequents for Intermediate Logics with Geometric Kripke Semantics Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
29Francesca Poggiolesi The Method of Tree-Hypersequents for Modal Propositional Logic. Search on Bibsonomy Towards Mathematical Philosophy The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
29Hidenori Kurokawa Tableaux and Hypersequents for Justification Logic. Search on Bibsonomy LFCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
29Agata Ciabattoni, Christian G. Fermüller Hypersequents as a Uniform Framework for Urquhart's C, MTL and Related Logics. Search on Bibsonomy ISMVL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
29Heinrich Wansing Translation of Hypersequents into Display Sequents. Search on Bibsonomy Log. J. IGPL The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
29Arnon Avron Hypersequents, logical consequence and intermediate logics for concurrency. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
29Christian G. Fermüller, George Metcalfe Giles's Game and the Proof Theory of Lukasiewicz Logic. Search on Bibsonomy Stud Logica The full citation details ... 2009 DBLP  DOI  BibTeX  RDF hypersequents, many-valued logics, dialogue games, ?ukasiewicz logic
29Christian G. Fermüller Dialogue Games for Many-Valued Logics - an Overview. Search on Bibsonomy Stud Logica The full citation details ... 2008 DBLP  DOI  BibTeX  RDF hypersequents, fuzzy logic, many-valued logic, dialogue games
29George Metcalfe, Nicola Olivetti, Dov M. Gabbay Sequent and hypersequent calculi for abelian and Łukasiewicz logics. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF ? ukasiewicz logic, Abelian logic, Hypersequents, Sequents
24Kai Brünnler, Lutz Straßburger Modular Sequent Systems for Modal Logic. Search on Bibsonomy TABLEAUX The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
24Simone Bova, Franco Montagna Proof search in Hájek's basic logic. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF countermodel building, Fuzzy logic, automated deduction
24Matthias Baaz, George Metcalfe Proof Theory for First Order Lukasiewicz Logic. Search on Bibsonomy TABLEAUX The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #34 of 34 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license