From, Asta Halkjær; Blackburn, Patrick; Villadsen, Jørgen 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 \textit{A. H. From} et al., Lect. Notes Comput. Sci. 12166, 474--481 (2020; Zbl 07614529) Full Text: DOI
Cialdea Mayer, Marta A prover dealing with nominals, binders, transitivity and relation hierarchies. (English) Zbl 1468.68285 J. Autom. Reasoning 64, No. 1, 135-165 (2020). MSC: 68V15 03B35 03B45 PDFBibTeX XMLCite \textit{M. Cialdea Mayer}, J. Autom. Reasoning 64, No. 1, 135--165 (2020; Zbl 1468.68285) Full Text: DOI Link
Nguyen, Linh Anh ExpTime tableaux with global caching for hybrid PDL. (English) Zbl 1468.68305 J. Autom. Reasoning 64, No. 1, 21-52 (2020). MSC: 68V15 03B35 03B45 03B70 68T27 PDFBibTeX XMLCite \textit{L. A. Nguyen}, J. Autom. Reasoning 64, No. 1, 21--52 (2020; Zbl 1468.68305) Full Text: DOI arXiv
Christoff, Zoé; Hansen, Jens Ulrik; Proietti, Carlo Reflecting on social influence in networks. (English) Zbl 1396.03082 J. Logic Lang. Inf. 25, No. 3-4, 299-333 (2016). MSC: 03B80 03B42 91D30 PDFBibTeX XMLCite \textit{Z. Christoff} et al., J. Logic Lang. Inf. 25, No. 3--4, 299--333 (2016; Zbl 1396.03082) Full Text: DOI Link
Schmidt, Renate A.; Waldmann, Uwe 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 \textit{R. A. Schmidt} and \textit{U. Waldmann}, Lect. Notes Comput. Sci. 9323, 38--53 (2015; Zbl 1471.03018) Full Text: DOI
Areces, Carlos; Fontaine, Pascal; Merz, Stephan 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 \textit{C. Areces} et al., Lect. Notes Comput. Sci. 8950, 30--45 (2015; Zbl 1453.03015) Full Text: DOI HAL
Christoff, Zoé; Hansen, Jens Ulrik A logic for diffusion in social networks. (English) Zbl 1311.03037 J. Appl. Log. 13, No. 1, 48-77 (2015). MSC: 03B45 91D30 PDFBibTeX XMLCite \textit{Z. Christoff} and \textit{J. U. Hansen}, J. Appl. Log. 13, No. 1, 48--77 (2015; Zbl 1311.03037) Full Text: DOI
Kaminski, Mark; Smolka, Gert A goal-directed decision procedure for hybrid PDL. (English) Zbl 1314.03023 J. Autom. Reasoning 52, No. 4, 407-450 (2014). MSC: 03B45 03B25 PDFBibTeX XMLCite \textit{M. Kaminski} and \textit{G. Smolka}, J. Autom. Reasoning 52, No. 4, 407--450 (2014; Zbl 1314.03023) Full Text: DOI Link
Cerrito, Serenella; Mayer, Marta Cialdea A tableau based decision procedure for an expressive fragment of hybrid logic with binders, converse and global modalities. (English) Zbl 1314.03018 J. Autom. Reasoning 51, No. 2, 197-239 (2013). MSC: 03B35 03B45 03B62 PDFBibTeX XMLCite \textit{S. Cerrito} and \textit{M. C. Mayer}, J. Autom. Reasoning 51, No. 2, 197--239 (2013; Zbl 1314.03018) Full Text: DOI HAL
Galmiche, Didier; Salhi, Yakoub Sequent calculi and decidability for intuitionistic hybrid logic. (English) Zbl 1243.03028 Inf. Comput. 209, No. 12, 1447-1463 (2011). MSC: 03B45 03B25 03F05 PDFBibTeX XMLCite \textit{D. Galmiche} and \textit{Y. Salhi}, Inf. Comput. 209, No. 12, 1447--1463 (2011; Zbl 1243.03028) Full Text: DOI
Kaminski, Mark; Schneider, Thomas; Smolka, Gert 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 \textit{M. Kaminski} et al., Lect. Notes Comput. Sci. 6793, 196--210 (2011; Zbl 1333.03008) Full Text: DOI
Cerrito, Serenella; Cialdea Mayer, Marta 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 \textit{S. Cerrito} and \textit{M. Cialdea Mayer}, Lect. Notes Comput. Sci. 6793, 104--118 (2011; Zbl 1331.68200) Full Text: DOI
Hansen, Jens Ulrik Terminating tableaux for dynamic epistemic logics. (English) Zbl 1345.03029 Bolander, Thomas (ed.) et al., Proceedings of the 6th workshop on methods for modalities (M4M-6 2009), Copenhagen, Denmark, November 12–14, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 262, 141-156 (2010). MSC: 03B42 68T27 PDFBibTeX XMLCite \textit{J. U. Hansen}, Electron. Notes Theor. Comput. Sci. 262, 141--156 (2010; Zbl 1345.03029) Full Text: DOI
Cerrito, Serenella; Mayer, Marta Cialdea An efficient approach to nominal equalities in hybrid logic tableaux. (English) Zbl 1242.03029 J. Appl. Non-Class. Log. 20, No. 1-2, 39-61 (2010). MSC: 03B35 03B62 68T27 PDFBibTeX XMLCite \textit{S. Cerrito} and \textit{M. C. Mayer}, J. Appl. Non-Class. Log. 20, No. 1--2, 39--61 (2010; Zbl 1242.03029) Full Text: DOI
Sano, Katsuhiko Axiomatizing hybrid products. How can we reason many-dimensionally in hybrid logic? (English) Zbl 1215.03038 J. Appl. Log. 8, No. 4, 459-474 (2010). MSC: 03B45 PDFBibTeX XMLCite \textit{K. Sano}, J. Appl. Log. 8, No. 4, 459--474 (2010; Zbl 1215.03038) Full Text: DOI
Myers, Robert S. R.; Pattinson, Dirk Hybrid logic with the difference modality for generalisations of graphs. (English) Zbl 1215.03036 J. Appl. Log. 8, No. 4, 441-458 (2010). MSC: 03B45 PDFBibTeX XMLCite \textit{R. S. R. Myers} and \textit{D. Pattinson}, J. Appl. Log. 8, No. 4, 441--458 (2010; Zbl 1215.03036) Full Text: DOI
Hoffmann, Guillaume Lightweight hybrid tableaux. (English) Zbl 1228.03004 J. Appl. Log. 8, No. 4, 397-408 (2010). Reviewer: Nail Zamov (Kazan) MSC: 03B45 03B25 03B35 PDFBibTeX XMLCite \textit{G. Hoffmann}, J. Appl. Log. 8, No. 4, 397--408 (2010; Zbl 1228.03004) Full Text: DOI HAL
Cialdea Mayer, Marta; Cerrito, Serenella 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 \textit{M. Cialdea Mayer} and \textit{S. Cerrito}, Lect. Notes Comput. Sci. 6173, 255--262 (2010; Zbl 1291.68333) Full Text: DOI
Kaminski, Mark; Smolka, Gert 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 \textit{M. Kaminski} and \textit{G. Smolka}, Lect. Notes Comput. Sci. 6173, 240--254 (2010; Zbl 1291.03019) Full Text: DOI
Goré, Rajeev; Kupke, Clemens; Pattinson, Dirk; Schröder, Lutz 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 \textit{R. Goré} et al., Lect. Notes Comput. Sci. 6173, 46--60 (2010; Zbl 1291.03017) Full Text: DOI
Sustretov, Dmitry; Hoffmann, Guillaume; Areces, Carlos; Blackburn, Patrick 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 \textit{D. Sustretov} et al., Electron. Notes Theor. Comput. Sci. 231, 309--321 (2009; Zbl 1347.68308) Full Text: DOI
Kaminski, Mark; Smolka, Gert 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 \textit{M. Kaminski} and \textit{G. Smolka}, Electron. Notes Theor. Comput. Sci. 231, 241--257 (2009; Zbl 1347.03044) Full Text: DOI
Bolander, Thomas Terminating tableau calculi for hybrid logics extending K. (English) Zbl 1347.03039 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, 21-39 (2009). MSC: 03B45 03B35 03B70 PDFBibTeX XMLCite \textit{T. Bolander}, Electron. Notes Theor. Comput. Sci. 231, 21--39 (2009; Zbl 1347.03039) Full Text: DOI
Hoffmann, Guillaume HTab: a terminating tableaux system for hybrid logic. (English) Zbl 1347.68301 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, 3-19 (2009). MSC: 68T15 03B35 03B45 03B62 68N18 68T27 PDFBibTeX XMLCite \textit{G. Hoffmann}, Electron. Notes Theor. Comput. Sci. 231, 3--19 (2009; Zbl 1347.68301) Full Text: DOI
Kaminski, Mark; Smolka, Gert Terminating tableau systems for hybrid logic with difference and converse. (English) Zbl 1188.03013 J. Logic Lang. Inf. 18, No. 4, 437-464 (2009). Reviewer: Emilio Muñoz-Velasco MSC: 03B45 03B35 03B62 PDFBibTeX XMLCite \textit{M. Kaminski} and \textit{G. Smolka}, J. Logic Lang. Inf. 18, No. 4, 437--464 (2009; Zbl 1188.03013) Full Text: DOI
Myers, Rob; Pattinson, Dirk; Schröder, Lutz 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 \textit{R. Myers} et al., Lect. Notes Comput. Sci. 5504, 137--151 (2009; Zbl 1234.03020) Full Text: DOI
Kaminski, Mark; Smolka, Gert 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 \textit{M. Kaminski} and \textit{G. Smolka}, Lect. Notes Comput. Sci. 5195, 210--225 (2008; Zbl 1165.03317) Full Text: DOI