×

Found 27 Documents (Results 1–27)

Formalizing a Seligman-style tableau system for hybrid logic (short paper). (English) Zbl 07614529

Peltier, Nicolas (ed.) et al., Automated reasoning. 10th international joint conference, IJCAR 2020, Paris, France, July 1–4, 2020. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12166, 474-481 (2020).
MSC:  68V15
PDFBibTeX XMLCite
Full Text: DOI

Modal tableau systems with blocking and congruence closure. (English) Zbl 1471.03018

De Nivelle, Hans (ed.), Automated reasoning with analytic tableaux and related methods. 24th international conference, TABLEAUX 2015, Wrocław, Poland, September 21–24, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9323, 38-53 (2015).
MSC:  03B35 03B25 03B45
PDFBibTeX XMLCite
Full Text: DOI

Modal satisfiability via SMT solving. (English) Zbl 1453.03015

De Nicola, Rocco (ed.) et al., Software, services, and systems. Essays dedicated to Martin Wirsing on the occasion of his retirement from the chair of programming and software engineering, Munich, Germany, 2015. Essays. Cham: Springer. Lect. Notes Comput. Sci. 8950, 30-45 (2015).
MSC:  03B45 03B35 68V15
PDFBibTeX XMLCite
Full Text: DOI HAL

Correctness and worst-case optimality of Pratt-style decision procedures for modal and hybrid logics. (English) Zbl 1333.03008

Brünnler, Kai (ed.) et al., Automated reasoning with analytic tableaux and related methods. 20th international conference, TABLEAUX 2011, Bern, Switzerland, July 4–8, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22118-7/pbk). Lecture Notes in Computer Science 6793. Lecture Notes in Artificial Intelligence, 196-210 (2011).
MSC:  03B45 03B35 03B62
PDFBibTeX XMLCite
Full Text: DOI

A tableaux based decision procedure for a broad class of hybrid formulae with binders. (English) Zbl 1331.68200

Brünnler, Kai (ed.) et al., Automated reasoning with analytic tableaux and related methods. 20th international conference, TABLEAUX 2011, Bern, Switzerland, July 4–8, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22118-7/pbk). Lecture Notes in Computer Science 6793. Lecture Notes in Artificial Intelligence, 104-118 (2011).
MSC:  68T15 03B35
PDFBibTeX XMLCite
Full Text: DOI

Herod and Pilate: two tableau provers for basic hybrid logic. (English) Zbl 1291.68333

Giesl, Jürgen (ed.) et al., Automated reasoning. 5th international joint conference, IJCAR 2010, Edinburgh, UK, July 16–19, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14202-4/pbk). Lecture Notes in Computer Science 6173. Lecture Notes in Artificial Intelligence, 255-262 (2010).
MSC:  68T15 03B45
PDFBibTeX XMLCite
Full Text: DOI

Terminating tableaux for hybrid logic with eventualities. (English) Zbl 1291.03019

Giesl, Jürgen (ed.) et al., Automated reasoning. 5th international joint conference, IJCAR 2010, Edinburgh, UK, July 16–19, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14202-4/pbk). Lecture Notes in Computer Science 6173. Lecture Notes in Artificial Intelligence, 240-254 (2010).
MSC:  03B35 03B45
PDFBibTeX XMLCite
Full Text: DOI

Global caching for coalgebraic description logics. (English) Zbl 1291.03017

Giesl, Jürgen (ed.) et al., Automated reasoning. 5th international joint conference, IJCAR 2010, Edinburgh, UK, July 16–19, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14202-4/pbk). Lecture Notes in Computer Science 6173. Lecture Notes in Artificial Intelligence, 46-60 (2010).
MSC:  03B35 03B45 68T15 68T27
PDFBibTeX XMLCite
Full Text: DOI

Experiments in theorem proving for topological hybrid logic. (English) Zbl 1347.68308

Areces, Carlos (ed.) et al., Proceedings of the 5th workshop on methods for modalities (M4M5 2007), Cachan, France, November 29–30, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 231, 309-321 (2009).
MSC:  68T15 03B45 03B62
PDFBibTeX XMLCite
Full Text: DOI

Hybrid tableaux for the difference modality. (English) Zbl 1347.03044

Areces, Carlos (ed.) et al., Proceedings of the 5th workshop on methods for modalities (M4M5 2007), Cachan, France, November 29–30, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 231, 241-257 (2009).
MSC:  03B45 03B35 03B70
PDFBibTeX XMLCite
Full Text: DOI

Coalgebraic hybrid logic. (English) Zbl 1234.03020

de Alfaro, Luca (ed.), Foundations of software science and computational structures. 12th international conference, FOSSACS 2009, held as part of the joint European conferences on theory and practice of software, ETAPS 2009, York, UK, March 22–29, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00595-4/pbk). Lecture Notes in Computer Science 5504, 137-151 (2009).
MSC:  03B70 03B45 68Q65
PDFBibTeX XMLCite
Full Text: DOI

Terminating tableaux for hybrid logic with the difference modality and converse. (English) Zbl 1165.03317

Armando, Alessandro (ed.) et al., Automated reasoning. 4th international joint conference, IJCAR 2008, Sydney, Australia, August 12–15, 2008 Proceedings. Berlin: Springer (ISBN 978-3-540-71069-1/pbk). Lecture Notes in Computer Science 5195. Lecture Notes in Artificial Intelligence, 210-225 (2008).
MSC:  03B35 03B45
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

all top 3

Software