|
|
Venues (Conferences, Journals, ...)
|
|
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 |
120 | Agata Ciabattoni, Christian G. Fermüller, George Metcalfe |
Uniform Rules and Dialogue Games for Fuzzy Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings, pp. 496-510, 2004, Springer, 3-540-25236-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
53 | Christian G. Fermüller |
Parallel Dialogue Games and Hypersequents for Intermediate Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings, pp. 48-64, 2003, Springer, 3-540-40787-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
53 | George Metcalfe, Nicola Olivetti, Dov M. Gabbay |
Goal-Directed Calculli for Gödel-Dummett Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings, pp. 413-426, 2003, Springer, 3-540-40801-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Gödel Logics, Hypersequents, Goal-Directed Calculi, Fuzzy Logics, Intermediate Logics |
48 | Didier Galmiche, Yakoub Salhi |
Labelled Calculi for Lukasiewicz Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information and Computation, 15th International Workshop, WoLLIC 2008, Edinburgh, UK, July 1-4, 2008, Proceedings, pp. 194-207, 2008, Springer, 978-3-540-69936-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Anupam Das 0002, Marianna Girlando |
Cyclic Proofs, Hypersequents, and Transitive Closure Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2205.08616, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Anupam Das 0002, Marianna Girlando |
Cyclic Proofs, Hypersequents, and Transitive Closure Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning - 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings, pp. 509-528, 2022, Springer, 978-3-031-10768-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Agata Ciabattoni, Nicola Olivetti, Xavier Parent |
Dyadic Obligations: Proofs and Countermodels via Hypersequents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRIMA ![In: PRIMA 2022: Principles and Practice of Multi-Agent Systems - 24th International Conference, Valencia, Spain, November 16-18, 2022, Proceedings, pp. 54-71, 2022, Springer, 978-3-031-21202-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Annemarie Borg, Christian Straßer, Ofer Arieli |
A Generalized Proof-Theoretic Approach to Logical Argumentation Based on Hypersequents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 109(1), pp. 167-238, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
29 | Iris van der Giessen, Raheleh Jalali, Roman Kuznets |
Uniform interpolation via nested sequents and hypersequents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2105.10930, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
29 | Agata Ciabattoni, Timo Lang, Revantha Ramanayake |
Bounded Sequent Calculi for Non-classical Logics via Hypersequents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods - 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings, pp. 94-110, 2019, Springer, 978-3-030-29025-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
29 | Agata Ciabattoni, Francesco A. Genco |
Hypersequents and Systems of Rules: Embeddings and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 19(2), pp. 11:1-11:27, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Samara Burns, Richard Zach |
Relational Hypersequents for Modal Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1805.09437, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
29 | Agata Ciabattoni |
Intermediate Logics: From Hypersequents to Concurrent Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Modal Logic ![In: Advances in Modal Logic 12, proceedings of the 12th conference on `Advances in Modal Logic,` held in Bern, Switzerland, August 27-31, 2018, pp. 3, 2018, College Publications, 978-1-84890-255-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
29 | Agata Ciabattoni, Nikolaos Galatos, Kazushige Terui |
Algebraic proof theory: Hypersequents and hypercompletions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 168(3), pp. 693-737, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Roman Kuznets, Björn Lellmann |
Grafting hypersequents onto nested sequents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 24(3), pp. 375-423, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Agata Ciabattoni, Francesco A. Genco |
Embedding formalisms: hypersequents and two-level systems of rule. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Modal Logic ![In: Advances in Modal Logic 11, proceedings of the 11th conference on `Advances in Modal Logic,` held in Budapest, Hungary, August 30 - September 2, 2016, pp. 197-216, 2016, College Publications, 978-1-84890-201-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
29 | Roman Kuznets, Björn Lellmann |
Grafting Hypersequents onto Nested Sequents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1502.00814, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
29 | Björn Lellmann |
Linear Nested Sequents, 2-Sequents and Hypersequents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods - 24th International Conference, TABLEAUX 2015, Wrocław, Poland, September 21-24, 2015. Proceedings, pp. 135-150, 2015, Springer, 978-3-319-24311-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
29 | Nick Bezhanishvili, Silvio Ghilardi |
Multiple-conclusion Rules, Hypersequents Syntax and Step Frames. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Modal Logic ![In: Advances in Modal Logic 10, invited and contributed papers from the tenth conference on `Advances in Modal Logic,` held in Groningen, The Netherlands, August 5-8, 2014, pp. 54-73, 2014, College Publications, 978-1-84890-151-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
29 | Francesca Poggiolesi |
From Single Agent to Multi-Agent via Hypersequents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logica Universalis ![In: Logica Universalis 7(2), pp. 147-166, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
29 | Hidenori Kurokawa |
Tableaux and hypersequents for justification logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 163(7), pp. 831-853, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
29 | Rajeev Goré, Revantha Ramanayake |
Labelled Tree Sequents, Tree Hypersequents and Nested (Deep) Sequents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Modal Logic ![In: Advances in Modal Logic 9, papers from the ninth conference on `Advances in Modal Logic,` held in Copenhagen, Denmark, 22-25 August 2012, pp. 279-299, 2012, College Publications, 978-1-84890-068-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
29 | Robert Rothenberg |
Translating Labels to Hypersequents for Intermediate Logics with Geometric Kripke Semantics ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1102.0240, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
29 | Francesca Poggiolesi |
The Method of Tree-Hypersequents for Modal Propositional Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Towards Mathematical Philosophy ![In: Towards Mathematical Philosophy, pp. 31-51, 2009, Springer, 978-1-4020-9083-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
29 | Hidenori Kurokawa |
Tableaux and Hypersequents for Justification Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFCS ![In: Logical Foundations of Computer Science, International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings, pp. 295-308, 2009, Springer, 978-3-540-92686-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
29 | Agata Ciabattoni, Christian G. Fermüller |
Hypersequents as a Uniform Framework for Urquhart's C, MTL and Related Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 31st IEEE International Symposium on Multiple-Valued Logic, ISMVL 2001, Warsaw, Poland, May 22-24, 2001, Proceedings, pp. 227-232, 2001, IEEE Computer Society, 0-7695-1083-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
29 | Heinrich Wansing |
Translation of Hypersequents into Display Sequents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 6(5), pp. 719-733, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
29 | Arnon Avron |
Hypersequents, logical consequence and intermediate logics for concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 4, pp. 225-248, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
29 | Christian G. Fermüller, George Metcalfe |
Giles's Game and the Proof Theory of Lukasiewicz Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 92(1), pp. 27-61, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
hypersequents, many-valued logics, dialogue games, ?ukasiewicz logic |
29 | Christian G. Fermüller |
Dialogue Games for Many-Valued Logics - an Overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 90(1), pp. 43-68, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
hypersequents, fuzzy logic, many-valued logic, dialogue games |
29 | George Metcalfe, Nicola Olivetti, Dov M. Gabbay |
Sequent and hypersequent calculi for abelian and Łukasiewicz logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 6(3), pp. 578-613, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
? ukasiewicz logic, Abelian logic, Hypersequents, Sequents |
24 | Kai Brünnler, Lutz Straßburger |
Modular Sequent Systems for Modal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods, 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings, pp. 152-166, 2009, Springer, 978-3-642-02715-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Simone Bova, Franco Montagna |
Proof search in Hájek's basic logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 9(3), pp. 21:1-21:26, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
countermodel building, Fuzzy logic, automated deduction |
24 | Matthias Baaz, George Metcalfe |
Proof Theory for First Order Lukasiewicz Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods, 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings, pp. 28-42, 2007, Springer, 978-3-540-73098-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #34 of 34 (100 per page; Change: )
|
|