×

Found 152 Documents (Results 1–100)

Logic: reference book for computer scientists. 2nd revised and enlarged edition, previously published under the title Logics for computer and data sciences, and artificial intelligence. (English) Zbl 1529.68008

Intelligent Systems Reference Library 245. Cham: Springer (ISBN 978-3-031-42033-7/hbk; 978-3-031-42036-8/pbk; 978-3-031-42034-4/ebook). xxxiii, 461 p. (2023).
PDFBibTeX XMLCite
Full Text: DOI

On descriptional propositions in Ibn Sīnā: elements for a logical analysis. (English) Zbl 1473.03007

Mojtahedi, Mojtaba (ed.) et al., Mathematics, logic, and their philosophies. Essays in honour of Mohammad Ardeshir. Cham: Springer. Log. Epistemol. Unity Sci. 49, 411-431 (2021).
PDFBibTeX XMLCite
Full Text: DOI HAL

Computational complexity of core fragments of modal logics \(\mathrm{t}\), \(\mathrm{K4}\), and \(\mathrm{S4}\). (English) Zbl 1525.03074

Calimeri, Francesco (ed.) et al., Logics in artificial intelligence. 16th European conference, JELIA 2019, Rende, Italy, May 7–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11468, 744-759 (2019).
MSC:  03B45 03B44 68Q25
PDFBibTeX XMLCite
Full Text: DOI

C. S. Peirce. (English) Zbl 1387.03004

Malpass, Alex (ed.) et al., The history of philosophical and formal logic. From Aristotle to Tarski. New York, NY: Bloomsbury Academic (ISBN 978-1-4725-1350-2/hbk). 165-181 (2017).
PDFBibTeX XMLCite

PPTL_SPIN: a SPIN based model checker for propositional projection temporal logic. (English) Zbl 1461.68124

Liu, Shaoying (ed.) et al., Structured object-oriented formal language and method. 5th international workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9559, 195-205 (2016).
PDFBibTeX XMLCite
Full Text: DOI

An approach to design of automata-based axiomatization for propositional program and temporal logics (by example of linear temporal logic). (English) Zbl 1344.03021

Brattka, Vasco (ed.) et al., Logic, computation, hierarchies. Dedicated to Victor L. Selivanov on the occasion of his 60th birthday. Berlin: De Gruyter (ISBN 978-1-61451-783-2/hbk; 978-1-61451-804-4/ebook). Ontos Mathematical Logic 4, 297-324 (2014).
MSC:  03B44 03D05
PDFBibTeX XMLCite

Exploring the power of converse events. (English) Zbl 1258.03021

Girard, Patrick (ed.) et al., Dynamic formal epistemology. Based on the workshop “Dynamic logic Montreal”, Montreal, Canada, June 2007. Berlin: Springer (ISBN 978-94-007-0073-4/hbk; 978-94-007-0074-1/ebook). Synthese Library 351, 51-74 (2011).
MSC:  03B42 03B44
PDFBibTeX XMLCite
Full Text: DOI HAL

A transformation from PPTL to S1S. (English) Zbl 1310.68146

Wu, Weili (ed.) et al., Combinatorial optimization and applications. 4th international conference, COCOA 2010, Kailua-Kona, HI, USA, December 18–20, 2010. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-17460-5/pbk). Lecture Notes in Computer Science 6509, 374-386 (2010).
MSC:  68Q60 03B25 03B44
PDFBibTeX XMLCite
Full Text: DOI

On process-algebraic extensions of metric temporal logic. (English) Zbl 1215.68150

Jones, Cliff B. (ed.) et al., Reflections on the work of C. A. R. Hoare. Most papers based on the presentations at the meeting to celebrate Tony Hoare’s 75th birthday, Cambridge, UK, April 2009. London: Springer (ISBN 978-1-84882-911-4/hbk; 978-1-84882-912-1/ebook). 283-300 (2010).
MSC:  68Q85 03B44 03B70
PDFBibTeX XMLCite
Full Text: DOI

Craig interpolation for linear temporal languages. (English) Zbl 1257.03042

Grädel, Erich (ed.) et al., Computer science logic. 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7–11, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04026-9/pbk). Lecture Notes in Computer Science 5771, 287-301 (2009).
MSC:  03B44 03C40
PDFBibTeX XMLCite
Full Text: DOI

Modalities and multimodalities. With the assistance and collaboration of Juliana Bueno-Soler. (English) Zbl 1210.03017

Logic, Epistemology, and the Unity of Science 12. Berlin: Springer (ISBN 978-1-4020-8589-5/hbk; 978-1-4020-8590-1/ebook). xiii, 303 p. (2008).
PDFBibTeX XMLCite
Full Text: DOI

Design and synthesis of synchronization skeletons using branching time temporal logic. (English) Zbl 1142.68431

Grumberg, Orna (ed.) et al., 25 years of model checking. History, achievements, perspectives. Berlin: Springer (ISBN 978-3-540-69849-4/pbk). Lecture Notes in Computer Science 5000, 196-215 (2008).
PDFBibTeX XMLCite
Full Text: DOI

Propositional projection temporal logic, Büchi automata and \(\omega \)-regular expressions. (English) Zbl 1140.03305

Agrawal, Manindra (ed.) et al., Theory and applications of models of computation. 5th international conference, TAMC 2008, Xi’an, China, April 25–29, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-79227-7/pbk). Lecture Notes in Computer Science 4978, 47-58 (2008).
MSC:  03B44 03D05 68Q45
PDFBibTeX XMLCite
Full Text: DOI

