×

Found 2,576 Documents (Results 1–100)

Solving modal logic problems by translation to higher-order logic. (English) Zbl 1528.68393

Herzig, Andreas (ed.) et al., Logic and argumentation. 5th international conference, CLAR 2023, Hangzhou, China, September 10–12, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14156, 25-43 (2023).
MSC:  68V15 03B45
PDFBibTeX XMLCite
Full Text: DOI arXiv

On the coprimeness relation from the viewpoint of monadic second-order logic. (English. Russian original) Zbl 07733645

Izv. Math. 86, No. 6, 1225-1239 (2022); translation from Izv. Ross. Akad. Nauk, Ser. Mat. 86, No. 6, 207-222 (2022).
MSC:  03F35 03D55 03D35
PDFBibTeX XMLCite
Full Text: DOI MNR

Formalization of functional block diagrams using HOL theorem proving. (English) Zbl 1528.68395

Lima, Lucas (ed.) et al., Formal methods: foundations and applications. 25th Brazilian symposium, SBMF 2022, virtual event, December 6–9, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13768, 22-35 (2022).
MSC:  68V20 68M15 90B25
PDFBibTeX XMLCite
Full Text: DOI

The limits to gossip: second-order shared knowledge of all secrets is unsatisfiable. (English) Zbl 07691326

Ciabattoni, Agata (ed.) et al., Logic, language, information, and computation. 28th international workshop, WoLLIC 2022, Iași, Romania, September 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13468, 237-249 (2022).
MSC:  03B70
PDFBibTeX XMLCite
Full Text: DOI

Isabelle/HOL/GST: a formal proof environment for generalized set theories. (English) Zbl 07691289

Buzzard, Kevin (ed.) et al., Intelligent computer mathematics. 15th international conference, CICM 2022, Tbilisi, Georgia, September 19–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13467, 38-55 (2022).
MSC:  68Vxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

On the formalization of the heat conduction problem in HOL. (English) Zbl 07691288

Buzzard, Kevin (ed.) et al., Intelligent computer mathematics. 15th international conference, CICM 2022, Tbilisi, Georgia, September 19–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13467, 21-37 (2022).
MSC:  68Vxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Computability. Randomness, reverse mathematics and hypercomputability. (Calculabilité. Aléatoire, mathématiques à rebours et hypercalculabilité.) (French) Zbl 1516.03001

Tableau Noir 107. Paris: Calvage et Mounet (ISBN 978-2-916352-96-1/hbk). xxii, 828 p. (2022).
PDFBibTeX XMLCite

Higher-order logic as a lingua franca for logico-pluralist argumentation. (English) Zbl 1509.68247

Liao, Beishui (ed.) et al., Logics for new-generation AI. Second international workshop, Zhuhai, China, June 10–12, 2022. London: College Publications. 83-94 (2022).
PDFBibTeX XMLCite

Who Finds the Short Proof? An Exploration of Variants of Boolos’ Curious Inference using Higher-order Automated Theorem Provers. arXiv:2208.06879

Preprint, arXiv:2208.06879 [math.LO] (2022).
BibTeX Cite
Full Text: DOI arXiv

Tuple interpretations for higher-order complexity. (English) Zbl 07700636

Kobayashi, Naoki (ed.), 6th international conference on formal structures for computation and deduction, FSCD 2021, Buenos Aires, Argentina, virtual conference, July 17–24, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 195, Article 31, 22 p. (2021).
MSC:  68-XX 03B70 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

A formal proof of modal completeness for provability logic. (English) Zbl 07699443

Cohen, Liron (ed.) et al., 12th international conference on interactive theorem proving, ITP 2021, Rome, Italy, virtual conference, June 29 – July 1, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 193, Article 26, 18 p. (2021).
MSC:  68V15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Value-oriented legal argumentation in Isabelle/HOL. (English) Zbl 07699424

Cohen, Liron (ed.) et al., 12th international conference on interactive theorem proving, ITP 2021, Rome, Italy, virtual conference, June 29 – July 1, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 193, Article 7, 20 p. (2021).
MSC:  68V15
PDFBibTeX XMLCite
Full Text: DOI

Handling support cycles and collective interactions in the logical encoding of higher-order bipolar argumentation frameworks. (English) Zbl 07671023

Baroni, Pietro (ed.) et al., Logic and argumentation. 4th international conference, CLAR 2021, Hangzhou, China, October 20–22, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13040, 244-265 (2021).
MSC:  03B70 68T27
PDFBibTeX XMLCite
Full Text: DOI

On Takeuti’s early view of the concept of set. (English) Zbl 07615251

Arai, Toshiyasu (ed.) et al., Advances in mathematical logic. Dedicated to the memory of Professor Gaisi Takeuti, SAML 2018. Selected, revised contributions based on the presentations at the symposium, Kobe, Japan, September 18–20, 2018. Singapore: Springer. Springer Proc. Math. Stat. 369, 99-131 (2021).
MSC:  03Bxx 03Exx 03Fxx
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software