×

Found 106 Documents (Results 1–100)

Acts of commanding and promising in dynamified common sense term-sequence-deontic-alethic logic. (English) Zbl 1530.03085

Deng, Dun (ed.) et al., Dynamics in logic and language. Third Tsinghua interdisciplinary workshop on logic, language, and meaning, TLLM 2022, virtual event, April 1–4, 2022. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13524, 116-135 (2023).
MSC:  03B45 03B65
PDFBibTeX XMLCite
Full Text: DOI

The degree of decidable categoricity of a model with infinite solutions for complete formulas. (English. Russian original) Zbl 1515.03162

Algebra Logic 60, No. 3, 200-206 (2021); translation from Algebra Logika 60, No. 3, 303-312 (2021).
PDFBibTeX XMLCite
Full Text: DOI

Relative full completeness for bicategorical Cartesian closed structure. (English) Zbl 07250943

Goubault-Larrecq, Jean (ed.) et al., Foundations of software science and computation structures. 23rd international conference, FOSSACS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12077, 277-298 (2020).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI

Completeness of Hoare logic relative to the standard model. (English) Zbl 1444.03122

Steffen, Bernhard (ed.) et al., SOFSEM 2017: theory and practice of computer science. 43rd international conference on current trends in theory and practice of computer science, Limerick, Ireland, January 16–20, 2017, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10139, 119-131 (2017).
MSC:  03B70 03C62 03F30
PDFBibTeX XMLCite
Full Text: DOI arXiv

A sound and complete Hoare logic for dynamically-typed, object-oriented programs. (English) Zbl 1475.68085

Ábrahám, Erika (ed.) et al., Theory and practice of formal methods. Essays dedicated to Frank de Boer on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 9660, 173-193 (2016).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Pseudorandomness when the odds are against you. (English) Zbl 1380.68434

Raz, Ran (ed.), 31st conference on computational complexity, CCC’16, Tokyo, Japan, May 29 – June 1, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-008-8). LIPIcs – Leibniz International Proceedings in Informatics 50, Article 9, 35 p. (2016).
MSC:  68W20 68Q17 68Q25
PDFBibTeX XMLCite
Full Text: DOI

Index sets for \(n\)-decidable structures categorical relative to \(m\)-decidable presentations. (English. Russian original) Zbl 1375.03036

Algebra Logic 54, No. 4, 336-341 (2015); translation from Algebra Logika 54, No. 4, 520-528 (2015).
MSC:  03C57 03C35 03D45
PDFBibTeX XMLCite
Full Text: DOI

Small-size relative \((p,\epsilon)\)-approximations for well-behaved range spaces. (English) Zbl 1305.68337

Proceedings of the 29th annual symposium on computational geometry, SoCG 2013, Rio de Janeiro, Brazil, June 17–20, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2031-3). 233-242 (2013).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Automating relatively complete verification of higher-order functional programs. (English) Zbl 1301.68182

Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’13, Rome, Italy, January 23–25, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1832-7). 75-86 (2013).
MSC:  68Q60 68N18 68N30
PDFBibTeX XMLCite
Full Text: DOI Link

Geometric modelling techniques for the solution of certain Monge-Ampère equations. (English) Zbl 1320.53012

Janeczko, Stanislaw (ed.) et al., Advances in geometric analysis. Collected papers of the workshop on geometry in honour of Shing-Tung Yau’s 60th birthday, Warsaw, Poland, April 6–8, 2009. Somerville, MA: International Press; Beijing: Higher Education Press (ISBN 978-1-57146-248-0/pbk). Advanced Lectures in Mathematics (ALM) 21, 21-44 (2012).
PDFBibTeX XMLCite

On the completeness of dynamic logic. (English) Zbl 1234.03019

de Alfaro, Luca (ed.), Foundations of software science and computational structures. 12th international conference, FOSSACS 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-00595-4/pbk). Lecture Notes in Computer Science 5504, 78-91 (2009).
MSC:  03B70 68N30
PDFBibTeX XMLCite
Full Text: DOI

Geodesics in semi-Riemannian manifolds: geometric properties and variational tools. (English) Zbl 1204.53034

Alekseevsky, Dmitri V. (ed.) et al., Recent developments in pseudo-Riemannian geometry. Zürich: European Mathematical Society (ISBN 978-3-03719-051-7/pbk). ESI Lectures in Mathematics and Physics, 359-418 (2008).
MSC:  53C22 53C50
PDFBibTeX XMLCite
Full Text: arXiv

Analytic difference rings. (English) Zbl 1104.03029

Sanz-Solé, Marta (ed.) et al., Proceedings of the international congress of mathematicians (ICM), Madrid, Spain, August 22–30, 2006. Volume II: Invited lectures. Zürich: European Mathematical Society (EMS) (ISBN 978-3-03719-022-7/hbk). 71-92 (2006).
PDFBibTeX XMLCite

Some remarks on relative completeness with respect to two negations. (English) Zbl 1054.03503

Herceg, D. (ed.) et al., PRIM ’97. Proceedings of the XII conference on applied mathematics, Palić, Yugoslavia, September 8–12, 1997. Novi Sad: Univ. of Novi Sad, Faculty of Science, Institute of Mathematics. 27-32 (1998).
MSC:  03B50 03G99
PDFBibTeX XMLCite

Interpretability logic. (English) Zbl 0793.03064

Mathematical logic, Proc. Summer Sch. Conf. Ded. 90th Anniv. Arend Heyting, Chaika/Bulg. 1988, 175-209 (1990).
MSC:  03F25 03F30 03B45
PDFBibTeX XMLCite

Provability logics for relative interpretability. (English) Zbl 0794.03026

Mathematical logic, Proc. Summer Sch. Conf. Ded. 90th Anniv. Arend Heyting, Chaika/Bulg. 1988, 31-42 (1990).
Reviewer: G.Mints (Stanford)
MSC:  03B45 03F25
PDFBibTeX XMLCite

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software