Systematic semantic tableaux for PLTL. (English) Zbl 1278.03041

Pimentel, Ernesto (ed.), Proceedings of the seventh Spanish conference on programming and computer languages (PROLE 2007), Zaragoza, Spain, September 12–14, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 206, 59-73 (2008).
MSC:  03B44 03B35
PDFBibTeX XMLCite
Full Text: Link

A sound and complete proof system for QPTL. (English) Zbl 1083.03022

Balbiani, Philippe (ed.) et al., Advances in modal logic. Vol. 4. Selected papers from the 4th conference (AiML 2002), Toulouse, France, October 2002. London: King’s College Publications (ISBN 0-9543006-1-0/pbk; 0-9543006-2-9/hbk). 127-147 (2003).
MSC:  03B44 03D05
PDFBibTeX XMLCite

Model checking. (English) Zbl 1066.68075

Robinson, Alan (ed.) et al., Handbook of automated reasoning. In 2 vols. Amsterdam: North-Holland/ Elsevier; Cambridge, MA: MIT Press (ISBN 0-444-82949-0 (vol. 1); 0-444-50812-0 (vol. 2); 0-444-50813-9 (set); 0-262-18221-1 (vol. 1); 0-262-18222-X (vol. 2); 0-262-18223-8 (set)). 1635-1790 (2001).
MSC:  68Q60 03B44 68Q45
PDFBibTeX XMLCite

Modular verification for a class of PLTL properties. (English) Zbl 1043.68578

Grieskamp, Wolfgang (ed.) et al., Integrated formal methods. 2nd international conference, IFM 2000, Dagstuhl Castle, Germany, November 1–3, 2000. Proceedings. Berlin: Springer (ISBN 3-540-41196-8). Lect. Notes Comput. Sci. 1945, 398-419 (2000).
MSC:  68Q60 68Q45 68T40
PDFBibTeX XMLCite
Full Text: Link

A hybrid language for the analysis of aspectual and temporal phenomena in natural language. (English) Zbl 0998.03027

Gabbay, Dov M. (ed.) et al., Frontiers of combining systems 2. Selected papers from the 2nd international workshop (FroCoS’98), Amsterdam, Netherlands, October 2-4, 1998. Baldock: Research Studies Press. Stud. Log. Comput. 7, 231-253 (2000).
PDFBibTeX XMLCite

Structure theorems for closed sets of implicates/implicants in temporal logic. (English) Zbl 0961.03020

Barahona, Pedro (ed.) et al., Progress in artificial intelligence. 9th Portuguese conference on Artificial intelligence, EPIA ’99, Évora, Portugal, September 21-24, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1695, 193-207 (1999).
MSC:  03B44 03B35
PDFBibTeX XMLCite

A more complete TLA. (English) Zbl 0952.03016

Wing, Jeannette M. (ed.) et al., FM ’99. Formal methods. World congress on Formal methods in the development of computing systems. Toulouse, France, September 20–24, 1999. Proceedings. In 2 vols. Berlin: Springer (ISBN 3-540-66587-0/vol1; 3-540-66588-9/vol2). Lect. Notes Comput. Sci. 1708; 1709, 1226-1244 (1999).
MSC:  03B44 03B70
PDFBibTeX XMLCite

Formalizing a lazy substitution proof system for \(\mu\)-calculus in the calculus of inductive constructions. (English) Zbl 0939.03024

Wiedermann, Jiří (ed.) et al., Automata, languages and programming. 26th international colloquium, ICALP ‘99. Prague, Czech Republic, July 11-15, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1644, 554-564 (1999).
MSC:  03B44 03B35 68T15 68Q42
PDFBibTeX XMLCite

Using linear temporal logic to model and solve planning problems. (English) Zbl 0927.03049

Giunchiglia, Fausto (ed.), Artificial intelligence: methodology, systems, and applications. 8th international conference, AIMSA ’98. Sozopol, Bulgaria, September 21–23, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1480, 141-152 (1998).
PDFBibTeX XMLCite

Implicates and reduction techniques for temporal logics. (English) Zbl 0927.03034

Dix, Jürgen (ed.) et al., Logics in artificial intelligence. European workshop, JELIA ’98. Dagstuhl, Germany, October 12–15, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1489, 309-323 (1998).
MSC:  03B44 03B35 68T27
PDFBibTeX XMLCite

Bounded model search in linear temporal logic and its application to planning. (English) Zbl 0903.03016

de Swart, Harrie (ed.), Automated reasoning with analytic tableaux and related methods. International conference, TABLEAUX ’98, Oisterwijk, the Netherlands, May 5–8, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1397, 124-140 (1998).
MSC:  03B35 03B45 03B80
PDFBibTeX XMLCite

A tableau method for interval temporal logic with projection. (English) Zbl 0903.03014

de Swart, Harrie (ed.), Automated reasoning with analytic tableaux and related methods. International conference, TABLEAUX ’98, Oisterwijk, the Netherlands, May 5–8, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1397, 108-123 (1998).
MSC:  03B35 03B45 03B70
PDFBibTeX XMLCite

The completeness theorem for a temporal logic with probabilistic operators. (English) Zbl 1014.03509

Tošić, Ratko (ed.) et al., Proceedings of the VIII international conference on logic and computer science: theoretical foundations of computer science, Lira ’97, Novi Sad, Yugoslavia, September 1-4, 1997. Novi Sad: Univ. of Novi Sad, Faculty of Science, Institute of Mathematics, 177-181 (1997).
MSC:  03B48 03B44
PDFBibTeX XMLCite

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software