Jeon, Jee Seon; Hwang, Ilwoo The emergence and persistence of oligarchy: a dynamic model of endogenous political power. (English) Zbl 07525233 J. Econ. Theory 201, Article ID 105437, 31 p. (2022). MSC: 91B26 91A80 91F10 PDF BibTeX XML Cite \textit{J. S. Jeon} and \textit{I. Hwang}, J. Econ. Theory 201, Article ID 105437, 31 p. (2022; Zbl 07525233) Full Text: DOI OpenURL
Tougma, Appolinaire; Yougbaré, W. Jacob; Zongo, Moumouni Performance analysis of higher education institutions using AHP and PROMETHEE. (English) Zbl 07527419 Adv. Appl. Discrete Math. 27, No. 2, 265-284 (2021). MSC: 90B99 PDF BibTeX XML Cite \textit{A. Tougma} et al., Adv. Appl. Discrete Math. 27, No. 2, 265--284 (2021; Zbl 07527419) Full Text: DOI OpenURL
Diaconescu, Răzvan Implicit partiality of signature morphisms in institution theory. (English) Zbl 07442309 Madarász, Judit (ed.) et al., Hajnal Andréka and István Németi on unity of science. From computing to relativity theory through algebraic logic. Cham: Springer. Outst. Contrib. Log. 19, 81-123 (2021). MSC: 68-XX 03-XX PDF BibTeX XML Cite \textit{R. Diaconescu}, Outst. Contrib. Log. 19, 81--123 (2021; Zbl 07442309) Full Text: DOI OpenURL
Kuo, Nan-Ting; Lee, Cheng Few A potential benefit of increasing book-tax conformity: evidence from the reduction in audit fees. (English) Zbl 1454.91137 Lee, Cheng Few (ed.) et al., Handbook of financial econometrics, mathematics, statistics, and machine learning. Volume 1. Hackensack, NJ: World Scientific. 151-197 (2021). MSC: 91B64 PDF BibTeX XML Cite \textit{N.-T. Kuo} and \textit{C. F. Lee}, in: Handbook of financial econometrics, mathematics, statistics, and machine learning. Volume 1. Hackensack, NJ: World Scientific. 151--197 (2021; Zbl 1454.91137) Full Text: DOI OpenURL
Ţuţu, Ionuţ; Chiriţă, Claudia E.; Fiadeiro, José L. When databases roamed computing: formal database specification revisited perspective of language. (English) Zbl 07503147 Haeusler, Edward Hermann (ed.) et al., A question is more illuminating than an answer. A festschrift for Paulo A. S. Veloso. London: College Publications. Tributes 44, 261-278 (2020). MSC: 03-XX PDF BibTeX XML Cite \textit{I. Ţuţu} et al., Tributes 44, 261--278 (2020; Zbl 07503147) OpenURL
Wolter, U. E.; Martini, A. R.; Häusler, E. H. Indexed and fibred structures for Hoare logic. (English) Zbl 07297795 Felty, Amy (ed.) et al., 14th international workshop on logical and semantic frameworks, with applications, LSFA 2019, Natal, Brazil, in August 2019. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 348, 125-145 (2020). MSC: 03B70 03G30 PDF BibTeX XML Cite \textit{U. E. Wolter} et al., Electron. Notes Theor. Comput. Sci. 348, 125--145 (2020; Zbl 07297795) Full Text: DOI OpenURL
Găină, Daniel Forcing and calculi for hybrid logics. (English) Zbl 07273096 J. ACM 67, No. 4, Article No. 25, 55 p. (2020). MSC: 03G30 03B70 03B45 PDF BibTeX XML Cite \textit{D. Găină}, J. ACM 67, No. 4, Article No. 25, 55 p. (2020; Zbl 07273096) Full Text: DOI OpenURL
Diaconescu, Răzvan Introducing \(H\), an institution-based formal specification and verification language. (English) Zbl 1484.68106 Log. Univers. 14, No. 2, 259-277 (2020). MSC: 68Q65 03B45 03C98 03G30 PDF BibTeX XML Cite \textit{R. Diaconescu}, Log. Univers. 14, No. 2, 259--277 (2020; Zbl 1484.68106) Full Text: DOI arXiv OpenURL
Haveraaen, Magne; Roggenbach, Markus Specifying with syntactic theory functors. (English) Zbl 1433.68221 J. Log. Algebr. Methods Program. 113, Article ID 100543, 23 p. (2020). MSC: 68Q65 PDF BibTeX XML Cite \textit{M. Haveraaen} and \textit{M. Roggenbach}, J. Log. Algebr. Methods Program. 113, Article ID 100543, 23 p. (2020; Zbl 1433.68221) Full Text: DOI OpenURL
Mukoyama, Toshihiko; Popov, Latchezar Industrialization and the evolution of enforcement institutions. (English) Zbl 1435.91115 Econ. Theory 69, No. 3, 745-788 (2020). MSC: 91B50 91B41 PDF BibTeX XML Cite \textit{T. Mukoyama} and \textit{L. Popov}, Econ. Theory 69, No. 3, 745--788 (2020; Zbl 1435.91115) Full Text: DOI Link OpenURL
Meng, Yang; Wu, Dengsheng; Li, Jianping Model construction and empirical analysis of institute hierarchical clustering based on discipline layout. (Chinese. English summary) Zbl 1449.62140 J. Syst. Sci. Math. Sci. 39, No. 7, 1054-1067 (2019). MSC: 62H30 91C20 PDF BibTeX XML Cite \textit{Y. Meng} et al., J. Syst. Sci. Math. Sci. 39, No. 7, 1054--1067 (2019; Zbl 1449.62140) OpenURL
Bu, Di; Liao, Yin; Shi, Jing; Peng, Hongfeng Dynamic expected shortfall: a spectral decomposition of tail risk across time horizons. (English) Zbl 1425.91431 J. Econ. Dyn. Control 108, Article ID 103753, 15 p. (2019). MSC: 91G70 91G60 65T60 PDF BibTeX XML Cite \textit{D. Bu} et al., J. Econ. Dyn. Control 108, Article ID 103753, 15 p. (2019; Zbl 1425.91431) Full Text: DOI OpenURL
Lopez, Pombo Carlos G.; Castro, Pablo F.; Aguirre, Nazareno M.; Maibaum, Thomas S. E. Satisfiability calculus: an abstract formulation of semantic proof systems. (English) Zbl 1446.03112 Fundam. Inform. 166, No. 4, 297-347 (2019). MSC: 03G30 68Q65 PDF BibTeX XML Cite \textit{P. C. G. Lopez} et al., Fundam. Inform. 166, No. 4, 297--347 (2019; Zbl 1446.03112) Full Text: DOI OpenURL
Atallah, Samer Political transition in resource economies. (English) Zbl 1416.91311 Int. J. Econ. Theory 14, No. 3, 233-256 (2018). MSC: 91B76 91F10 PDF BibTeX XML Cite \textit{S. Atallah}, Int. J. Econ. Theory 14, No. 3, 233--256 (2018; Zbl 1416.91311) Full Text: DOI OpenURL
Chentsov, Alexey; Nikitchenko, Mykola Composition-nominative logics as institutions. (English) Zbl 1456.03054 Log. Univers. 12, No. 1-2, 221-238 (2018). MSC: 03B70 03B10 03C95 03G30 68Q65 PDF BibTeX XML Cite \textit{A. Chentsov} and \textit{M. Nikitchenko}, Log. Univers. 12, No. 1--2, 221--238 (2018; Zbl 1456.03054) Full Text: DOI OpenURL
Mossakowski, Till; Krieg-Brückner, Bernd Partial pushout semantics of generics in DOL. (English) Zbl 1397.68112 Theor. Comput. Sci. 741, 58-70 (2018). MSC: 68Q42 68Q65 PDF BibTeX XML Cite \textit{T. Mossakowski} and \textit{B. Krieg-Brückner}, Theor. Comput. Sci. 741, 58--70 (2018; Zbl 1397.68112) Full Text: DOI OpenURL
Shimura, Hayato; Nakamaru, Mayuko Large group size promotes the evolution of cooperation in the mutual-aid game. (English) Zbl 1397.91079 J. Theor. Biol. 451, 46-56 (2018). MSC: 91A22 PDF BibTeX XML Cite \textit{H. Shimura} and \textit{M. Nakamaru}, J. Theor. Biol. 451, 46--56 (2018; Zbl 1397.91079) Full Text: DOI OpenURL
Nax, Heinrich H.; Balietti, Stefano; Murphy, Ryan O.; Helbing, Dirk Adding noise to the institution: an experimental welfare investigation of the contribution-based grouping mechanism. (English) Zbl 1392.91084 Soc. Choice Welfare 50, No. 2, 213-245 (2018). MSC: 91B15 91A90 91A20 PDF BibTeX XML Cite \textit{H. H. Nax} et al., Soc. Choice Welfare 50, No. 2, 213--245 (2018; Zbl 1392.91084) Full Text: DOI OpenURL
Neves, Renato; Madeira, Alexandre; Barbosa, Luis S.; Martins, Manuel A. Asymmetric combination of logics is functorial: a survey. (English) Zbl 07152401 James, Phillip (ed.) et al., Recent trends in algebraic development techniques. 23rd IFIP WG 1.3 international workshop, WADT 2016, Gregynog, UK, September 21–24, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10644, 39-55 (2017). MSC: 68Qxx PDF BibTeX XML Cite \textit{R. Neves} et al., Lect. Notes Comput. Sci. 10644, 39--55 (2017; Zbl 07152401) Full Text: DOI arXiv OpenURL
Funaki, Yukihiko; Li, Jiawen; Veszteg, Róbert F. Public-goods games with endogenous institution-formation: experimental evidence on the effect of the voting rule. (English) Zbl 1410.91152 Games 8, No. 4, Paper No. 52, 22 p. (2017). MSC: 91A90 91B12 91B18 PDF BibTeX XML Cite \textit{Y. Funaki} et al., Games 8, No. 4, Paper No. 52, 22 p. (2017; Zbl 1410.91152) Full Text: DOI OpenURL
Angius, Nicola; Dimarogkona, Maria; Stefaneas, Petros Building and integrating semantic theories over institutions. (English) Zbl 1439.68015 Lambropoulou, Sofia (ed.) et al., Algebraic modeling of topological and computational structures and applications, THALES, Athens, Greece, July 1–3, 2015. Cham: Springer. Springer Proc. Math. Stat. 219, 363-374 (2017). MSC: 68Q65 03C95 18C50 PDF BibTeX XML Cite \textit{N. Angius} et al., Springer Proc. Math. Stat. 219, 363--374 (2017; Zbl 1439.68015) Full Text: DOI OpenURL
Wu, Jiabin Social hierarchy and the evolution of behavior. (English) Zbl 1391.91140 Int. Game Theory Rev. 19, No. 4, Article ID 1750019, 16 p. (2017). MSC: 91C15 91A22 91F10 PDF BibTeX XML Cite \textit{J. Wu}, Int. Game Theory Rev. 19, No. 4, Article ID 1750019, 16 p. (2017; Zbl 1391.91140) Full Text: DOI OpenURL
Găină, Daniel Birkhoff style calculi for hybrid logics. (English) Zbl 1420.03037 Formal Asp. Comput. 29, No. 5, 805-832 (2017). MSC: 03B45 03B70 PDF BibTeX XML Cite \textit{D. Găină}, Formal Asp. Comput. 29, No. 5, 805--832 (2017; Zbl 1420.03037) Full Text: DOI OpenURL
Găină, Daniel Foundations of logic programming in hybrid logics with user-defined sharing. (English) Zbl 1371.68048 Theor. Comput. Sci. 686, 1-24 (2017). MSC: 68N17 03B70 PDF BibTeX XML Cite \textit{D. Găină}, Theor. Comput. Sci. 686, 1--24 (2017; Zbl 1371.68048) Full Text: DOI OpenURL
Alós-Ferrer, Carlos; Buckenmaier, Johannes Trader matching and the selection of market institutions. (English) Zbl 1395.91194 J. Math. Econ. 69, 118-127 (2017). MSC: 91B24 91A26 91B68 PDF BibTeX XML Cite \textit{C. Alós-Ferrer} and \textit{J. Buckenmaier}, J. Math. Econ. 69, 118--127 (2017; Zbl 1395.91194) Full Text: DOI OpenURL
Ekhosuehi, V. U.; Iguodala, W. A.; Osagiede, A. A. A note on replenishment of infrastructure. (English) Zbl 1474.49004 J. Niger. Math. Soc. 35, No. 3, 523-531 (2016). MSC: 49J15 97B40 97M40 PDF BibTeX XML Cite \textit{V. U. Ekhosuehi} et al., J. Niger. Math. Soc. 35, No. 3, 523--531 (2016; Zbl 1474.49004) Full Text: Link OpenURL
Chentsov, Alexey Many-sorted first-order composition-nominative logic as institution. (English) Zbl 1390.03030 Comput. Sci. J. Mold. 24, No. 1(70), 27-54 (2016). MSC: 03B70 03G30 68P01 PDF BibTeX XML Cite \textit{A. Chentsov}, Comput. Sci. J. Mold. 24, No. 1(70), 27--54 (2016; Zbl 1390.03030) Full Text: Link OpenURL
Denniston, Jeffrey T.; Melton, Austin; Rodabaugh, Stephen E.; Solovyov, Sergey A. Topological systems as a framework for institutions. (English) Zbl 1394.18002 Fuzzy Sets Syst. 298, 91-108 (2016). MSC: 18B30 54B30 68Q65 PDF BibTeX XML Cite \textit{J. T. Denniston} et al., Fuzzy Sets Syst. 298, 91--108 (2016; Zbl 1394.18002) Full Text: DOI arXiv OpenURL
Lin, Jianhao; Zhang, Xi; Wang, Mingxi; Hu, Yi; Fu, Julei Does the great moderation of China’s macroeconomic exist during the reform era? (English) Zbl 1474.62420 Filomat 30, No. 15, 3917-3931 (2016). MSC: 62P20 PDF BibTeX XML Cite \textit{J. Lin} et al., Filomat 30, No. 15, 3917--3931 (2016; Zbl 1474.62420) Full Text: DOI OpenURL
Fernando, Tim Types from frames as finite automata. (English) Zbl 1478.68123 Foret, Annie (ed.) et al., Formal grammar. 20th and 21st international conferences, FG 2015, Barcelona, Spain, August 2015. Revised selected papers. FG 2016, Bozen, Italy, August 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9804, 19-40 (2016). MSC: 68Q45 03G30 68Q55 PDF BibTeX XML Cite \textit{T. Fernando}, Lect. Notes Comput. Sci. 9804, 19--40 (2016; Zbl 1478.68123) Full Text: DOI OpenURL
Diaconescu, Răzvan Quasi-varieties and initial semantics for hybridized institutions. (English) Zbl 1353.03083 J. Log. Comput. 26, No. 3, 855-891 (2016). MSC: 03G30 03C95 03B45 PDF BibTeX XML Cite \textit{R. Diaconescu}, J. Log. Comput. 26, No. 3, 855--891 (2016; Zbl 1353.03083) Full Text: DOI Link OpenURL
Monteiro, L. H. A. Population dynamics in educational institutions considering the student satisfaction. (English) Zbl 07246173 Commun. Nonlinear Sci. Numer. Simul. 30, No. 1-3, 236-242 (2015). MSC: 91D99 92D30 PDF BibTeX XML Cite \textit{L. H. A. Monteiro}, Commun. Nonlinear Sci. Numer. Simul. 30, No. 1--3, 236--242 (2015; Zbl 07246173) Full Text: DOI OpenURL
Ţuţu, Ionut; Fiadeiro, José Luiz Revisiting the institutional approach to Herbrand’s theorem. (English) Zbl 1433.03166 Moss, Lawrence S. (ed.) et al., 6th conference on algebra and coalgebra in computer science, CALCO’15, Nijmegen, Netherlands, June 24–26, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 35, 304-319 (2015). MSC: 03G30 68N17 68Q65 PDF BibTeX XML Cite \textit{I. Ţuţu} and \textit{J. L. Fiadeiro}, LIPIcs -- Leibniz Int. Proc. Inform. 35, 304--319 (2015; Zbl 1433.03166) Full Text: DOI OpenURL
Castro, Pablo F.; Aguirre, Nazareno; Pombo, Carlos L.; Maibaum, T. S. E. Categorical foundations for structured specifications in \(\mathsf{Z}\). (English) Zbl 1385.68023 Formal Asp. Comput. 27, No. 5-6, 831-865 (2015). Reviewer: Răzvan Diaconescu (Ploiesti) MSC: 68Q65 PDF BibTeX XML Cite \textit{P. F. Castro} et al., Formal Asp. Comput. 27, No. 5--6, 831--865 (2015; Zbl 1385.68023) Full Text: DOI OpenURL
Alós-Ferrer, Carlos; Kirchsteiger, Georg Learning and market clearing: theory and experiments. (English) Zbl 1367.91070 Econ. Theory 60, No. 2, 203-241 (2015). MSC: 91B24 91A26 91A15 PDF BibTeX XML Cite \textit{C. Alós-Ferrer} and \textit{G. Kirchsteiger}, Econ. Theory 60, No. 2, 203--241 (2015; Zbl 1367.91070) Full Text: DOI OpenURL
Tutu, Ionut; Fiadeiro, Jose Luiz Service-oriented logic programming. (English) Zbl 1448.68205 Log. Methods Comput. Sci. 11, No. 3, Paper No. 3, 38 p. (2015). MSC: 68N17 68Q55 68Q85 PDF BibTeX XML Cite \textit{I. Tutu} and \textit{J. L. Fiadeiro}, Log. Methods Comput. Sci. 11, No. 3, Paper No. 3, 38 p. (2015; Zbl 1448.68205) Full Text: DOI arXiv OpenURL
Baumeister, Hubert; Bettaz, Mohamed; Maouche, Mourad; Mosteghanemi, M’hamed An institution for Object-Z with inheritance and polymorphism. (English) Zbl 1453.68043 De Nicola, Rocco (ed.) et al., Software, services, and systems. Essays dedicated to Martin Wirsing on the occasion of his retirement from the chair of programming and software engineering, Munich, Germany, 2015. Essays. Cham: Springer. Lect. Notes Comput. Sci. 8950, 134-154 (2015). MSC: 68N30 68Q65 PDF BibTeX XML Cite \textit{H. Baumeister} et al., Lect. Notes Comput. Sci. 8950, 134--154 (2015; Zbl 1453.68043) Full Text: DOI OpenURL
Găină, Daniel; Futatsugi, Kokichi Initial semantics in logics with constructors. (English) Zbl 1319.68146 J. Log. Comput. 25, No. 1, 95-116 (2015). MSC: 68Q65 03G30 PDF BibTeX XML Cite \textit{D. Găină} and \textit{K. Futatsugi}, J. Log. Comput. 25, No. 1, 95--116 (2015; Zbl 1319.68146) Full Text: DOI Link OpenURL
Durnev, V. G. Very subjective memories-reflections. (Russian. English summary) Zbl 1436.01076 Chebyshevskiĭ Sb. 15, No. 4(52), 180-189 (2014). MSC: 01A73 PDF BibTeX XML Cite \textit{V. G. Durnev}, Chebyshevskiĭ Sb. 15, No. 4(52), 180--189 (2014; Zbl 1436.01076) Full Text: MNR OpenURL
Schoenmakers, Sarah; Hilbe, Christian; Blasius, Bernd; Traulsen, Arne Sanctions as honest signals – the evolution of pool punishment by public sanctioning institutions. (English) Zbl 1412.91012 J. Theor. Biol. 356, 36-46 (2014). MSC: 91A22 91A20 91A06 PDF BibTeX XML Cite \textit{S. Schoenmakers} et al., J. Theor. Biol. 356, 36--46 (2014; Zbl 1412.91012) Full Text: DOI OpenURL
Mertzanis, Charilaos Complexity analysis and systemic risk in finance: some methodological issues. (English) Zbl 1418.91634 Kalyagin, Valery A. (ed.) et al., Network models in economics and finance. Cham: Springer. Springer Optim. Appl. 100, 199-237 (2014). MSC: 91G99 68Q25 90B10 PDF BibTeX XML Cite \textit{C. Mertzanis}, Springer Optim. Appl. 100, 199--237 (2014; Zbl 1418.91634) Full Text: DOI OpenURL
Găină, Daniel Forcing, downward Löwenheim-Skolem and omitting types theorems, institutionally. (English) Zbl 1338.03056 Log. Univers. 8, No. 3-4, 469-498 (2014). MSC: 03C25 03C95 03G30 PDF BibTeX XML Cite \textit{D. Găină}, Log. Univers. 8, No. 3--4, 469--498 (2014; Zbl 1338.03056) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{R. Diaconescu} et al., Log. Univers. 8, No. 3--4, 393--406 (2014; Zbl 1338.03073) Full Text: DOI OpenURL
Castaño Perea, Jaime Andrés; Ortiz Rico, Guillermo A coinstitution for abstract behavioral logic. (Spanish. English summary) Zbl 1307.68050 Rev. Integr. 32, No. 2, 199-210 (2014). Reviewer: Juan Climent Vidal (València) MSC: 68Q65 03B70 03G30 18C10 PDF BibTeX XML Cite \textit{J. A. Castaño Perea} and \textit{G. Ortiz Rico}, Rev. Integr. 32, No. 2, 199--210 (2014; Zbl 1307.68050) OpenURL
Ţuţu, Ionuţ Parameterisation for abstract structured specifications. (English) Zbl 1358.68201 Theor. Comput. Sci. 517, 102-142 (2014). MSC: 68Q65 PDF BibTeX XML Cite \textit{I. Ţuţu}, Theor. Comput. Sci. 517, 102--142 (2014; Zbl 1358.68201) Full Text: DOI OpenURL
Fleiß, Jürgen; Palan, Stefan Of coordinators and dictators: a public goods experiment. (English) Zbl 1314.91081 Games 4, No. 4, 584-607 (2013). MSC: 91A90 91B18 PDF BibTeX XML Cite \textit{J. Fleiß} and \textit{S. Palan}, Games 4, No. 4, 584--607 (2013; Zbl 1314.91081) Full Text: DOI OpenURL
Liu, Xiangbo; Qiu, Zhigang; Xiong, Yan VaR constrained asset pricing with relative performance. (English) Zbl 1288.91096 Econ. Lett. 121, No. 2, 174-178 (2013). MSC: 91B25 PDF BibTeX XML Cite \textit{X. Liu} et al., Econ. Lett. 121, No. 2, 174--178 (2013; Zbl 1288.91096) Full Text: DOI OpenURL
Diaconescu, Răzvan Institutional semantics for many-valued logics. (English) Zbl 1307.03014 Fuzzy Sets Syst. 218, 32-52 (2013). Reviewer: Sergejs Solovjovs (Brno) MSC: 03B50 03G30 PDF BibTeX XML Cite \textit{R. Diaconescu}, Fuzzy Sets Syst. 218, 32--52 (2013; Zbl 1307.03014) Full Text: DOI Link OpenURL
Ţuţu, Ionuţ Comorphisms of structured institutions. (English) Zbl 1284.68417 Inf. Process. Lett. 113, No. 22-24, 894-900 (2013). MSC: 68Q60 68Q65 03B70 03B40 68N30 PDF BibTeX XML Cite \textit{I. Ţuţu}, Inf. Process. Lett. 113, No. 22--24, 894--900 (2013; Zbl 1284.68417) Full Text: DOI OpenURL
Ţuţu, Ionuţ Logical foundations of services. (English) Zbl 1281.68158 Jones, Andrew V. (ed.) et al., 2013 Imperial College computing student workshop ICCSW’13, London, UK, September 26–27, 2013. Selected papers of the 3rd workshop. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-63-7). OASIcs – OpenAccess Series in Informatics 35, 111-118, electronic only (2013). MSC: 68Q65 03B70 PDF BibTeX XML Cite \textit{I. Ţuţu}, OASIcs -- OpenAccess Ser. Inform. 35, 111--118 (2013; Zbl 1281.68158) Full Text: DOI OpenURL
Voutsadakis, George Categorical abstract algebraic logic: referential algebraic semantics. (English) Zbl 1301.03072 Stud. Log. 101, No. 4, 849-899 (2013). Reviewer: Răzvan Diaconescu (Ploiesti) MSC: 03G30 03G27 PDF BibTeX XML Cite \textit{G. Voutsadakis}, Stud. Log. 101, No. 4, 849--899 (2013; Zbl 1301.03072) Full Text: DOI OpenURL
Voutsadakis, George Categorical astract algebraic logic: algebraic semantics for \(\pi\)-institutions. (English) Zbl 1268.03085 Math. Log. Q. 59, No. 3, 177-200 (2013). Reviewer: Juan Climent Vidal (València) MSC: 03G30 03G27 PDF BibTeX XML Cite \textit{G. Voutsadakis}, Math. Log. Q. 59, No. 3, 177--200 (2013; Zbl 1268.03085) Full Text: DOI OpenURL
Găină, Daniel Interpolation in logics with constructors. (English) Zbl 1259.03092 Theor. Comput. Sci. 474, 46-59 (2013). MSC: 03G30 03C40 68Q65 PDF BibTeX XML Cite \textit{D. Găină}, Theor. Comput. Sci. 474, 46--59 (2013; Zbl 1259.03092) Full Text: DOI OpenURL
Găină, Daniel; Futatsugi, Kokichi; Ogata, Kazuhiro Constructor-based logics. (English) Zbl 1362.68193 J. UCS 18, No. 16, 2204-2233 (2012). MSC: 68Q65 03G30 PDF BibTeX XML Cite \textit{D. Găină} et al., J. UCS 18, No. 16, 2204--2233 (2012; Zbl 1362.68193) Full Text: Link OpenURL
Diaconescu, Răzvan Three decades of institution theory. (English) Zbl 1295.03051 Béziau, Jean-Yves (ed.), Universal logic: An anthology. From Paul Hertz to Dov Gabbay. Basel: Birkhäuser (ISBN 978-3-0346-0144-3/pbk; 978-3-0346-0145-0/ebook). Studies in Universal Logic, 309-321 (2012). MSC: 03G30 03C95 18C50 68Q65 03-03 PDF BibTeX XML Cite \textit{R. Diaconescu}, in: Universal logic: An anthology. From Paul Hertz to Dov Gabbay. Basel: Birkhäuser. 309--321 (2012; Zbl 1295.03051) OpenURL
Beierle, Christoph; Kern-Isberner, Gabriele Semantical investigations into nonmonotonic and probabilistic logics. (English) Zbl 1280.68245 Ann. Math. Artif. Intell. 65, No. 2-3, 123-158 (2012). MSC: 68T27 68T30 68T37 PDF BibTeX XML Cite \textit{C. Beierle} and \textit{G. Kern-Isberner}, Ann. Math. Artif. Intell. 65, No. 2--3, 123--158 (2012; Zbl 1280.68245) Full Text: DOI OpenURL
Zhu, Hong An institution theory of formal meta-modelling in graphically extended BNF. (English) Zbl 1251.68080 Front. Comput. Sci. 6, No. 1, 40-56 (2012). MSC: 68N30 68Q60 PDF BibTeX XML Cite \textit{H. Zhu}, Front. Comput. Sci. 6, No. 1, 40--56 (2012; Zbl 1251.68080) OpenURL
Diaconescu, Răzvan Borrowing interpolation. (English) Zbl 1252.03147 J. Log. Comput. 22, No. 3, 561-586 (2012). Reviewer: Juan Climent Vidal (València) MSC: 03G30 03C40 PDF BibTeX XML Cite \textit{R. Diaconescu}, J. Log. Comput. 22, No. 3, 561--586 (2012; Zbl 1252.03147) Full Text: DOI Link OpenURL
Panaretos, John; Malesios, Chrisovalandis Influential mathematicians: birth, education, and affiliation. (English) Zbl 1244.00021 Notices Am. Math. Soc. 59, No. 2, 274-286 (2012). MSC: 00A35 97K80 PDF BibTeX XML Cite \textit{J. Panaretos} and \textit{C. Malesios}, Notices Am. Math. Soc. 59, No. 2, 274--286 (2012; Zbl 1244.00021) Full Text: DOI arXiv OpenURL
Hu, Xiaoping; He, Jianmin Research on optimal liquidation strategy based on supply curves. (Chinese. English summary) Zbl 1240.91145 J. Syst. Eng. 26, No. 2, 188-194 (2011). MSC: 91G10 PDF BibTeX XML Cite \textit{X. Hu} and \textit{J. He}, J. Syst. Eng. 26, No. 2, 188--194 (2011; Zbl 1240.91145) OpenURL
Madeira, Alexandre; Faria, José M.; Martins, Manuel A.; Barbosa, Luís S. Hybrid specification of reactive systems: an institutional approach. (English) Zbl 1350.68190 Barthe, Gilles (ed.) et al., Software engineering and formal methods. 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14–18, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24689-0/pbk). Lecture Notes in Computer Science 7041, 269-285 (2011). MSC: 68Q65 PDF BibTeX XML Cite \textit{A. Madeira} et al., Lect. Notes Comput. Sci. 7041, 269--285 (2011; Zbl 1350.68190) Full Text: DOI Link OpenURL
Diaconescu, Răzvan Structural induction in institutions. (English) Zbl 1241.03073 Inf. Comput. 209, No. 9, 1197-1222 (2011). Reviewer: Juan Climent Vidal (València) MSC: 03G30 68Q65 PDF BibTeX XML Cite \textit{R. Diaconescu}, Inf. Comput. 209, No. 9, 1197--1222 (2011; Zbl 1241.03073) Full Text: DOI OpenURL
Martins, Manuel A.; Madeira, Alexandre; Diaconescu, Răzvan; Barbosa, Luís S. Hybridization of institutions. (English) Zbl 1343.03052 Corradini, Andrea (ed.) et al., Algebra and coalgebra in computer science. 4th international conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22943-5/pbk). Lecture Notes in Computer Science 6859, 283-297 (2011). MSC: 03G30 03B45 68Q65 PDF BibTeX XML Cite \textit{M. A. Martins} et al., Lect. Notes Comput. Sci. 6859, 283--297 (2011; Zbl 1343.03052) Full Text: DOI Link OpenURL
Diaconescu, Răzvan; Ţuţu, Ionuţ On the algebra of structured specifications. (English) Zbl 1252.68199 Theor. Comput. Sci. 412, No. 28, 3145-3174 (2011). MSC: 68Q65 PDF BibTeX XML Cite \textit{R. Diaconescu} and \textit{I. Ţuţu}, Theor. Comput. Sci. 412, No. 28, 3145--3174 (2011; Zbl 1252.68199) Full Text: DOI Link OpenURL
Codescu, Mihai; Mossakowski, Till; Riesco, Adrián; Maeder, Christian Integrating Maude into Hets. (English) Zbl 1308.68075 Johnson, Michael (ed.) et al., Algebraic methodology and software technology. 13th international conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23–25, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-17795-8/pbk). Lecture Notes in Computer Science 6486, 60-75 (2011). MSC: 68Q65 68Q42 68Q60 PDF BibTeX XML Cite \textit{M. Codescu} et al., Lect. Notes Comput. Sci. 6486, 60--75 (2011; Zbl 1308.68075) Full Text: DOI OpenURL
Koike, Shimpei; Nakamaru, Mayuko; Tsujimoto, Masahiro Evolution of cooperation in rotating indivisible goods game. (English) Zbl 1406.91040 J. Theor. Biol. 264, No. 1, 143-153 (2010). MSC: 91A22 92D15 91B32 PDF BibTeX XML Cite \textit{S. Koike} et al., J. Theor. Biol. 264, No. 1, 143--153 (2010; Zbl 1406.91040) Full Text: DOI OpenURL
Kutz, Oliver; Mossakowski, Till; Lücke, Dominik Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design. (English) Zbl 1255.68153 Log. Univers. 4, No. 2, 255-333 (2010). MSC: 68T30 68Q65 68T27 PDF BibTeX XML Cite \textit{O. Kutz} et al., Log. Univers. 4, No. 2, 255--333 (2010; Zbl 1255.68153) Full Text: DOI OpenURL
Begičević, Nina; Divjak, Blaženka; Hunjak, Tihomir Decision-making on prioritization of projects in higher education institutions using the analytic network process approach. (English) Zbl 1204.90063 CEJOR, Cent. Eur. J. Oper. Res. 18, No. 3, 341-364 (2010). MSC: 90B90 90B50 PDF BibTeX XML Cite \textit{N. Begičević} et al., CEJOR, Cent. Eur. J. Oper. Res. 18, No. 3, 341--364 (2010; Zbl 1204.90063) Full Text: DOI OpenURL
Eklund, Patrik; Helgesson, Robert Monadic extensions of institutions. (English) Zbl 1229.03062 Fuzzy Sets Syst. 161, No. 18, 2354-2368 (2010). Reviewer: Răzvan Diaconescu (Ploiesti) MSC: 03G30 03B50 03B52 03B70 18C15 PDF BibTeX XML Cite \textit{P. Eklund} and \textit{R. Helgesson}, Fuzzy Sets Syst. 161, No. 18, 2354--2368 (2010; Zbl 1229.03062) Full Text: DOI OpenURL
Climent Vidal, J.; Soliveres Tur, J. A 2-categorial generalization of the concept of institution. (English) Zbl 1220.03053 Stud. Log. 95, No. 3, 301-344 (2010). Reviewer: Răzvan Diaconescu (Ploiesti) MSC: 03G30 18C15 18D05 PDF BibTeX XML Cite \textit{J. Climent Vidal} and \textit{J. Soliveres Tur}, Stud. Log. 95, No. 3, 301--344 (2010; Zbl 1220.03053) Full Text: DOI OpenURL
Diaconescu, Răzvan; Petria, Marius Saturated models in institutions. (English) Zbl 1208.03040 Arch. Math. Logic 49, No. 6, 693-723 (2010). Reviewer: Dimitru Buşneag (Craiova) MSC: 03C50 03C95 18C50 PDF BibTeX XML Cite \textit{R. Diaconescu} and \textit{M. Petria}, Arch. Math. Logic 49, No. 6, 693--723 (2010; Zbl 1208.03040) Full Text: DOI Link OpenURL
Diaconescu, Răzvan Quasi-Boolean encodings and conditionals in algebraic specification. (English) Zbl 1187.68322 J. Log. Algebr. Program. 79, No. 2, 174-188 (2010). MSC: 68Q65 PDF BibTeX XML Cite \textit{R. Diaconescu}, J. Log. Algebr. Program. 79, No. 2, 174--188 (2010; Zbl 1187.68322) Full Text: DOI Link OpenURL
Huang, Yundong A naive uncertainty model for measuring operational risks faced by financial institutions. (English) Zbl 1411.91600 Stoch. Environ. Res. Risk Assess. 23, No. 4, 507-516 (2009). MSC: 91G40 PDF BibTeX XML Cite \textit{Y. Huang}, Stoch. Environ. Res. Risk Assess. 23, No. 4, 507--516 (2009; Zbl 1411.91600) Full Text: DOI OpenURL
Beierle, Christoph; Kern-Isberner, Gabriele Formal similarities and differences among qualitative conditional semantics. (English) Zbl 1191.68672 Int. J. Approx. Reasoning 50, No. 9, 1333-1346 (2009). MSC: 68T37 PDF BibTeX XML Cite \textit{C. Beierle} and \textit{G. Kern-Isberner}, Int. J. Approx. Reasoning 50, No. 9, 1333--1346 (2009; Zbl 1191.68672) Full Text: DOI OpenURL
Voutsadakis, George Categorical abstract algebraic logic: structurality, protoalgebraicity, and correspondence. (English) Zbl 1182.03111 Math. Log. Q. 55, No. 1, 51-67 (2009). Reviewer: Răzvan Diaconescu (Ploiesti) MSC: 03G30 03G27 PDF BibTeX XML Cite \textit{G. Voutsadakis}, Math. Log. Q. 55, No. 1, 51--67 (2009; Zbl 1182.03111) Full Text: DOI OpenURL
Ida, T.; Anbashi, M. Analysis of vertical separation of regulators under adverse selection. (English) Zbl 1134.91030 J. Econ. 93, No. 1, 1-29 (2008). MSC: 91B54 PDF BibTeX XML Cite \textit{T. Ida} and \textit{M. Anbashi}, J. Econ. 93, No. 1, 1--29 (2008; Zbl 1134.91030) Full Text: DOI OpenURL
Fernando, Babeth Isa S.; Cabanda, Emilyn C. Measuring efficiency and productive performance of colleges at the University of Santo Tomas: a nonparametric approach. (English) Zbl 1377.90037 Int. Trans. Oper. Res. 14, No. 3, 217-229 (2007). MSC: 90B50 62P30 62-07 PDF BibTeX XML Cite \textit{B. I. S. Fernando} and \textit{E. C. Cabanda}, Int. Trans. Oper. Res. 14, No. 3, 217--229 (2007; Zbl 1377.90037) Full Text: DOI OpenURL
Mossakowski, Till; Goguen, Joseph; Diaconescu, Răzvan; Tarlecki, Andrzej What is a logic? In memoriam Joseph Goguen. 2nd revised ed. (English) Zbl 1143.03356 Beziau, Jean-Yves (ed.), Logica universalis. Towards a general theory of logic. Basel: Birkhäuser (ISBN 978-3-7643-8353-4/pbk). 111-133 (2007). MSC: 03C95 18A15 03G30 PDF BibTeX XML Cite \textit{T. Mossakowski} et al., in: Logica universalis. Towards a general theory of logic. Basel: Birkhäuser. 111--133 (2007; Zbl 1143.03356) OpenURL
Voutsadakis, George Categorical abstract algebraic logic: Gentzen \((\pi)\)-institutions. (English) Zbl 1137.03039 Sci. Math. Jpn. 66, No. 2, 227-242 (2007). MSC: 03G30 PDF BibTeX XML Cite \textit{G. Voutsadakis}, Sci. Math. Jpn. 66, No. 2, 227--242 (2007; Zbl 1137.03039) OpenURL
Aiguier, M.; Barbier, F. An institution-independent proof of the Beth definability theorem. (English) Zbl 1134.03043 Stud. Log. 85, No. 3, 333-359 (2007). Reviewer: Răzvan Diaconescu (Ploiesti) MSC: 03G30 03C40 PDF BibTeX XML Cite \textit{M. Aiguier} and \textit{F. Barbier}, Stud. Log. 85, No. 3, 333--359 (2007; Zbl 1134.03043) Full Text: DOI HAL OpenURL
Lin, Tyrone T.; Tu, Chia-Jung Decision analysis on upper and lower bounds of optimal loan qualities for financial institution. (English) Zbl 1219.91040 J. Inf. Optim. Sci. 28, No. 1, 111-128 (2007). MSC: 91B06 PDF BibTeX XML Cite \textit{T. T. Lin} and \textit{C.-J. Tu}, J. Inf. Optim. Sci. 28, No. 1, 111--128 (2007; Zbl 1219.91040) Full Text: DOI OpenURL
Găină, Daniel; Popescu, Andrei An institution-independent proof of the Robinson consistency theorem. (English) Zbl 1123.03059 Stud. Log. 85, No. 1, 41-73 (2007). Reviewer: Răzvan Diaconescu (Ploiesti) MSC: 03G30 03B10 03C40 PDF BibTeX XML Cite \textit{D. Găină} and \textit{A. Popescu}, Stud. Log. 85, No. 1, 41--73 (2007; Zbl 1123.03059) Full Text: DOI OpenURL
Benson, Glenn Portable security transaction protocol. (English) Zbl 1152.68381 Comput. Netw. 51, No. 3, 751-766 (2007). MSC: 68M12 68M10 PDF BibTeX XML Cite \textit{G. Benson}, Comput. Netw. 51, No. 3, 751--766 (2007; Zbl 1152.68381) Full Text: DOI OpenURL
Gaĭnă, Daniel; Popescu, Andrei An institution-independent generalization of Tarski’s elementary chain theorem. (English) Zbl 1123.03058 J. Log. Comput. 16, No. 6, 713-735 (2006). Reviewer: Răzvan Diaconescu (Ploiesti) MSC: 03G30 03B10 03C40 PDF BibTeX XML Cite \textit{D. Gaĭnă} and \textit{A. Popescu}, J. Log. Comput. 16, No. 6, 713--735 (2006; Zbl 1123.03058) Full Text: DOI Link OpenURL
Grossi, Davide; Aldewereld, Huib; Vázquez-Salceda, Javier; Dignum, Frank Ontological aspects of the implementation of norms in agent-based electronic institutions. (English) Zbl 1103.68686 Comput. Math. Organ. Theory 12, No. 2-3, 251-275 (2006). MSC: 68T05 PDF BibTeX XML Cite \textit{D. Grossi} et al., Comput. Math. Organ. Theory 12, No. 2--3, 251--275 (2006; Zbl 1103.68686) Full Text: DOI Link OpenURL
Leung, Charles Ka Yui; Tang, Sam Hak Kan; Groenewold, Nicolaas Growth volatility and technical progress: a simple rent-seeking model. (English) Zbl 1184.91140 J. Econ. 88, No. 2, 159-178 (2006). MSC: 91B62 PDF BibTeX XML Cite \textit{C. K. Y. Leung} et al., J. Econ. 88, No. 2, 159--178 (2006; Zbl 1184.91140) Full Text: DOI OpenURL
Bidoit, Michel; Hennicker, Rolf Constructor-based observational logic. (English) Zbl 1088.68112 J. Log. Algebr. Program. 67, No. 1-2, 3-51 (2006). MSC: 68Q65 03B70 PDF BibTeX XML Cite \textit{M. Bidoit} and \textit{R. Hennicker}, J. Log. Algebr. Program. 67, No. 1--2, 3--51 (2006; Zbl 1088.68112) Full Text: DOI Link OpenURL
Roggenbach, Markus CSP-CASL – a new integration of process algebra and algebraic specification. (English) Zbl 1088.68132 Theor. Comput. Sci. 354, No. 1, 42-71 (2006). MSC: 68Q85 68Q65 PDF BibTeX XML Cite \textit{M. Roggenbach}, Theor. Comput. Sci. 354, No. 1, 42--71 (2006; Zbl 1088.68132) Full Text: DOI OpenURL
Borzyszkowski, Tomasz Generalized interpolation in first order logic. (English) Zbl 1100.03020 Fundam. Inform. 66, No. 3, 199-219 (2005). MSC: 03C40 03B10 68Q65 PDF BibTeX XML Cite \textit{T. Borzyszkowski}, Fundam. Inform. 66, No. 3, 199--219 (2005; Zbl 1100.03020) OpenURL
Lin, Tyrone T.; Lo, I-Hsuan Expected return given uncertain recovery rate and information asymmetry. (English) Zbl 1103.91044 J. Inf. Optim. Sci. 26, No. 1, 181-192 (2005). MSC: 91B30 91B54 PDF BibTeX XML Cite \textit{T. T. Lin} and \textit{I-H. Lo}, J. Inf. Optim. Sci. 26, No. 1, 181--192 (2005; Zbl 1103.91044) Full Text: DOI OpenURL
Mossakowski, Till; Goguen, Joseph; Diaconescu, Răzvan; Tarlecki, Andrzej What is a logic? (English) Zbl 1080.03028 Beziau, Jean-Yves (ed.), Logica universalis. Towards a general theory of logic. Basel: Birkhäuser (ISBN 3-7643-7259-1/pbk). 113-133 (2005). Reviewer: Dimitru Busneag (Craiova) MSC: 03C95 18A15 03G30 PDF BibTeX XML Cite \textit{T. Mossakowski} et al., in: Logica universalis. Towards a general theory of logic. Basel: Birkhäuser. 113--133 (2005; Zbl 1080.03028) OpenURL
Voutsadakis, George Categorical abstract algebraic logic: categorical algebraization of first-order logic without terms. (English) Zbl 1067.03070 Arch. Math. Logic 44, No. 4, 473-491 (2005). Reviewer: Peter T. Johnstone (Cambridge) MSC: 03G30 18C50 PDF BibTeX XML Cite \textit{G. Voutsadakis}, Arch. Math. Logic 44, No. 4, 473--491 (2005; Zbl 1067.03070) Full Text: DOI OpenURL
Luo, Yuelong; Kuang, Mo; Yu, Zhiping Research on residual distribution based on substitute cost of participant resources. (Chinese. English summary) Zbl 1123.91346 J. Southwest Jiaotong Univ. 39, No. 4, 503-506, 515 (2004). MSC: 91B32 PDF BibTeX XML Cite \textit{Y. Luo} et al., J. Southwest Jiaotong Univ. 39, No. 4, 503--506, 515 (2004; Zbl 1123.91346) OpenURL
Voutsadakis, George Categorical abstract algebraic logic: categorical algebraization of equational logic. (English) Zbl 1067.03069 Log. J. IGPL 12, No. 4, 313-333 (2004). Reviewer: Peter T. Johnstone (Cambridge) MSC: 03G30 18C50 PDF BibTeX XML Cite \textit{G. Voutsadakis}, Log. J. IGPL 12, No. 4, 313--333 (2004; Zbl 1067.03069) Full Text: DOI Link OpenURL
Dumbaugh Fenster, Della Funds for mathematics: Carnegie Institution of Washington support for mathematics from 1902 to 1921. (English) Zbl 1038.01016 Hist. Math. 30, No. 2, 195-216 (2003). MSC: 01A60 PDF BibTeX XML Cite \textit{D. Dumbaugh Fenster}, Hist. Math. 30, No. 2, 195--216 (2003; Zbl 1038.01016) Full Text: DOI OpenURL
Voutsadakis, George Categorical abstract algebraic logic: The criterion for deductive equivalence. (English) Zbl 1022.03051 Math. Log. Q. 49, No. 4, 347-352 (2003); corrigendum ibid. 51, No. 6, 644 (2005). MSC: 03G30 18C10 68N30 PDF BibTeX XML Cite \textit{G. Voutsadakis}, Math. Log. Q. 49, No. 4, 347--352 (2003; Zbl 1022.03051) Full Text: DOI OpenURL
Bidoit, Michel; Hennicker, Rolf; Kurz, Alexander Observational logic, constructor-based logic, and their duality. (English) Zbl 1038.68079 Theor. Comput. Sci. 298, No. 3, 471-510 (2003). MSC: 68Q65 PDF BibTeX XML Cite \textit{M. Bidoit} et al., Theor. Comput. Sci. 298, No. 3, 471--510 (2003; Zbl 1038.68079) Full Text: DOI OpenURL
Lucanu, Dorel Initial logic and induction in algebraic specification. (English) Zbl 1134.68423 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 12, 79-108 (2002). MSC: 68Q65 68Q60 PDF BibTeX XML Cite \textit{D. Lucanu}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Inf. 12, 79--108 (2002; Zbl 1134.68423) OpenURL
Veloso, Paulo A. S.; Fiadeiro, José L.; Veloso, Sheila R. M. On local modularity and interpolation in entailment systems. (English) Zbl 1043.68075 Inf. Process. Lett. 82, No. 4, 203-211 (2002). MSC: 68Q65 68N30 PDF BibTeX XML Cite \textit{P. A. S. Veloso} et al., Inf. Process. Lett. 82, No. 4, 203--211 (2002; Zbl 1043.68075) Full Text: DOI OpenURL
Goguen, Joseph; Roşu, Grigore Institution morphisms. (English) Zbl 1001.68019 Formal Asp. Comput. 13, No. 3-5, 274-307 (2002). MSC: 68N17 03C95 03G30 18A40 68Q60 68Q65 PDF BibTeX XML Cite \textit{J. Goguen} and \textit{G. Roşu}, Formal Asp. Comput. 13, No. 3--5, 274--307 (2002; Zbl 1001.68019) Full Text: DOI OpenURL