×

Found 313 Documents (Results 1–100)

100
MathJax

Lorenzen and constructive mathematics. (English) Zbl 1490.03001

Heinzmann, Gerhard (ed.) et al., Paul Lorenzen – mathematician and logician. Contributions presented at the workshop, Konstanz, Germany, March 8–9, 2018. Cham: Springer. Log. Epistemol. Unity Sci. 51, 47-61 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Quantified reflection calculus with one modality. (English) Zbl 07585705

Olivetti, Nicola (ed.) et al., Advances in modal logic. Vol. 13. Proceedings of the 13th conference (AiML 2020), Helsinki, Finland, virtual conference, August 24–28, 2020. London: College Publications. 13-32 (2020).
MSC:  03B45
PDF BibTeX XML Cite

Hilbert’s tenth problem. An introduction to logic, number theory, and computability. (English) Zbl 1454.03003

Student Mathematical Library 88. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-4399-3/pbk; 978-1-4704-5261-2/ebook). xiii, 237 p. (2019).
PDF BibTeX XML Cite
Full Text: DOI

Truth-preserving operations on sums of Kripke frames. (English) Zbl 1418.03101

Bezhanishvili, Guram (ed.) et al., Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27–31, 2018. London: College Publications. 541-558 (2018).
MSC:  03B45 03F45
PDF BibTeX XML Cite

Relational semantics for the Turing Schmerl calculus. (English) Zbl 1418.03086

Bezhanishvili, Guram (ed.) et al., Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27–31, 2018. London: College Publications. 237-346 (2018).
MSC:  03B45 03F45
PDF BibTeX XML Cite
Full Text: arXiv

The worm calculus. (English) Zbl 1418.03076

Bezhanishvili, Guram (ed.) et al., Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27–31, 2018. London: College Publications. 13-27 (2018).
MSC:  03B45 03F45
PDF BibTeX XML Cite
Full Text: arXiv

Quasi-realization. (English) Zbl 1428.03047

Hansen, Helle Hvid (ed.) et al., Logic, language, and computation. 11th international Tbilisi symposium, TbiLLC 2015, Tbilisi, Georgia, September 21–26, 2015. Revised selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 10148, 313-332 (2017).
MSC:  03B45 03F45
PDF BibTeX XML Cite
Full Text: DOI

Epistemic Church’s thesis and absolute undecidability. (English) Zbl 1433.03105

Horsten, Leon (ed.) et al., Gödel’s disjunction. The scope and limits of mathematical knowledge. Oxford: Oxford University Press. 254-271 (2016).
PDF BibTeX XML Cite
Full Text: DOI

Verification logic: an arithmetical interpretation for negative introspection. (English) Zbl 1402.03085

Beklemishev, Lev (ed.) et al., Advances in modal logic. Vol. 11. Proceedings of the 11th conference (AiML 2016), Budapest, Hungary, August 30 – September 2, 2016. London: College Publications (ISBN 978-1-84890-201-5/pbk). 1-20 (2016).
MSC:  03F45 03B45 03F30
PDF BibTeX XML Cite

On elementary theories of ordinal notation systems based on reflection principles. (English. Russian original) Zbl 1373.03124

Proc. Steklov Inst. Math. 289, 194-212 (2015); translation from Tr. Mat. Inst. Steklova 289, 206-226 (2015).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Realization theorems for justification logics: full modularity. (English) Zbl 1471.03084

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, 221-236 (2015).
MSC:  03F45 03B45
PDF BibTeX XML Cite
Full Text: DOI

Alternative semantics for Visser’s propositional logics. (English) Zbl 1326.03017

Aher, Martin (ed.) et al., Logic, language, and computation. 10th international Tbilisi symposium on logic, language, and computation, TbiLLC 2013, Gudauri, Georgia, September 23–27, 2013. Revised selected papers. Berlin: Springer (ISBN 978-3-662-46905-7/pbk; 978-3-662-46906-4/ebook). Lecture Notes in Computer Science 8984, 257-275 (2015).
PDF BibTeX XML Cite
Full Text: DOI

Kripke models built from models of arithmetic. (English) Zbl 1326.03073

Aher, Martin (ed.) et al., Logic, language, and computation. 10th international Tbilisi symposium on logic, language, and computation, TbiLLC 2013, Gudauri, Georgia, September 23–27, 2013. Revised selected papers. Berlin: Springer (ISBN 978-3-662-46905-7/pbk; 978-3-662-46906-4/ebook). Lecture Notes in Computer Science 8984, 157-174 (2015).
MSC:  03F45 03B45 03C62
PDF BibTeX XML Cite
Full Text: DOI

Intuitionistic provability versus uniform provability in \(\mathsf{RCA}\). (English) Zbl 1461.03009

Beckmann, Arnold (ed.) et al., Evolving computability. 11th conference on computability in Europe, CiE 2015, Bucharest, Romania, June 29 – July 3, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9136, 186-195 (2015).
PDF BibTeX XML Cite
Full Text: DOI

Free algebras for Gödel-Löb provability logic. (English) Zbl 1385.03043

Goré, Rajeev (ed.) et al., Advances in modal logic. Vol. 10. Proceedings of the 10th conference (AiML 2014), Groningen, Netherlands, August 5–8, 2014. London: College Publications (ISBN 978-1-84890-151-3/pbk). 217-233 (2014).
MSC:  03F45 03G25 03B45
PDF BibTeX XML Cite

On absence of finite approximation relative to model completeness in the propositional provability logic. (English) Zbl 1329.03091

Choban, Mitrofan (ed.) et al., The third conference of the Mathematical Society of the Republic of Moldova dedicated to the 50th anniversary of the foundation of the Institute of Mathematics and Computer Science, ASM, Chişinău, Republic of Moldova, August 19–23, 2014. Abstracts. Chişinău: Academy of Sciences of Moldova, Institute of Mathematics and Computer Science (ISBN 978-9975-68-244-2/pbk). Proceedings IMCS-50, 98-101 (2014).
MSC:  03F45 03G25
PDF BibTeX XML Cite

The Henkin sentence. (English) Zbl 1347.03002

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, 249-263 (2014).
PDF BibTeX XML Cite
Full Text: DOI

Topological interpretations of provability logic. (English) Zbl 1352.03070

Bezhanishvili, Guram (ed.), Leo Esakia on duality in modal and intuitionistic logics. Dordrecht: Springer (ISBN 978-94-017-8859-5/hbk; 978-94-017-8860-1/ebook). Outstanding Contributions to Logic 4, 257-290 (2014).
PDF BibTeX XML Cite
Full Text: DOI arXiv Link

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

Biographic Reference

all top 3

Software