Wcisło, Bartosz Compositional truth with propositional tautologies and quantifier-free correctness. (English) Zbl 07790940 Arch. Math. Logic 63, No. 1-2, 239-257 (2024). MSC: 03H15 03C62 03F30 03A05 03B30 PDFBibTeX XMLCite \textit{B. Wcisło}, Arch. Math. Logic 63, No. 1--2, 239--257 (2024; Zbl 07790940) Full Text: DOI arXiv OA License
Attema, Thomas; Fehr, Serge; Klooß, Michael Fiat-Shamir transformation of multi-round interactive proofs (Extended version). (English) Zbl 1519.94040 J. Cryptology 36, No. 4, Paper No. 36, 45 p. (2023). MSC: 94A60 94A62 PDFBibTeX XMLCite \textit{T. Attema} et al., J. Cryptology 36, No. 4, Paper No. 36, 45 p. (2023; Zbl 1519.94040) Full Text: DOI
Lai, Russell W. F.; Malavolta, Giulio; Spooner, Nicholas Quantum rewinding for many-round protocols. (English) Zbl 1519.94152 Kiltz, Eike (ed.) et al., Theory of cryptography. 20th international conference, TCC 2022, Chicago, IL, USA, November 7–10, 2022. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 13747, 80-109 (2023). MSC: 94A60 81P94 PDFBibTeX XMLCite \textit{R. W. F. Lai} et al., Lect. Notes Comput. Sci. 13747, 80--109 (2023; Zbl 1519.94152) Full Text: DOI
Léchenet, Jean-Christophe; Kosmatov, Nikolai; Le Gall, Pascale Efficient computation of arbitrary control dependencies. (English) Zbl 07720775 Theor. Comput. Sci. 969, Article ID 114029, 20 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{J.-C. Léchenet} et al., Theor. Comput. Sci. 969, Article ID 114029, 20 p. (2023; Zbl 07720775) Full Text: DOI
From, Asta Halkjær; Schlichtkrull, Anders; Villadsen, Jørgen A sequent calculus for first-order logic formalized in Isabelle/HOL. (English) Zbl 07696225 J. Log. Comput. 33, No. 4, 818-836 (2023). MSC: 03-XX 68-XX PDFBibTeX XMLCite \textit{A. H. From} et al., J. Log. Comput. 33, No. 4, 818--836 (2023; Zbl 07696225) Full Text: DOI
Ghilezan, Silvia; Pantović, Jovanka; Prokić, Ivan; Scalas, Alceste; Yoshida, Nobuko Precise subtyping for asynchronous multiparty sessions. (English) Zbl 07672673 ACM Trans. Comput. Log. 24, No. 2, Paper No. 14, 73 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{S. Ghilezan} et al., ACM Trans. Comput. Log. 24, No. 2, Paper No. 14, 73 p. (2023; Zbl 07672673) Full Text: DOI arXiv
Baghery, Karim; Bardeh, Navid Ghaedi Updatable NIZKs from non-interactive zaps. (English) Zbl 1527.94018 Beresford, Alastair R. (ed.) et al., Cryptology and network security. 21st international conference, CANS 2022, Abu Dhabi, United Arab Emirates, November 13–16, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13641, 23-43 (2022). MSC: 94A60 PDFBibTeX XMLCite \textit{K. Baghery} and \textit{N. G. Bardeh}, Lect. Notes Comput. Sci. 13641, 23--43 (2022; Zbl 1527.94018) Full Text: DOI
Ganesh, Chaya; Khoshakhlagh, Hamidreza; Kohlweiss, Markulf; Nitulescu, Anca; Zając, Michał What makes Fiat-Shamir zkSNARKs (updatable SRS) simulation extractable? (English) Zbl 1518.94064 Galdi, Clemente (ed.) et al., Security and cryptography for networks. 13th International conference, SCN 2022, Amalfi (SA), Italy, September 12–14, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13409, 735-760 (2022). MSC: 94A60 94A62 PDFBibTeX XMLCite \textit{C. Ganesh} et al., Lect. Notes Comput. Sci. 13409, 735--760 (2022; Zbl 1518.94064) Full Text: DOI
Hoffmann, Charlotte; Hubáček, Pavel; Kamath, Chethan; Klein, Karen; Pietrzak, Krzysztof Practical statistically-sound proofs of exponentiation in any group. (English) Zbl 1517.94109 Dodis, Yevgeniy (ed.) et al., Advances in cryptology – CRYPTO 2022. 42nd annual international cryptology conference, CRYPTO 2022, Santa Barbara, CA, USA, August 15–18, 2022. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 13508, 370-399 (2022). MSC: 94A60 PDFBibTeX XMLCite \textit{C. Hoffmann} et al., Lect. Notes Comput. Sci. 13508, 370--399 (2022; Zbl 1517.94109) Full Text: DOI
Attema, Thomas; Fehr, Serge Parallel repetition of \((k_1,\dots ,k_{\mu }) \)-special-sound multi-round interactive proofs. (English) Zbl 07694626 Dodis, Yevgeniy (ed.) et al., Advances in cryptology – CRYPTO 2022. 42nd annual international cryptology conference, CRYPTO 2022, Santa Barbara, CA, USA, August 15–18, 2022. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 13507, 415-443 (2022). MSC: 68Txx PDFBibTeX XMLCite \textit{T. Attema} and \textit{S. Fehr}, Lect. Notes Comput. Sci. 13507, 415--443 (2022; Zbl 07694626) Full Text: DOI
Meng, Yiming; Liu, Jun Robustly complete finite-state abstractions for verification of stochastic systems. (English) Zbl 07643429 Bogomolov, Sergiy (ed.) et al., Formal modeling and analysis of timed systems. 20th international conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13465, 80-97 (2022). MSC: 68Qxx PDFBibTeX XMLCite \textit{Y. Meng} and \textit{J. Liu}, Lect. Notes Comput. Sci. 13465, 80--97 (2022; Zbl 07643429) Full Text: DOI arXiv
Wojciechowski, P.; Subramani, K. On the lengths of tree-like and dag-like cutting plane refutations of Horn constraint systems. Horn constraint systems and cutting plane refutations. (English) Zbl 1507.90102 Ann. Math. Artif. Intell. 90, No. 10, 979-998 (2022). MSC: 90C05 PDFBibTeX XMLCite \textit{P. Wojciechowski} and \textit{K. Subramani}, Ann. Math. Artif. Intell. 90, No. 10, 979--998 (2022; Zbl 1507.90102) Full Text: DOI
Jin, Zhao; Zhang, Bowen; Cao, Tianyue; Cao, Yongzhi; Wang, Hanpin Reasoning about block-based cloud storage systems via separation logic. (English) Zbl 07604601 Theor. Comput. Sci. 936, 43-76 (2022). MSC: 68Qxx PDFBibTeX XMLCite \textit{Z. Jin} et al., Theor. Comput. Sci. 936, 43--76 (2022; Zbl 07604601) Full Text: DOI
Assadi, Ziba; Salehi, Saeed Gödelian sentences, Rosserian sentences and truth. (English) Zbl 07589713 J. Log. Comput. 32, No. 4, 729-740 (2022). MSC: 03-XX 68-XX PDFBibTeX XMLCite \textit{Z. Assadi} and \textit{S. Salehi}, J. Log. Comput. 32, No. 4, 729--740 (2022; Zbl 07589713) Full Text: DOI
Libert, Benoît; Khoa Nguyen; Peters, Thomas; Yung, Moti One-shot Fiat-Shamir-based NIZK arguments of composite residuosity and logarithmic-size ring signatures in the standard model. (English) Zbl 1496.94057 Dunkelman, Orr (ed.) et al., Advances in cryptology – EUROCRYPT 2022. 41st annual international conference on the theory and applications of cryptographic techniques, Trondheim, Norway, May 30 – June 3, 2022. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 13276, 488-519 (2022). MSC: 94A60 94A62 68P25 PDFBibTeX XMLCite \textit{B. Libert} et al., Lect. Notes Comput. Sci. 13276, 488--519 (2022; Zbl 1496.94057) Full Text: DOI
Dinur, Irit; Harsha, Prahladh; Kaufman, Tali; Ron-Zewi, Noga From local to robust testing via agreement testing. (English) Zbl 07563814 Theory Comput. 18, Paper No. 12, 25 p. (2022). MSC: 68Qxx 68Q87 PDFBibTeX XMLCite \textit{I. Dinur} et al., Theory Comput. 18, Paper No. 12, 25 p. (2022; Zbl 07563814) Full Text: DOI
Deng, Yuxin; Feng, Yuan Formal semantics of a classical-quantum language. (English) Zbl 1483.68076 Theor. Comput. Sci. 913, 73-93 (2022). MSC: 68N30 03B70 68Q55 81P68 PDFBibTeX XMLCite \textit{Y. Deng} and \textit{Y. Feng}, Theor. Comput. Sci. 913, 73--93 (2022; Zbl 1483.68076) Full Text: DOI arXiv
Lipmaa, Helger; Pavlyk, Kateryna Gentry-Wichs is tight: a falsifiable non-adaptively sound SNARG. (English) Zbl 1514.94114 Tibouchi, Mehdi (ed.) et al., Advances in cryptology – ASIACRYPT 2021. 27th international conference on the theory and application of cryptology and information security, Singapore, December 6–10, 2021. Proceedings. Part III. Cham: Springer. Lect. Notes Comput. Sci. 13092, 34-64 (2021). MSC: 94A60 PDFBibTeX XMLCite \textit{H. Lipmaa} and \textit{K. Pavlyk}, Lect. Notes Comput. Sci. 13092, 34--64 (2021; Zbl 1514.94114) Full Text: DOI
Inoue, Takao A sound interpretation of Leśniewski’s epsilon in modal logic KTB. (English) Zbl 07682106 Bull. Sect. Log., Univ. Łódź, Dep. Log. 50, No. 4, 455-463 (2021). MSC: 03B45 PDFBibTeX XMLCite \textit{T. Inoue}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 50, No. 4, 455--463 (2021; Zbl 07682106) Full Text: DOI arXiv
Cousot, Patrick Dynamic interval analysis by abstract interpretation. (English) Zbl 1520.68027 Bartocci, Ezio (ed.) et al., Formal methods in outer space. Essays dedicated to Klaus Havelund on the occasion of his 65th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13065, 61-86 (2021). MSC: 68N30 65G30 PDFBibTeX XMLCite \textit{P. Cousot}, Lect. Notes Comput. Sci. 13065, 61--86 (2021; Zbl 1520.68027) Full Text: DOI
Tauman Kalai, Yael; Vaikuntanathan, Vinod; Zhang, Rachel Yun Somewhere statistical soundness, post-quantum security, and SNARGs. (English) Zbl 1509.94134 Nissim, Kobbi (ed.) et al., Theory of cryptography. 19th international conference, TCC 2021, Raleigh, NC, USA, November 8–11, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 13042, 330-368 (2021). MSC: 94A60 PDFBibTeX XMLCite \textit{Y. Tauman Kalai} et al., Lect. Notes Comput. Sci. 13042, 330--368 (2021; Zbl 1509.94134) Full Text: DOI
Jia, Kai; Rinard, Martin Exploiting verified neural networks via floating point numerical error. (English) Zbl 1497.68309 Drăgoi, Cezara (ed.) et al., Static analysis. 28th international symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12913, 191-205 (2021). MSC: 68Q60 65G50 68Q06 68T07 PDFBibTeX XMLCite \textit{K. Jia} and \textit{M. Rinard}, Lect. Notes Comput. Sci. 12913, 191--205 (2021; Zbl 1497.68309) Full Text: DOI arXiv
Marti, Johannes; Venema, Yde A focus system for the alternation-free \(\mu \)-calculus. (English) Zbl 07532527 Das, Anupam (ed.) et al., Automated reasoning with analytic tableaux and related methods. 30th international conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12842, 371-388 (2021). MSC: 68V15 PDFBibTeX XMLCite \textit{J. Marti} and \textit{Y. Venema}, Lect. Notes Comput. Sci. 12842, 371--388 (2021; Zbl 07532527) Full Text: DOI
Ghoshal, Ashrujit; Tessaro, Stefano Tight state-restoration soundness in the algebraic group model. (English) Zbl 1487.94116 Malkin, Tal (ed.) et al., Advances in cryptology – CRYPTO 2021. 41st annual international cryptology conference, CRYPTO 2021, virtual event, August 16–20, 2021. Proceedings. Part III. Cham: Springer. Lect. Notes Comput. Sci. 12827, 64-93 (2021). MSC: 94A60 PDFBibTeX XMLCite \textit{A. Ghoshal} and \textit{S. Tessaro}, Lect. Notes Comput. Sci. 12827, 64--93 (2021; Zbl 1487.94116) Full Text: DOI
From, Asta Halkjær; Eschen, Agnes Moesgård; Villadsen, Jørgen Formalizing axiomatic systems for propositional logic in Isabelle/HOL. (English) Zbl 1485.68292 Kamareddine, Fairouz (ed.) et al., Intelligent computer mathematics. 14th international conference, CICM 2021, Timisoara, Romania, July 26–31, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12833, 32-46 (2021). MSC: 68V20 03B05 03B20 PDFBibTeX XMLCite \textit{A. H. From} et al., Lect. Notes Comput. Sci. 12833, 32--46 (2021; Zbl 1485.68292) Full Text: DOI Link
Chia, Nai-Hui; Chung, Kai-Min; Yamakawa, Takashi A black-box approach to post-quantum zero-knowledge in constant rounds. (English) Zbl 1486.94089 Malkin, Tal (ed.) et al., Advances in cryptology – CRYPTO 2021. 41st annual international cryptology conference, CRYPTO 2021, virtual event, August 16–20, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12825, 315-345 (2021). Reviewer: Jaak Henno (Tallinn) MSC: 94A60 81P94 68P25 PDFBibTeX XMLCite \textit{N.-H. Chia} et al., Lect. Notes Comput. Sci. 12825, 315--345 (2021; Zbl 1486.94089) Full Text: DOI arXiv
Felli, Paolo; de Leoni, Massimiliano; Montali, Marco Soundness verification of data-aware process models with variable-to-variable conditions. (English) Zbl 1522.68314 Fundam. Inform. 182, No. 1, 1-29 (2021). MSC: 68Q60 68Q85 PDFBibTeX XMLCite \textit{P. Felli} et al., Fundam. Inform. 182, No. 1, 1--29 (2021; Zbl 1522.68314) Full Text: DOI
Fischlin, Marc; Rohrbach, Felix Single-to-multi-theorem transformations for non-interactive statistical zero-knowledge. (English) Zbl 1479.94170 Garay, Juan A. (ed.), Public-key cryptography – PKC 2021. 24th IACR international conference on practice and theory of public key cryptography, virtual event, May 10–13, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12711, 205-234 (2021). MSC: 94A60 PDFBibTeX XMLCite \textit{M. Fischlin} and \textit{F. Rohrbach}, Lect. Notes Comput. Sci. 12711, 205--234 (2021; Zbl 1479.94170) Full Text: DOI
Hodes, Harold T. One-step modal logics, intuitionistic and classical. II. (English) Zbl 1497.03040 J. Philos. Log. 50, No. 5, 873-910 (2021). Reviewer: Takao Inoue (Tokyo) MSC: 03B45 03B20 PDFBibTeX XMLCite \textit{H. T. Hodes}, J. Philos. Log. 50, No. 5, 873--910 (2021; Zbl 1497.03040) Full Text: DOI
Hodes, Harold T. One-step modal logics, intuitionistic and classical. I. (English) Zbl 1497.03039 J. Philos. Log. 50, No. 5, 837-872 (2021). Reviewer: Takao Inoue (Tokyo) MSC: 03B45 03B20 PDFBibTeX XMLCite \textit{H. T. Hodes}, J. Philos. Log. 50, No. 5, 837--872 (2021; Zbl 1497.03039) Full Text: DOI
Fjellstad, Andreas; Olsen, Jan-Fredrik \(\mathrm{IKT}^\omega\) and Łukasiewicz-models. (English) Zbl 07391974 Notre Dame J. Formal Logic 62, No. 2, 247-256 (2021). MSC: 03B50 03C75 PDFBibTeX XMLCite \textit{A. Fjellstad} and \textit{J.-F. Olsen}, Notre Dame J. Formal Logic 62, No. 2, 247--256 (2021; Zbl 07391974) Full Text: DOI arXiv
Corradini, Flavio; Morichetta, Andrea; Muzi, Chiara; Re, Barbara; Tiezzi, Francesco Well-structuredness, safeness and soundness: a formal classification of BPMN collaborations. (English) Zbl 1458.90393 J. Log. Algebr. Methods Program. 119, Article ID 100630, 41 p. (2021). MSC: 90B50 90B70 PDFBibTeX XMLCite \textit{F. Corradini} et al., J. Log. Algebr. Methods Program. 119, Article ID 100630, 41 p. (2021; Zbl 1458.90393) Full Text: DOI
Crafa, Silvia; Di Pirro, Matteo; Zucca, Elena Is Solidity solid enough? (English) Zbl 1520.91442 Bracciali, Andrea (ed.) et al., Financial cryptography and data security. FC 2019 international workshops, VOTING and WTSC, St. Kitts, St. Kitts and Nevis, February 18–22, 2019, Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11599, 138-153 (2020). MSC: 91G99 94A60 91-04 PDFBibTeX XMLCite \textit{S. Crafa} et al., Lect. Notes Comput. Sci. 11599, 138--153 (2020; Zbl 1520.91442) Full Text: DOI
Libert, Benoît; Khoa Nguyen; Passelègue, Alain; Titiu, Radu Simulation-sound arguments for LWE and applications to KDM-CCA2 security. (English) Zbl 1511.94127 Moriai, Shiho (ed.) et al., Advances in cryptology – ASIACRYPT 2020. 26th international conference on the theory and application of cryptology and information security, Daejeon, South Korea, December 7–11, 2020. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12491, 128-158 (2020). MSC: 94A60 PDFBibTeX XMLCite \textit{B. Libert} et al., Lect. Notes Comput. Sci. 12491, 128--158 (2020; Zbl 1511.94127) Full Text: DOI
Markin, Vladimir Il’ich Syllogistic as the logic of all relations between two non-empty sets. (Russian. English summary) Zbl 1509.03017 Log. Issled. 26, No. 2, 39-57 (2020). MSC: 03A05 03B05 03B10 PDFBibTeX XMLCite \textit{V. I. Markin}, Log. Issled. 26, No. 2, 39--57 (2020; Zbl 1509.03017) Full Text: DOI
From, Asta Halkjær; Blackburn, Patrick; Villadsen, Jørgen Formalizing a Seligman-style tableau system for hybrid logic (short paper). (English) Zbl 07614529 Peltier, Nicolas (ed.) et al., Automated reasoning. 10th international joint conference, IJCAR 2020, Paris, France, July 1–4, 2020. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12166, 474-481 (2020). MSC: 68V15 PDFBibTeX XMLCite \textit{A. H. From} et al., Lect. Notes Comput. Sci. 12166, 474--481 (2020; Zbl 07614529) Full Text: DOI
Liu, Guanjun PSPACE-completeness of the soundness problem of safe asymmetric-choice workflow nets. (English) Zbl 1503.68195 Janicki, Ryszard (ed.) et al., Application and theory of Petri nets and concurrency. 41st international conference, PETRI NETS 2020, Paris, France, June 24–25, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12152, 196-216 (2020). MSC: 68Q85 68Q17 PDFBibTeX XMLCite \textit{G. Liu}, Lect. Notes Comput. Sci. 12152, 196--216 (2020; Zbl 1503.68195) Full Text: DOI
Liu, Xinxin; Yu, Tingting Canonical solutions to recursive equations and completeness of equational axiomatisations. (English) Zbl 07559491 Konnov, Igor (ed.) et al., 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 35, 17 p. (2020). MSC: 68Q85 PDFBibTeX XMLCite \textit{X. Liu} and \textit{T. Yu}, LIPIcs -- Leibniz Int. Proc. Inform. 171, Article 35, 17 p. (2020; Zbl 07559491) Full Text: DOI
Welch, John R. Credence for conclusions: a brief for Jeffrey’s rule. (English) Zbl 1475.62081 Synthese 197, No. 5, 2051-2072 (2020). MSC: 62A01 60A05 62C10 PDFBibTeX XMLCite \textit{J. R. Welch}, Synthese 197, No. 5, 2051--2072 (2020; Zbl 1475.62081) Full Text: DOI
Sotoudeh, Matthew; Thakur, Aditya V. Abstract neural networks. (English) Zbl 1474.68193 Pichardie, David (ed.) et al., Static analysis. 27th international symposium, SAS 2020, virtual event, November 18–20, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12389, 65-88 (2020). MSC: 68Q60 68Q06 68T07 PDFBibTeX XMLCite \textit{M. Sotoudeh} and \textit{A. V. Thakur}, Lect. Notes Comput. Sci. 12389, 65--88 (2020; Zbl 1474.68193) Full Text: DOI arXiv
Kashima, Ryo; Matsuda, Naosuke; Yuyama, Takao Term-space semantics of typed lambda calculus. (English) Zbl 1486.03032 Notre Dame J. Formal Logic 61, No. 4, 591-600 (2020). MSC: 03B40 PDFBibTeX XMLCite \textit{R. Kashima} et al., Notre Dame J. Formal Logic 61, No. 4, 591--600 (2020; Zbl 1486.03032) Full Text: DOI
Sakai, Hiroshi; Nakata, Michinori; Watada, Junzo NIS-apriori-based rule generation with three-way decisions and its application system in SQL. (English) Zbl 1456.68201 Inf. Sci. 507, 755-771 (2020). MSC: 68T37 68P15 PDFBibTeX XMLCite \textit{H. Sakai} et al., Inf. Sci. 507, 755--771 (2020; Zbl 1456.68201) Full Text: DOI
Andrade Guzmán, Jesús Mauricio; Hernández Quiroz, Francisco Natural deduction and semantic models of justification logic in the proof assistant Coq. (English) Zbl 1477.03032 Log. J. IGPL 28, No. 6, 1077-1092 (2020). MSC: 03B35 03B42 03B45 68V15 PDFBibTeX XMLCite \textit{J. M. Andrade Guzmán} and \textit{F. Hernández Quiroz}, Log. J. IGPL 28, No. 6, 1077--1092 (2020; Zbl 1477.03032) Full Text: DOI
Niki, Satoru; Schuster, Peter On Scott’s semantics for many-valued logic. (English) Zbl 07285869 J. Log. Comput. 30, No. 6, 1291-1302 (2020). MSC: 03-XX 68-XX PDFBibTeX XMLCite \textit{S. Niki} and \textit{P. Schuster}, J. Log. Comput. 30, No. 6, 1291--1302 (2020; Zbl 07285869) Full Text: DOI
Dagnino, Francesco; Ancona, Davide; Zucca, Elena Flexible coinductive logic programming. (English) Zbl 1468.68054 Theory Pract. Log. Program. 20, No. 6, 818-833 (2020). MSC: 68N17 68Q55 PDFBibTeX XMLCite \textit{F. Dagnino} et al., Theory Pract. Log. Program. 20, No. 6, 818--833 (2020; Zbl 1468.68054) Full Text: DOI arXiv
Djordjević, Radosav; Ikodinović, Nebojša; Stojanović, Nenad A propositional metric logic with fixed finite ranges. (English) Zbl 1496.03115 Fundam. Inform. 174, No. 2, 185-199 (2020). MSC: 03B60 PDFBibTeX XMLCite \textit{R. Djordjević} et al., Fundam. Inform. 174, No. 2, 185--199 (2020; Zbl 1496.03115) Full Text: DOI
Ghilezan, Silvia; Ivetić, Jelena; Kašterović, Simona; Ognjanović, Zoran; Savić, Nenad Towards probabilistic reasoning in type theory – the intersection type case. (English) Zbl 07266049 Herzig, Andreas (ed.) et al., Foundations of information and knowledge systems. 11th international symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12012, 122-139 (2020). MSC: 68P15 68T27 68T35 68U35 PDFBibTeX XMLCite \textit{S. Ghilezan} et al., Lect. Notes Comput. Sci. 12012, 122--139 (2020; Zbl 07266049) Full Text: DOI
Cohen, Liron; Rowe, Reuben N. S. Non-well-founded proof theory of transitive closure logic. (English) Zbl 1446.03031 ACM Trans. Comput. Log. 21, No. 4, Article No. 31, 31 p. (2020). MSC: 03B35 03B70 03B60 03F03 03F07 PDFBibTeX XMLCite \textit{L. Cohen} and \textit{R. N. S. Rowe}, ACM Trans. Comput. Log. 21, No. 4, Article No. 31, 31 p. (2020; Zbl 1446.03031) Full Text: DOI
Abrahamsson, Oskar A verified proof checker for higher-order logic. (English) Zbl 1433.68527 J. Log. Algebr. Methods Program. 112, Article ID 100530, 19 p. (2020). MSC: 68V15 03B16 PDFBibTeX XMLCite \textit{O. Abrahamsson}, J. Log. Algebr. Methods Program. 112, Article ID 100530, 19 p. (2020; Zbl 1433.68527) Full Text: DOI
Ikodinović, Nebojša; Ognjanović, Zoran; Perović, Aleksandar; Rašković, Miodrag Completeness theorems for \(\sigma \)-additive probabilistic semantics. (English) Zbl 1452.03064 Ann. Pure Appl. Logic 171, No. 4, Article ID 102755, 27 p. (2020). Reviewer: Jürgen Landes (München) MSC: 03B48 03B42 03C10 PDFBibTeX XMLCite \textit{N. Ikodinović} et al., Ann. Pure Appl. Logic 171, No. 4, Article ID 102755, 27 p. (2020; Zbl 1452.03064) Full Text: DOI
Bana, Gergei; Chadha, Rohit; Eeralla, Ajay Kumar; Okada, Mitsuhiro Verification methods for the computationally complete symbolic attacker based on indistinguishability. (English) Zbl 1433.68075 ACM Trans. Comput. Log. 21, No. 1, Article No. 2, 44 p. (2020). MSC: 68M25 94A60 PDFBibTeX XMLCite \textit{G. Bana} et al., ACM Trans. Comput. Log. 21, No. 1, Article No. 2, 44 p. (2020; Zbl 1433.68075) Full Text: DOI
Harsha, Prahladh; Khot, Subhash; Lee, Euiwoong; Thiruvenkatachari, Devanathan Improved 3LIN hardness via linear label cover. (English) Zbl 07650076 Achlioptas, Dimitris (ed.) et al., Approximation, randomization, and combinatorial optimization. Algorithms and techniques, 22nd international conference, APPROX 2019, and 23rd international conference, RANDOM 2019, Massachusetts Institute of Technology, Cambridge, MA, USA, September 20–22, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 145, Article 9, 16 p. (2019). MSC: 68W20 68W25 90C27 PDFBibTeX XMLCite \textit{P. Harsha} et al., LIPIcs -- Leibniz Int. Proc. Inform. 145, Article 9, 16 p. (2019; Zbl 07650076) Full Text: DOI
Savi\c, Nenad; Studer, Thomas Relevant justification logic. (English) Zbl 1513.03035 J. Appl. Log. - IfCoLog J. Log. Appl. 6, No. 2, 395-410 (2019). MSC: 03B42 03B47 PDFBibTeX XMLCite \textit{N. Savi\c} and \textit{T. Studer}, J. Appl. Log. - IfCoLog J. Log. Appl. 6, No. 2, 395--410 (2019; Zbl 1513.03035)
Nikitchenko, Mykola; Shkilniak, Oksana; Shkilniak, Stepan; Mamedov, Tohrul Completeness of the first-order logic of partial quasiary predicates with the complement composition. (English) Zbl 1446.03066 Comput. Sci. J. Mold. 27, No. 2(80), 162-187 (2019). MSC: 03B70 03B10 PDFBibTeX XMLCite \textit{M. Nikitchenko} et al., Comput. Sci. J. Mold. 27, No. 2(80), 162--187 (2019; Zbl 1446.03066) Full Text: Link
Witczak, Tomasz Topological and multi-topological frames in the context of intuitionistic modal logic. (English) Zbl 1446.03044 Bull. Sect. Log., Univ. Łódź, Dep. Log. 48, No. 3, 187-205 (2019). MSC: 03B45 03B20 54A10 PDFBibTeX XMLCite \textit{T. Witczak}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 48, No. 3, 187--205 (2019; Zbl 1446.03044) Full Text: DOI
Shapiro, Stewart Inconsistency and incompleteness, revisited. (English) Zbl 1469.03027 Başkent, Can (ed.) et al., Graham Priest on dialetheism and paraconsistency. Cham: Springer. Outst. Contrib. Log. 18, 469-479 (2019). MSC: 03A05 03B53 03F40 PDFBibTeX XMLCite \textit{S. Shapiro}, Outst. Contrib. Log. 18, 469--479 (2019; Zbl 1469.03027) Full Text: DOI
Abe, Masayuki; Jutla, Charanjit S.; Ohkubo, Miyako; Pan, Jiaxin; Roy, Arnab; Wang, Yuyu Shorter QA-NIZK and SPS with tighter security. (English) Zbl 1456.94040 Galbraith, Steven D. (ed.) et al., Advances in cryptology – ASIACRYPT 2019. 25th international conference on the theory and application of cryptology and information security, Kobe, Japan, December 8–12, 2019. Proceedings. Part III. Cham: Springer. Lect. Notes Comput. Sci. 11923, 669-699 (2019). MSC: 94A60 PDFBibTeX XMLCite \textit{M. Abe} et al., Lect. Notes Comput. Sci. 11923, 669--699 (2019; Zbl 1456.94040) Full Text: DOI Link
Zhao, Liang; Wang, Xiaobing; Shu, Xinfeng; Zhang, Nan A proof system for a unified temporal logic. (English) Zbl 1497.03036 Du, Ding-Zhu (ed.) et al., Computing and combinatorics. 25th international conference, COCOON 2019, Xi’an, China, July 29–31, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11653, 663-676 (2019). MSC: 03B44 03B35 68V15 PDFBibTeX XMLCite \textit{L. Zhao} et al., Lect. Notes Comput. Sci. 11653, 663--676 (2019; Zbl 1497.03036) Full Text: DOI
Micciancio, Daniele Symbolic encryption with pseudorandom keys. (English) Zbl 1509.94124 Ishai, Yuval (ed.) et al., Advances in cryptology – EUROCRYPT 2019. 38th annual international conference on the theory and applications of cryptographic techniques, Darmstadt, Germany, May 19–23, 2019. Proceedings. Part III. Cham: Springer. Lect. Notes Comput. Sci. 11478, 64-93 (2019). MSC: 94A60 PDFBibTeX XMLCite \textit{D. Micciancio}, Lect. Notes Comput. Sci. 11478, 64--93 (2019; Zbl 1509.94124) Full Text: DOI
Downen, Paul; Ariola, Zena M.; Ghilezan, Silvia The duality of classical intersection and union types. (English) Zbl 1446.03034 Fundam. Inform. 170, No. 1-3, 39-92 (2019). MSC: 03B40 68N18 PDFBibTeX XMLCite \textit{P. Downen} et al., Fundam. Inform. 170, No. 1--3, 39--92 (2019; Zbl 1446.03034) Full Text: DOI
Bisquert, Pierre; Dupin de Saint-Cyr, Florence; Besnard, Philippe Assessing arguments with schemes and fallacies. (English) Zbl 1522.68522 Balduccini, Marcello (ed.) et al., Logic programming and nonmonotonic reasoning. 15th international conference, LPNMR 2019, Philadelphia, PA, USA, June 3–7, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11481, 61-74 (2019). MSC: 68T27 PDFBibTeX XMLCite \textit{P. Bisquert} et al., Lect. Notes Comput. Sci. 11481, 61--74 (2019; Zbl 1522.68522) Full Text: DOI Link
Bernot, G.; Comet, J.-P.; Khalis, Z.; Richard, A.; Roux, O. A genetically modified Hoare logic. (English) Zbl 1423.68163 Theor. Comput. Sci. 765, 145-157 (2019). MSC: 68Q05 03B70 92C42 PDFBibTeX XMLCite \textit{G. Bernot} et al., Theor. Comput. Sci. 765, 145--157 (2019; Zbl 1423.68163) Full Text: DOI arXiv
Han, Shuai; Liu, Shengli; Lyu, Lin QANIZK for adversary-dependent languages and their applications. (English) Zbl 1455.94164 Theor. Comput. Sci. 779, 47-71 (2019). MSC: 94A60 94A62 68Q45 68P25 PDFBibTeX XMLCite \textit{S. Han} et al., Theor. Comput. Sci. 779, 47--71 (2019; Zbl 1455.94164) Full Text: DOI
Audrito, Giorgio; Viroli, Mirko; Damiani, Ferruccio; Pianini, Danilo; Beal, Jacob A higher-order calculus of computational fields. (English) Zbl 1407.68326 ACM Trans. Comput. Log. 20, No. 1, Article No. 5, 55 p. (2019). MSC: 68Q85 PDFBibTeX XMLCite \textit{G. Audrito} et al., ACM Trans. Comput. Log. 20, No. 1, Article No. 5, 55 p. (2019; Zbl 1407.68326) Full Text: DOI arXiv
Boričić, Marija Sequent calculus for classical logic probabilized. (English) Zbl 1446.03047 Arch. Math. Logic 58, No. 1-2, 119-136 (2019). Reviewer: Yaroslav Shramko (Kryvyi Rih) MSC: 03B48 03B50 03F03 PDFBibTeX XMLCite \textit{M. Boričić}, Arch. Math. Logic 58, No. 1--2, 119--136 (2019; Zbl 1446.03047) Full Text: DOI
Stojanović, Nenad; Ikodinović, Nebojša; Djordjević, Radosav A propositional logic with binary metric operators. (English) Zbl 1513.03066 J. Appl. Log. - IfCoLog J. Log. Appl. 5, No. 8, 1605-1622 (2018). MSC: 03B60 PDFBibTeX XMLCite \textit{N. Stojanović} et al., J. Appl. Log. - IfCoLog J. Log. Appl. 5, No. 8, 1605--1622 (2018; Zbl 1513.03066)
Chao, Conden; Seraji, Payam Gödel’s second incompleteness theorem for \(\Sigma_n\)-definable theories. (English) Zbl 1492.03019 Log. J. IGPL 26, No. 2, 255-257 (2018). MSC: 03F40 03F30 PDFBibTeX XMLCite \textit{C. Chao} and \textit{P. Seraji}, Log. J. IGPL 26, No. 2, 255--257 (2018; Zbl 1492.03019) Full Text: DOI
Cohen, Liron; Rowe, Reuben N. S. Uniform inductive reasoning in transitive closure logic via infinite descent. (English) Zbl 1528.03186 Ghica, Dan R. (ed.) et al., 27th EACSL annual conference on computer science logic, CSL 2018, Birmingham, United Kingdom, September 4–8, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 119, Article 17, 16 p. (2018). MSC: 03D70 03F03 03F05 03F30 03B35 PDFBibTeX XMLCite \textit{L. Cohen} and \textit{R. N. S. Rowe}, LIPIcs -- Leibniz Int. Proc. Inform. 119, Article 17, 16 p. (2018; Zbl 1528.03186) Full Text: DOI
Jensen, Alexander Birch; Larsen, John Bruntse; Schlichtkrull, Anders; Villadsen, Jørgen Programming and verifying a declarative first-order prover in Isabelle/HOL. (English) Zbl 1462.68214 AI Commun. 31, No. 3, 281-299 (2018). MSC: 68V15 68N18 PDFBibTeX XMLCite \textit{A. B. Jensen} et al., AI Commun. 31, No. 3, 281--299 (2018; Zbl 1462.68214) Full Text: DOI
Frittaion, Emanuele; Pelupessy, Florian; Steila, Silvia; Yokoyama, Keita The strength of SCT soundness. (English) Zbl 1445.03009 J. Log. Comput. 28, No. 6, 1217-1242 (2018). MSC: 03B30 03F35 05D10 PDFBibTeX XMLCite \textit{E. Frittaion} et al., J. Log. Comput. 28, No. 6, 1217--1242 (2018; Zbl 1445.03009) Full Text: DOI arXiv
Deng, Shaobo; Guan, Sujie; Li, Min; Wang, Lei; Sui, Yuefei Decomposition for a new kind of imprecise information system. (English) Zbl 1405.68432 Front. Comput. Sci. 12, No. 2, 376-395 (2018). MSC: 68U35 PDFBibTeX XMLCite \textit{S. Deng} et al., Front. Comput. Sci. 12, No. 2, 376--395 (2018; Zbl 1405.68432) Full Text: DOI
Abe, Masayuki; Jutla, Charanjit S.; Ohkubo, Miyako; Roy, Arnab Improved (almost) tightly-secure simulation-sound QA-NIZK with applications. (English) Zbl 1446.94093 Peyrin, Thomas (ed.) et al., Advances in cryptology – ASIACRYPT 2018. 24th international conference on the theory and application of cryptology and information security, Brisbane, QLD, Australia, December 2–6, 2018. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 11272, 627-656 (2018). MSC: 94A60 PDFBibTeX XMLCite \textit{M. Abe} et al., Lect. Notes Comput. Sci. 11272, 627--656 (2018; Zbl 1446.94093) Full Text: DOI
Docherty, Simon; Pym, David Intuitionistic layered graph logic: semantics and proof theory. (English) Zbl 1454.03030 Log. Methods Comput. Sci. 14, No. 4, Paper No. 11, 36 p. (2018). MSC: 03B47 03B20 03F03 PDFBibTeX XMLCite \textit{S. Docherty} and \textit{D. Pym}, Log. Methods Comput. Sci. 14, No. 4, Paper No. 11, 36 p. (2018; Zbl 1454.03030) Full Text: DOI arXiv
Safari, Parvin; Salehi, Saeed Kripke semantics for fuzzy logics. (English) Zbl 1398.03131 Soft Comput. 22, No. 3, 839-844 (2018). MSC: 03B52 PDFBibTeX XMLCite \textit{P. Safari} and \textit{S. Salehi}, Soft Comput. 22, No. 3, 839--844 (2018; Zbl 1398.03131) Full Text: DOI arXiv
Schlichtkrull, Anders Formalization of the resolution calculus for first-order logic. (English) Zbl 1451.03019 J. Autom. Reasoning 61, No. 1-4, 455-484 (2018). MSC: 03B35 68V15 PDFBibTeX XMLCite \textit{A. Schlichtkrull}, J. Autom. Reasoning 61, No. 1--4, 455--484 (2018; Zbl 1451.03019) Full Text: DOI Link
Hashimoto, Atsushi; Nagao, Atsuki; Okuda, Satoru Topological graph description of multicellular dynamics based on vertex model. (English) Zbl 1394.92032 J. Theor. Biol. 437, 187-201 (2018). MSC: 92C37 92C42 05C90 PDFBibTeX XMLCite \textit{A. Hashimoto} et al., J. Theor. Biol. 437, 187--201 (2018; Zbl 1394.92032) Full Text: DOI
Ghilezan, Silvia; Ivetić, Jelena; Kašterović, Simona; Ognjanović, Zoran; Savić, Nenad Probabilistic reasoning about simply typed lambda terms. (English) Zbl 1505.03035 Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10703, 170-189 (2018). MSC: 03B40 PDFBibTeX XMLCite \textit{S. Ghilezan} et al., Lect. Notes Comput. Sci. 10703, 170--189 (2018; Zbl 1505.03035) Full Text: DOI
Esparza, Javier; Kuperberg, Denis; Muscholl, Anca; Walukiewicz, Igor Soundness in negotiations. (English) Zbl 1459.68141 Log. Methods Comput. Sci. 14, No. 1, Paper No. 4, 29 p. (2018). MSC: 68Q85 68Q10 68Q25 PDFBibTeX XMLCite \textit{J. Esparza} et al., Log. Methods Comput. Sci. 14, No. 1, Paper No. 4, 29 p. (2018; Zbl 1459.68141) Full Text: DOI arXiv
Owe, Olaf; Ramezanifarkhani, Toktam; Fazeldehkordi, Elahe Hoare-style reasoning from multiple contracts. (English) Zbl 1498.68168 Polikarpova, Nadia (ed.) et al., Integrated formal methods. 13th international conference, IFM 2017, Turin, Italy, September 20–22, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10510, 263-278 (2017). MSC: 68Q60 03B70 68N30 PDFBibTeX XMLCite \textit{O. Owe} et al., Lect. Notes Comput. Sci. 10510, 263--278 (2017; Zbl 1498.68168) Full Text: DOI
Lipmaa, Helger Optimally sound sigma protocols under DCRA. (English) Zbl 1460.94053 Kiayias, Aggelos (ed.), Financial cryptography and data security. 21st international conference, FC 2017, Sliema, Malta, April 3–7, 2017. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10322, 182-203 (2017). MSC: 94A60 68P25 PDFBibTeX XMLCite \textit{H. Lipmaa}, Lect. Notes Comput. Sci. 10322, 182--203 (2017; Zbl 1460.94053) Full Text: DOI
Li, Wei; Sui, Yuefei The \(\mathbf{B}_4\)-valued propositional logic with unary logical connectives \(\sim_1/\sim_2/\neg\). (English) Zbl 1404.03022 Front. Comput. Sci. 11, No. 5, 887-894 (2017). MSC: 03B50 PDFBibTeX XMLCite \textit{W. Li} and \textit{Y. Sui}, Front. Comput. Sci. 11, No. 5, 887--894 (2017; Zbl 1404.03022) Full Text: DOI
Jouannaud, Jean-Pierre; Strub, Pierre-Yves Coq without type casts: a complete proof of Coq Modulo Theory. (English) Zbl 1403.68227 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, 474-489 (2017). MSC: 68T15 PDFBibTeX XMLCite \textit{J.-P. Jouannaud} and \textit{P.-Y. Strub}, EPiC Ser. Comput. 46, 474--489 (2017; Zbl 1403.68227) Full Text: DOI
Alaqeeli, Omar; Wadge, William The monadic hybrid calculus. (English) Zbl 1398.03083 J. Appl. Non-Class. Log. 27, No. 1-2, 33-49 (2017). MSC: 03B45 03B10 03B60 PDFBibTeX XMLCite \textit{O. Alaqeeli} and \textit{W. Wadge}, J. Appl. Non-Class. Log. 27, No. 1--2, 33--49 (2017; Zbl 1398.03083) Full Text: DOI
Herberlin, Hugo; Kim, Sun Young; Lee, Gyesik Formalizing the meta-theory of first-order predicate logic. (English) Zbl 1521.03024 J. Korean Math. Soc. 54, No. 5, 1521-1536 (2017). MSC: 03B35 03B10 03F03 03F05 PDFBibTeX XMLCite \textit{H. Herberlin} et al., J. Korean Math. Soc. 54, No. 5, 1521--1536 (2017; Zbl 1521.03024) Full Text: DOI
Amin, Nada; Rompf, Tiark Type soundness proofs with definitional interpreters. (English) Zbl 1380.68111 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). 666-679 (2017). MSC: 68N30 03B70 68T15 PDFBibTeX XMLCite \textit{N. Amin} and \textit{T. Rompf}, 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). 666--679 (2017; Zbl 1380.68111) Full Text: DOI
Nikitchenko, Mykola; Skilniak, Stepan Algebras and logics of partial quasiary predicates. (English) Zbl 1431.03079 Algebra Discrete Math. 23, No. 2, 263-278 (2017). MSC: 03G25 03B70 PDFBibTeX XMLCite \textit{M. Nikitchenko} and \textit{S. Skilniak}, Algebra Discrete Math. 23, No. 2, 263--278 (2017; Zbl 1431.03079)
Chen, Tzu-Chun; Dezani-Ciancaglini, Mariangiola; Scalas, Alceste; Yoshida, Nobuko On the preciseness of subtyping in session types. (English) Zbl 1398.68360 Log. Methods Comput. Sci. 13, No. 2, Paper No. 12, 61 p. (2017). MSC: 68Q85 PDFBibTeX XMLCite \textit{T.-C. Chen} et al., Log. Methods Comput. Sci. 13, No. 2, Paper No. 12, 61 p. (2017; Zbl 1398.68360) Full Text: DOI arXiv
Blanchette, Jasmin Christian; Popescu, Andrei; Traytel, Dmitriy Soundness and completeness proofs by coinductive methods. (English) Zbl 1409.68251 J. Autom. Reasoning 58, No. 1, 149-179 (2017). MSC: 68T15 03B10 03B35 03F03 68Q65 PDFBibTeX XMLCite \textit{J. C. Blanchette} et al., J. Autom. Reasoning 58, No. 1, 149--179 (2017; Zbl 1409.68251) Full Text: DOI
Soares, Pedro; Ravara, António; Melo de Sousa, Simão Revisiting concurrent separation logic. (English) Zbl 1370.68056 J. Log. Algebr. Methods Program. 89, 41-66 (2017). MSC: 68N30 03B70 68Q55 PDFBibTeX XMLCite \textit{P. Soares} et al., J. Log. Algebr. Methods Program. 89, 41--66 (2017; Zbl 1370.68056) Full Text: DOI arXiv
Engelmann, Björn; Olderog, Ernst-Rüdiger 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). MSC: 68N30 03B70 68N19 68Q55 68Q60 PDFBibTeX XMLCite \textit{B. Engelmann} and \textit{E.-R. Olderog}, Lect. Notes Comput. Sci. 9660, 173--193 (2016; Zbl 1475.68085) Full Text: DOI arXiv
Bergstra, J. A.; Middelburg, C. A. A Hoare-like logic of asserted single-pass instruction sequences. (English) Zbl 1424.68033 Sci. Ann. Comput. Sci. 26, No. 2, 125-156 (2016). MSC: 68N30 03B70 68Q60 PDFBibTeX XMLCite \textit{J. A. Bergstra} and \textit{C. A. Middelburg}, Sci. Ann. Comput. Sci. 26, No. 2, 125--156 (2016; Zbl 1424.68033) Full Text: DOI arXiv
Ghari, Meghdad Pavelka-style fuzzy justification logics. (English) Zbl 1405.03040 Log. J. IGPL 24, No. 5, 743-773 (2016). MSC: 03B42 03B52 PDFBibTeX XMLCite \textit{M. Ghari}, Log. J. IGPL 24, No. 5, 743--773 (2016; Zbl 1405.03040) Full Text: DOI
Esparza, Javier; Kuperberg, Denis; Muscholl, Anca; Walukiewicz, Igor Soundness in negotiations. (English) Zbl 1392.68298 Desharnais, Josée (ed.) et al., 27th international conference on concurrency theory, CONCUR 2016, Québec City, Canada, August 23–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-017-0). LIPIcs – Leibniz International Proceedings in Informatics 59, Article 12, 13 p. (2016). MSC: 68Q85 68Q10 68Q25 PDFBibTeX XMLCite \textit{J. Esparza} et al., LIPIcs -- Leibniz Int. Proc. Inform. 59, Article 12, 13 p. (2016; Zbl 1392.68298) Full Text: DOI
Wu, Hengyang; Deng, Yuxin Logical characterizations of simulation and bisimulation for fuzzy transition systems. (English) Zbl 1378.68121 Fuzzy Sets Syst. 301, 19-36 (2016). MSC: 68Q85 68T27 68T37 PDFBibTeX XMLCite \textit{H. Wu} and \textit{Y. Deng}, Fuzzy Sets Syst. 301, 19--36 (2016; Zbl 1378.68121) Full Text: DOI
Castro-Manzano, J. Martín From diagrammatic to mechanical reasoning: the case of syllogistic. (English) Zbl 1402.03024 Arazim, Pavel (ed.) et al., The Logica yearbook 2015. Proceedings of the 29th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 15–19, 2015. London: College Publications (ISBN 978-1-84890-213-8/pbk). 57-69 (2016). MSC: 03B35 03B60 03A05 PDFBibTeX XMLCite \textit{J. M. Castro-Manzano}, in: The Logica yearbook 2015. Proceedings of the 29th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 15--19, 2015. London: College Publications. 57--69 (2016; Zbl 1402.03024)
Boričić, Marija Inference rules for probability logic. (English) Zbl 1474.03078 Publ. Inst. Math., Nouv. Sér. 100(114), 77-86 (2016). MSC: 03B48 03B50 PDFBibTeX XMLCite \textit{M. Boričić}, Publ. Inst. Math., Nouv. Sér. 100(114), 77--86 (2016; Zbl 1474.03078) Full Text: DOI EMIS
Desel, Jörg; Esparza, Javier Negotiations and Petri nets. (English) Zbl 1366.68203 Koutny, Maciej (ed.) et al., Transactions on Petri Nets and Other Models of Concurrency XI. Berlin: Springer (ISBN 978-3-662-53400-7/pbk; 978-3-662-53401-4/ebook). Lecture Notes in Computer Science 9930. Journal Subline, 203-225 (2016). MSC: 68Q85 PDFBibTeX XMLCite \textit{J. Desel} and \textit{J. Esparza}, Lect. Notes Comput. Sci. 9930, 203--225 (2016; Zbl 1366.68203) Full Text: DOI
Litland, Jon Erling Pure logic of many-many ground. (English) Zbl 1392.03013 J. Philos. Log. 45, No. 5, 531-577 (2016). MSC: 03A05 03B60 PDFBibTeX XMLCite \textit{J. E. Litland}, J. Philos. Log. 45, No. 5, 531--577 (2016; Zbl 1392.03013) Full Text: DOI
Markin, Vladimir Ilyich The interpretation of categorical propositions in terms of relevant entailment. (Russian. English summary) Zbl 1392.03031 Log. Issled. 22, No. 1, 70-81 (2016). MSC: 03B47 03B20 PDFBibTeX XMLCite \textit{V. I. Markin}, Log. Issled. 22, No. 1, 70--81 (2016; Zbl 1392.03031)
Ognjanović, Zoran; Rašković, Miodrag; Marković, Zoran Probability logics. Probability-based formalization of uncertain reasoning. (English) Zbl 1371.03001 Cham: Springer (ISBN 978-3-319-47011-5/hbk; 978-3-319-47012-2/ebook). xi, 215 p. (2016). Reviewer: Jürgen Landes (München) MSC: 03-02 03B48 60A05 68T37 PDFBibTeX XMLCite \textit{Z. Ognjanović} et al., Probability logics. Probability-based formalization of uncertain reasoning. Cham: Springer (2016; Zbl 1371.03001) Full Text: DOI