Fan, Jie; Wang, Yanjing; van Ditmarsch, Hans Almost necessary. (English) Zbl 1385.03017 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). 178-196 (2014). MSC: 03B45 PDFBibTeX XMLCite \textit{J. Fan} et al., in: Advances in modal logic. Vol. 10. Proceedings of the 10th conference (AiML 2014), Groningen, Netherlands, August 5--8, 2014. London: College Publications. 178--196 (2014; Zbl 1385.03017)
Balbiani, Philippe; Tinchev, Tinko Definability and computability for PRSPDL. (English) Zbl 1385.03033 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). 16-33 (2014). MSC: 03B70 03B45 PDFBibTeX XMLCite \textit{P. Balbiani} and \textit{T. Tinchev}, in: Advances in modal logic. Vol. 10. Proceedings of the 10th conference (AiML 2014), Groningen, Netherlands, August 5--8, 2014. London: College Publications. 16--33 (2014; Zbl 1385.03033)
Harwath, Frederik; Heimberg, Lucas; Schweikardt, Nicole Preservation and decomposition theorems for bounded degree structures. (English) Zbl 1394.03060 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. 49, 10 p. (2014). MSC: 03C80 03C13 03C40 68Q19 PDFBibTeX XMLCite \textit{F. Harwath} 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. 49, 10 p. (2014; Zbl 1394.03060) Full Text: DOI arXiv
Benedikt, Michael; ten Cate, Balder; Vanden Boom, Michael Effective interpolation and preservation in guarded logics. (English) Zbl 1394.03050 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. 13, 10 p. (2014). MSC: 03B70 03B20 03B45 03C40 PDFBibTeX XMLCite \textit{M. Benedikt} 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. 13, 10 p. (2014; Zbl 1394.03050) Full Text: DOI Link
Farah, Ilijas (ed.); Friedman, Sy-David (ed.); Magidor, Menachem (ed.); Woodin, W. Hugh (ed.) Set theory. Abstracts from the workshop held January 12–18, 2014. (English) Zbl 1349.00161 Oberwolfach Rep. 11, No. 1, 91-144 (2014). MSC: 00B05 00B25 03-06 03E02 03E15 03E40 03E45 03E55 03E57 03E60 PDFBibTeX XMLCite \textit{I. Farah} (ed.) et al., Oberwolfach Rep. 11, No. 1, 91--144 (2014; Zbl 1349.00161) Full Text: DOI
Pinus, A. G. Definable and autostable congruences. (Russian, English) Zbl 1349.08002 Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform. 14, No. 2, 63-68 (2014); translation in J. Math. Sci., New York 211, No. 6, 824-828 (2015). MSC: 08A30 08A35 PDFBibTeX XMLCite \textit{A. G. Pinus}, Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform. 14, No. 2, 63--68 (2014; Zbl 1349.08002); translation in J. Math. Sci., New York 211, No. 6, 824--828 (2015) Full Text: DOI
Väänänen, Jouko Multiverse set theory and absolutely undecidable propositions. (English) Zbl 1358.03082 Kennedy, Juliette (ed.), Interpreting Gödel. Critical essays. Cambridge: Cambridge University Press (ISBN 978-1-107-00266-1/hbk; 978-0-511-75630-6/ebook). 180-208 (2014). MSC: 03E65 03E45 03E35 03B60 PDFBibTeX XMLCite \textit{J. Väänänen}, in: Interpreting Gödel. Critical essays. Cambridge: Cambridge University Press. 180--208 (2014; Zbl 1358.03082)
Niebergall, Karl-Georg Assumptions of infinity. (English) Zbl 1329.03021 Link, Godehard (ed.), Formalism and beyond. On the nature of mathematical discourse. Berlin: De Gruyter (ISBN 978-1-61451-829-7/hbk; 978-1-61451-847-1/ebook). Logos 23, 229-274 (2014). Reviewer: Victor V. Pambuccian (Phoenix) MSC: 03A05 03E47 PDFBibTeX XMLCite \textit{K.-G. Niebergall}, Logos 23, 229--274 (2014; Zbl 1329.03021) Full Text: DOI
Maksimova, L. L. Negative equivalence over the minimal logic and interpolation. (Russian. English summary) Zbl 1354.03031 Sib. Èlektron. Mat. Izv. 11, 1-17 (2014). MSC: 03B53 03C40 PDFBibTeX XMLCite \textit{L. L. Maksimova}, Sib. Èlektron. Mat. Izv. 11, 1--17 (2014; Zbl 1354.03031) Full Text: Link
Friedman, Sy-David The completeness of isomorphism. (English) Zbl 1337.03074 Brattka, Vasco (ed.) et al., Logic, computation, hierarchies. Dedicated to Victor L. Selivanov on the occasion of his 60th birthday. Berlin: De Gruyter (ISBN 978-1-61451-783-2/hbk; 978-1-61451-804-4/ebook). Ontos Mathematical Logic 4, 157-163 (2014). Reviewer: Martin Weese (Potsdam) MSC: 03E15 03C57 03C75 03D45 03D60 03E45 PDFBibTeX XMLCite \textit{S.-D. Friedman}, Ontos Math. Log. 4, 157--163 (2014; Zbl 1337.03074)
Milliet, Cédric Fine groups. (Groupes fins.) (French. English summary) Zbl 1353.03021 J. Symb. Log. 79, No. 4, 1120-1132 (2014). MSC: 03C45 03C60 03C40 20A15 PDFBibTeX XMLCite \textit{C. Milliet}, J. Symb. Log. 79, No. 4, 1120--1132 (2014; Zbl 1353.03021) Full Text: DOI
Diaconescu, Răzvan; Mossakowski, Till; Tarlecki, Andrzej The institution-theoretic scope of logic theorems. (English) Zbl 1338.03073 Log. Univers. 8, No. 3-4, 393-406 (2014). MSC: 03C95 03C40 03B70 03G30 PDFBibTeX XMLCite \textit{R. Diaconescu} et al., Log. Univers. 8, No. 3--4, 393--406 (2014; Zbl 1338.03073) Full Text: DOI
van Ditmarsch, Hans; Fernández-Duque, David; van der Hoek, Wiebe On the definability of simulation and bisimulation in epistemic logic. (English) Zbl 1431.03030 J. Log. Comput. 24, No. 6, 1209-1227 (2014). MSC: 03B42 68T27 68T42 PDFBibTeX XMLCite \textit{H. van Ditmarsch} et al., J. Log. Comput. 24, No. 6, 1209--1227 (2014; Zbl 1431.03030) Full Text: DOI Link
Abriola, Sergio; Descotte, María Emilia; Figueira, Santiago Definability for downward and vertical XPath on data trees. (English) Zbl 1317.68038 Kohlenbach, Ulrich (ed.) et al., Logic, language, information, and computation. 21st international workshop, WoLLIC 2014, Valparaíso, Chile, September 1–4, 2014. Proceedings. Berlin: Springer (ISBN 978-3-662-44144-2/pbk). Lecture Notes in Computer Science 8652, 20-35 (2014). MSC: 68P05 03B70 PDFBibTeX XMLCite \textit{S. Abriola} et al., Lect. Notes Comput. Sci. 8652, 20--35 (2014; Zbl 1317.68038) Full Text: DOI
Ahmed, Tarek Sayed The class of completely representable polyadic algebras of infinite dimensions is elementary. (English) Zbl 1339.03058 Algebra Univers. 72, No. 4, 371-380 (2014). MSC: 03G15 03C05 03C40 PDFBibTeX XMLCite \textit{T. S. Ahmed}, Algebra Univers. 72, No. 4, 371--380 (2014; Zbl 1339.03058) Full Text: DOI
Flumini, Dandolo; Sato, Kentaro From hierarchies to well-foundedness. (English) Zbl 1338.03011 Arch. Math. Logic 53, No. 7-8, 855-863 (2014). MSC: 03B30 03D55 03D75 03E70 03F35 PDFBibTeX XMLCite \textit{D. Flumini} and \textit{K. Sato}, Arch. Math. Logic 53, No. 7--8, 855--863 (2014; Zbl 1338.03011) Full Text: DOI Link
Maksimova, L. L. The Lyndon property and uniform interpolation over the Grzegorczyk logic. (English. Russian original) Zbl 1521.03034 Sib. Math. J. 55, No. 1, 118-124 (2014); translation from Sib. Mat. Zh. 55, No. 1, 147-156 (2014). MSC: 03B45 03B20 03C40 PDFBibTeX XMLCite \textit{L. L. Maksimova}, Sib. Math. J. 55, No. 1, 118--124 (2014; Zbl 1521.03034); translation from Sib. Mat. Zh. 55, No. 1, 147--156 (2014) Full Text: DOI
Ikodinović, Nebojša; Ognjanović, Zoran; Perović, Aleksandar; Rašković, Miodrag Hierarchies of probabilistic logics. (English) Zbl 1433.03061 Int. J. Approx. Reasoning 55, No. 9, 1830-1842 (2014). MSC: 03B48 03D55 PDFBibTeX XMLCite \textit{N. Ikodinović} et al., Int. J. Approx. Reasoning 55, No. 9, 1830--1842 (2014; Zbl 1433.03061) Full Text: DOI
Friedman, Sy-David; Hyttinen, Tapani; Kulikov, Vadim Generalized descriptive set theory and classification theory. (English) Zbl 1402.03047 Mem. Am. Math. Soc. 1081, v, 80 p. (2014). MSC: 03C55 03C45 03C75 03E15 03E35 03E47 03-02 PDFBibTeX XMLCite \textit{S.-D. Friedman} et al., Generalized descriptive set theory and classification theory. Providence, RI: American Mathematical Society (AMS) (2014; Zbl 1402.03047) Full Text: DOI arXiv
Morozov, A. S. On \(\Sigma\)-rigid presentations of the real order. (English. Russian original) Zbl 1314.03035 Sib. Math. J. 55, No. 3, 457-464 (2014); translation from Sib. Mat. Zh. 55, No. 3, 562-572 (2014). Reviewer: Marat M. Arslanov (Kazan) MSC: 03C57 03C70 03D45 PDFBibTeX XMLCite \textit{A. S. Morozov}, Sib. Math. J. 55, No. 3, 457--464 (2014; Zbl 1314.03035); translation from Sib. Mat. Zh. 55, No. 3, 562--572 (2014) Full Text: DOI
Zhou, Chunlai Probability logic for Harsanyi type spaces. (English) Zbl 1336.03032 Log. Methods Comput. Sci. 10, No. 2, Paper No. 13, 23 p. (2014). MSC: 03B48 03B42 03B45 91A26 PDFBibTeX XMLCite \textit{C. Zhou}, Log. Methods Comput. Sci. 10, No. 2, Paper No. 13, 23 p. (2014; Zbl 1336.03032) Full Text: DOI arXiv
Perkov, Tin A generalization of modal frame definability. (English) Zbl 1417.03161 Colinet, Margot (ed.) et al., Pristine perspectives on logic, language, and computation. ESSLLI 2012 and ESSLLI 2013 student sessions. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 8607, 142-153 (2014). MSC: 03B45 PDFBibTeX XMLCite \textit{T. Perkov}, Lect. Notes Comput. Sci. 8607, 142--153 (2014; Zbl 1417.03161) Full Text: DOI
Kontinen, Juha; Szymanik, Jakub A characterization of definability of second-order generalized quantifiers with applications to non-definability. (English) Zbl 1327.03030 J. Comput. Syst. Sci. 80, No. 6, 1152-1162 (2014). MSC: 03C80 03C13 03C40 03C85 PDFBibTeX XMLCite \textit{J. Kontinen} and \textit{J. Szymanik}, J. Comput. Syst. Sci. 80, No. 6, 1152--1162 (2014; Zbl 1327.03030) Full Text: DOI
Areces, Carlos; Carreiro, Facundo; Figueira, Santiago Characterization, definability and separation via saturated models. (English) Zbl 1323.03016 Theor. Comput. Sci. 537, 72-86 (2014). MSC: 03B45 03C50 03C45 PDFBibTeX XMLCite \textit{C. Areces} et al., Theor. Comput. Sci. 537, 72--86 (2014; Zbl 1323.03016) Full Text: DOI
Schindler, Ralf Set theory. Exploring independence and truth. (English) Zbl 1296.03002 Universitext. Cham: Springer (ISBN 978-3-319-06724-7/pbk; 978-3-319-06725-4/ebook). x, 332 p. (2014). Reviewer: Martin Weese (Potsdam) MSC: 03-01 03-02 03E10 03E15 03E35 03E45 03E55 03E60 PDFBibTeX XMLCite \textit{R. Schindler}, Set theory. Exploring independence and truth. Cham: Springer (2014; Zbl 1296.03002) Full Text: DOI
Balbiani, Philippe; Tinchev, Tinko Definability and canonicity for Boolean logic with a binary relation. (English) Zbl 1349.03024 Fundam. Inform. 129, No. 4, 301-327 (2014). MSC: 03B60 03B45 68T27 PDFBibTeX XMLCite \textit{P. Balbiani} and \textit{T. Tinchev}, Fundam. Inform. 129, No. 4, 301--327 (2014; Zbl 1349.03024) Full Text: DOI
Bruttomesso, Roberto; Ghilardi, Silvio; Ranise, Silvio Quantifier-free interpolation in combinations of equality interpolating theories. (English) Zbl 1287.03068 ACM Trans. Comput. Log. 15, No. 1, Article No. 5, 34 p. (2014). MSC: 03B70 03C40 68Q60 PDFBibTeX XMLCite \textit{R. Bruttomesso} et al., ACM Trans. Comput. Log. 15, No. 1, Article No. 5, 34 p. (2014; Zbl 1287.03068) Full Text: DOI
Babenyshev, Sergey; Martins, Manuel A. Deduction-detachment theorem in hidden \(k\)-logics. (English) Zbl 1327.03022 J. Log. Comput. 24, No. 1, 233-255 (2014). MSC: 03B70 03C40 68Q60 PDFBibTeX XMLCite \textit{S. Babenyshev} and \textit{M. A. Martins}, J. Log. Comput. 24, No. 1, 233--255 (2014; Zbl 1327.03022) Full Text: DOI
Cabrer, Leonardo; Gil-Férez, José Leibniz interpolation properties. (English) Zbl 1306.03029 Ann. Pure Appl. Logic 165, No. 4, 933-962 (2014). Reviewer: Osamu Sonobe (Follonica) MSC: 03G27 03C40 03B47 06D35 PDFBibTeX XMLCite \textit{L. Cabrer} and \textit{J. Gil-Férez}, Ann. Pure Appl. Logic 165, No. 4, 933--962 (2014; Zbl 1306.03029) Full Text: DOI
Blumensath, Achim; Courcelle, Bruno Monadic second-order definable graph orderings. (English) Zbl 1315.03015 Log. Methods Comput. Sci. 10, No. 1, Paper No. 2, 36 p. (2014). MSC: 03B25 03B15 03D05 05C75 68Q45 PDFBibTeX XMLCite \textit{A. Blumensath} and \textit{B. Courcelle}, Log. Methods Comput. Sci. 10, No. 1, Paper No. 2, 36 p. (2014; Zbl 1315.03015) Full Text: DOI arXiv
Keisler, H. Jerome; Keisler, Jeffrey M. Observing, reporting, and deciding in networks of sentences. (English) Zbl 1314.68298 Ann. Pure Appl. Logic 165, No. 3, 812-836 (2014). MSC: 68T27 03C40 03F07 68T15 PDFBibTeX XMLCite \textit{H. J. Keisler} and \textit{J. M. Keisler}, Ann. Pure Appl. Logic 165, No. 3, 812--836 (2014; Zbl 1314.68298) Full Text: DOI