×

zbMATH — the first resource for mathematics

Found 133 Documents (Results 1–100)

Hits per Page
100
Display Format
MathJax
Result Sorting
Newest 1st
Benzmüller, Christoph; Farjami, Ali; Parent, Xavier
A dyadic deontic logic in HOL. (English) Zbl 1418.03069
Broersen, Jan (ed.) et al., Deontic logic and normative systems. 14th international conference, DEON 2018, Utrecht, Netherlands, July 3–6, 2018. Proceedings. London: College Publications. 33-49 (2018).
MSC:  03B45 03B15 03B35
PDF BibTeX XML Cite
\textit{C. Benzmüller} et al., in: Deontic logic and normative systems. 14th international conference, DEON 2018, Utrecht, Netherlands, July 3--6, 2018. Proceedings. London: College Publications. 33--49 (2018; Zbl 1418.03069)
Gleißner, Tobias; Steen, Alexander; Benzmüller, Christoph
Theorem provers for every normal modal logic. (English) Zbl 1403.68225
Eiter, Thomas (ed.) et al., LPAR-21. 21st international conference on logic for programming, artificial intelligence and reasoning, Maun, Botswana, May 8–12, 2017. Selected papers. Manchester: EasyChair. EPiC Series in Computing 46, 14-30 (2017).
MSC:  68T15 03B35 03B45
PDF BibTeX XML Cite
\textit{T. Gleißner} et al., EPiC Ser. Comput. 46, 14--30 (2017; Zbl 1403.68225)
Full Text: DOI
Kobayashi, Naoki; Lozes, Étienne; Bruse, Florian
On the relationship between higher-order recursion schemes and higher-order fixpoint logic. (English) Zbl 1380.68277
Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 246-259 (2017).
MSC:  68Q60 03B70
PDF BibTeX XML Cite
\textit{N. Kobayashi} et al., in: Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL '17, Paris, France, January 15--21, 2017. New York, NY: Association for Computing Machinery (ACM). 246--259 (2017; Zbl 1380.68277)
Full Text: DOI
Enqvist, Sebastian; Seifan, Fatemeh; Venema, Yde
Monadic second-order logic and bisimulation invariance for coalgebras. (English) Zbl 1394.03083
Proceedings of the 2015 30th annual ACM/IEEE symposium on logic in computer science, LICS 2015, Kyoto, Japan, July 6–10, 2015. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4799-8875-4). 353-365 (2015).
MSC:  03G30 03B15 03B45 03B70 03D05
PDF BibTeX XML Cite
\textit{S. Enqvist} et al., in: Proceedings of the 2015 30th annual ACM/IEEE symposium on logic in computer science, LICS 2015, Kyoto, Japan, July 6--10, 2015. Los Alamitos, CA: IEEE Computer Society. 353--365 (2015; Zbl 1394.03083)
Full Text: DOI
Alama, Jesse; Oppenheimer, Paul E.; Zalta, Edward N.
Automating Leibniz’s theory of concepts. (English) Zbl 06515498
Felty, Amy P. (ed.) et al., Automated deduction – CADE-25. 25th international conference on automated deduction, Berlin, Germany, August 1–7, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-21400-9/pbk; 978-3-319-21401-6/ebook). Lecture Notes in Computer Science 9195. Lecture Notes in Artificial Intelligence, 73-97 (2015).
MSC:  03B35 68T15
PDF BibTeX XML Cite
\textit{J. Alama} et al., Lect. Notes Comput. Sci. 9195, 73--97 (2015; Zbl 06515498)
Full Text: DOI
Carreiro, Facundo; Facchini, Alessandro; Venema, Yde; Zanasi, Fabio
Weak MSO: automata and expressiveness modulo bisimilarity. (English) Zbl 1401.03065
Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 27, 10 p. (2014).
MSC:  03D05 03B15 03B45 68Q85
PDF BibTeX XML Cite
\textit{F. Carreiro} et al., in: Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14--18, 2014. Los Alamitos, CA: IEEE Computer Society. Paper No. 27, 10 p. (2014; Zbl 1401.03065)
Full Text: DOI
Blackburn, Patrick; Huertas, Antonia; Manzano, María; Jørgensen, Klaus Frovin
Henkin and hybrid logic. (English) Zbl 1336.03022
Manzano, María (ed.) et al., The life and work of Leon Henkin. Essays on his contributions. Cham: Birkhäuser/Springer (ISBN 978-3-319-09718-3/pbk; 978-3-319-09719-0/ebook). Studies in Universal Logic, 279-306 (2014).
MSC:  03B45
PDF BibTeX XML Cite
\textit{P. Blackburn} et al., in: The life and work of Leon Henkin. Essays on his contributions. Cham: Birkhäuser/Springer. 279--306 (2014; Zbl 1336.03022)
Full Text: DOI
Jäger, Gerhard
Modal fixed point logics. (English) Zbl 1214.03016
Esparza, Javier (ed.) et al., Logics and languages for reliability and security. Selected papers based on the presentations at the 30th international summer school, Marktoberdorf, Germany, August 4–16, 2009. Amsterdam: IOS Press (ISBN 978-1-60750-099-5/hbk; 978-1-60750-100-8/ebook). NATO Science for Peace and Security Series D: Information and Communication Security 25, 129-154 (2010).
MSC:  03B45 03B42 03B70 03F35 03F45
PDF BibTeX XML Cite
\textit{G. Jäger}, NATO Sci. Peace Secur. Ser. D, Inf. Commun. Secur. 25, 129--154 (2010; Zbl 1214.03016)
Full Text: DOI
Fontaine, Gaëlle; Place, Thomas
Frame definability for classes of trees in the \(\mu \)-calculus. (English) Zbl 1287.03045
Hliněný, Petr (ed.) et al., Mathematical foundations of computer science 2010. 35th international symposium, MFCS 2010, Brno, Czech Republic, August 23–27, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15154-5/pbk). Lecture Notes in Computer Science 6281, 381-392 (2010).
MSC:  03B45 03B15
PDF BibTeX XML Cite
\textit{G. Fontaine} and \textit{T. Place}, Lect. Notes Comput. Sci. 6281, 381--392 (2010; Zbl 1287.03045)
Full Text: DOI
Benzmüller, Christoph; Paulson, Lawrence C.
Exploring properties of normal multimodal logics in simple type theory with Leo-II. (English) Zbl 1227.03017
Benzmüller, Christoph (ed.) et al., Reasoning in simple type theory. Festschrift in honor of Peter B. Andrews on his 70th birthday. London: College Publications (ISBN 978-1-904987-70-3/pbk). Studies in Logic (London) 17. Mathematical Logic and Foundations, 401-421 (2008).
MSC:  03B35 03B15 03B45 68T15
PDF BibTeX XML Cite
\textit{C. Benzmüller} and \textit{L. C. Paulson}, in: Reasoning in simple type theory. Festschrift in honor of Peter B. Andrews on his 70th birthday. London: College Publications. 401--421 (2008; Zbl 1227.03017)
Gabbay, Dov M.; Schmidt, Renate A.; Szałas, Andrzej
Second-order quantifier elimination. Foundations, computational aspects and applications. (English) Zbl 1165.03011
Studies in Logic (London) 12. London: College Publications (ISBN 978-1-904987-56-7/pbk). viii, 308 p. (2008).
Reviewer: Nail Zamov (Kazan)
MSC:  03C10 03-02 03B15 03B35 03B45 03B70
PDF BibTeX XML Cite
\textit{D. M. Gabbay} et al., Second-order quantifier elimination. Foundations, computational aspects and applications. London: College Publications (2008; Zbl 1165.03011)
Brown, Frank M.
Decision procedures for the propositional cases of second order logic and Z modal logic representations of a first order \(L\)-predicate nonmonotonic logic. (English) Zbl 1274.68405
Cialdea Mayer, Marta (ed.) et al., Automated reasoning with analytic tableaux and related methods. International conference TABLEAUX 2003, Rome, Italy, September 9–12, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40787-1/pbk). Lect. Notes Comput. Sci. 2796, 237-245 (2003).
MSC:  68T15 03B35 03B15 03B45 03B60 68T27
PDF BibTeX XML Cite
\textit{F. M. Brown}, Lect. Notes Comput. Sci. 2796, 237--245 (2003; Zbl 1274.68405)
Full Text: DOI
Fairtlough, Matt; Mendler, Michael
On the logical content of computational type theory: A solution to Curry’s problem. (English) Zbl 1054.03027
Callaghan, Paul (ed.) et al., Types for proofs and programs. International workshop, TYPES 2000, Durham, GB, December 8–12, 2000. Selected papers. Berlin: Springer (ISBN 3-540-43287-6). Lect. Notes Comput. Sci. 2277, 63-78 (2002).
MSC:  03B70 03B45 03B20 03F35
PDF BibTeX XML Cite
\textit{M. Fairtlough} and \textit{M. Mendler}, Lect. Notes Comput. Sci. 2277, 63--78 (2002; Zbl 1054.03027)
Full Text: Link
Hellman, Geoffrey
Some ins and outs of indispensability: A modal-structural perspective. (English) Zbl 0946.03004
Cantini, Andrea (ed.) et al., Logic and foundations of mathematics. Selected contributed papers of the 10th international congress of logic, methodology and philosophy of science, Florence, August 19-25, 1995. Dordrecht: Kluwer Academic Publishers. Synth. Libr. 280, 25-39 (1999).
MSC:  03A05 00A30 03F35 03B45
PDF BibTeX XML Cite
\textit{G. Hellman}, Synth. Libr. 280, 25--39 (1999; Zbl 0946.03004)
Miculan, Marino
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
PDF BibTeX XML Cite
\textit{M. Miculan}, Lect. Notes Comput. Sci. 1644, 554--564 (1999; Zbl 0939.03024)
Reichenbach, Hans
Collected works. Vol. 6: Elements of symbolic logic. (Gesammelte Werke. Hrsg. von Andreas Kamlah und Maria Reichenbach. Band 6: Grundzüge der symbolischen Logik. Hrsg. unter Mitarbeit von Stephan H. A. Bayerl und Matthias Varga v. Kibéd. Aus dem Englischen übersetzt von Stephan H. A. Bayerl, Claudia Thomé und Matthias Varga von Kibéd. Mit einem Geleitwort zur deutschen Ausgabe von David Kaplan.) (German) Zbl 0940.03002
Wiesbaden: Vieweg. xxviii, 436 S. (1999).
Reviewer: H.C.M.de Swart (Tilburg)
MSC:  03-03 01A75 03B45 03A05 03B65 03-01 03B05 03-02 03B10
PDF BibTeX XML Cite
\textit{H. Reichenbach}, Gesammelte Werke. Hrsg. von Andreas Kamlah und Maria Reichenbach. Band 6: Grundzüge der symbolischen Logik. Hrsg. unter Mitarbeit von Stephan H. A. Bayerl und Matthias Varga v. Kibéd. Aus dem Englischen übersetzt von Stephan H. A. Bayerl, Claudia Thomé und Matthias Varga von Kibéd. Mit einem Geleitwort zur deutschen Ausgabe von David Kaplan. Wiesbaden: Vieweg (1999; Zbl 0940.03002)
van Benthem, Johan
Logic and the flow of information. (English) Zbl 0831.03011
Prawitz, D. (ed.) et al., Logic, methodology and philosophy of science IX. Proceedings of the ninth international congress of logic, methodology and philosophy of science, Uppsala, Sweden, August 7-14, 1991. Amsterdam: North-Holland. Stud. Logic Found. Math. 134, 693-724 (1994).
Reviewer: V.Shekhtman (Moskva)
MSC:  03B45 03B70 03G15 03B65 03B15
PDF BibTeX XML Cite
\textit{J. van Benthem}, Stud. Logic Found. Math. 134, 693--724 (1994; Zbl 0831.03011)
Bläsius, K. H. (ed.); Bürckert, H.-J. (ed.)
Deduction systems in artificial intelligence. 2., überarb. u. erw. Aufl. (Deduktionssysteme. Automatisierung des logischen Denkens.) (German) Zbl 0781.68002
München: Oldenbourg. VIII, 291 p. (1992).
Reviewer: F.J.van der Linden (Eindhoven)
MSC:  68-01 68T15 68T27 03B35
PDF BibTeX XML Cite
\textit{K. H. Bläsius} (ed.) and \textit{H. J. Bürckert} (ed.), Deduktionssysteme. Automatisierung des logischen Denkens. 2., überarb. u. erw. Aufl. München: Oldenbourg (1992; Zbl 0781.68002)
The relations between fundamental sequences of ordinal numbers and combinatorial principles. Proceedings of a symposium held at the Research Institute for Mathematical Sciences, Kyoto University, Kyoto, Japan, January 16-19, 1991. (Japanese, English) Zbl 0783.03001
RIMS Kôkyûroku. 771. Kyoto: Kyoto University, Research Institute for Mathematical Sciences, ii, 156 p. (1991).
MSC:  03-06 00B25 03F35 03F15 03D20 03F05 03B45
PDF BibTeX XML Cite
The relations between fundamental sequences of ordinal numbers and combinatorial principles. Proceedings of a symposium held at the Research Institute for Mathematical Sciences, Kyoto University, Kyoto, Japan, January 16-19, 1991 (Japanese). Kyoto: Kyoto University, Research Institute for Mathematical Sciences (1991; Zbl 0783.03001)
Bauer, Friedrich L. (ed.)
Logic, algebra, and computation. Proceedings, Marktoberdorf, FRG, July 25 - August 6, 1989. (English) Zbl 0745.68004
NATO ASI Series, F. 79. Berlin etc.: Springer-Verlag. VI, 485 p. (1991).
Reviewer: R.David (Chambéry)
MSC:  68-06 68Q65 03B70 68Q60 68T15 03B35 03B40 03B15 68Q10 68Q85 68N17 03B45
PDF BibTeX XML Cite
\textit{F. L. Bauer} (ed.), Logic, algebra, and computation. Proceedings, Marktoberdorf, FRG, July 25 - August 6, 1989. Berlin etc.: Springer-Verlag (1991; Zbl 0745.68004)
Birtwistle, Graham (ed.); Subrahmanyam, P. A. (ed.)
Current trends in hardware verification and automated theorem proving. Proceedings of a workshop, Banff, Canada, June 12-18, 1988. (English) Zbl 0728.68008
New York etc.: Springer-Verlag. VIII, 489 p. DM 88.00 (1989).
Reviewer: G.Curelet-Balan (Bucureşti)
MSC:  68-06 68T15 68Q60 68Q42 03B10 03B15 03B35 03B40 03B45 03B48
PDF BibTeX XML Cite
\textit{G. Birtwistle} (ed.) and \textit{P. A. Subrahmanyam} (ed.), Current trends in hardware verification and automated theorem proving. Proceedings of a workshop, Banff, Canada, June 12-18, 1988. New York etc.: Springer-Verlag (1989; Zbl 0728.68008)

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Serial
all top 5
Year of Publication
all top 3
Classification
all top 3
Software