×

Found 58 Documents (Results 1–58)

Decidability and expressivity of Ockhamist propositional dynamic logics. (English) Zbl 1483.68371

Michael, Loizos (ed.) et al., Logics in artificial intelligence. 15th European conference, JELIA 2016, Larnaca, Cyprus, November 9–11, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10021, 144-158 (2016).
PDFBibTeX XMLCite
Full Text: DOI Link

A tableau for bundled strategies. (English) Zbl 1471.03039

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, 22-37 (2015).
PDFBibTeX XMLCite
Full Text: DOI

Specification and verification of multi-agent systems. (English) Zbl 1250.68190

Bezhanishvili, Nick (ed.) et al., Lectures on logic and computation. ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011. Selected lecture notes. Berlin: Springer (ISBN 978-3-642-31484-1/pbk). Lecture Notes in Computer Science 7388, 210-263 (2012).
PDFBibTeX XMLCite
Full Text: DOI

A rooted tableau for \(\mathrm{BCTL}^*\). (English) Zbl 1347.03035

van Ditmarsch, Hans (ed.) et al., Proceedings of the 7th workshop on methods for modalities (M4M’2011), and the 4th workshop on logical aspects of multi-agent systems (LAMAS’2011), Osuna, Spain, November 10–12, 2011. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 278, 145-158 (2011).
MSC:  03B44 03B35 03B70
PDFBibTeX XMLCite
Full Text: DOI

A decision procedure for \(\mathrm{CTL}^{*}\) based on tableaux and automata. (English) Zbl 1257.03035

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, 331-345 (2010).
MSC:  03B35 03B44 03D05 68T15 91A05
PDFBibTeX XMLCite
Full Text: DOI

An automata-based approach for \(\text{CTL}^{*}\) with constraints. (English) Zbl 1347.68224

Habermehl, P. (ed.) et al., Proceedings of the 8th, 9th, and 10th international workshops on verification of infinite-state systems (INFINITY 2006, 2007, 2008), Bonn, Germany, August 26, 2006, Lisbon, Portugal, September 8, 2007, Toronto, Canada, August 23, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 239, 193-211 (2009).
MSC:  68Q60 03B44 68Q45
PDFBibTeX XMLCite
Full Text: DOI

Büchi complementation and size-change termination. (English) Zbl 1234.68256

Kowalewski, Stefan (ed.) et al., Tools and algorithms for the construction and analysis of systems. 15th international conference, TACAS 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-00767-5/pbk). Lecture Notes in Computer Science 5505, 16-30 (2009).
MSC:  68Q60 68Q45
PDFBibTeX XMLCite
Full Text: DOI arXiv

A labeled natural deduction system for a fragment of CTL\( ^{*}\). (English) Zbl 1211.03032

Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3–6, 2009. Proceedings. Berlin: Springer (ISBN 978-3-540-92686-3/pbk). Lecture Notes in Computer Science 5407, 338-353 (2009).
MSC:  03B44
PDFBibTeX XMLCite
Full Text: DOI

From LTL to symbolically represented deterministic automata. (English) Zbl 1138.68454

Logozzo, Francesco (ed.) et al., Verification, model checking, and abstract interpretation. 9th international conference, VMCAI 2008, San Francisco, USA, January 7–9, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-78162-2/pbk). Lecture Notes in Computer Science 4905, 279-293 (2008).
MSC:  68Q60 03B44 03D05
PDFBibTeX XMLCite
Full Text: DOI

Model theoretic syntax and parsing: an application to temporal logic. (English) Zbl 1263.68169

Moss, Lawrence S. (ed.) et al., Proceedings of the joint meeting of the 6th conference on formal grammar and the 7th conference on mathematics of language, Helsinki, Finland, August 10–12, 2001. Proceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 53, 261-273 (2004).
MSC:  68T50 03B44 03B65
PDFBibTeX XMLCite
Full Text: DOI

Alternating automata: unifying truth and validity checking for temporal logics. (English) Zbl 1430.68156

McCune, William (ed.), Automated deduction – CADE-14. 14th international conference on automated deduction, Townsville, North Queensland, Australia. July 13–17, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1249, 191-206 (1997).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

Main Field

all top 3

Software