Found 1,152 Documents (Results 1–100)
On the problem of abstract characterization of universal graphic automata. (Russian. English summary) Zbl 07879126
MSC:
68-XX
Sign properties and axiomatizations of the weighted division values. (English) Zbl 1542.91014
MSC:
91A12
Axiomatization of hybrid logic of link variations. (English) Zbl 07856038
Gierasimczuk, Nina (ed.) et al., Dynamic logic. New trends and applications. 5th international workshop, DaLí 2023, Tbilisi, Georgia, September 15–16, 2023. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 14401, 35-51 (2024).
MSC:
03B70
Logic of the hide and seek game: characterization, axiomatization, decidability. (English) Zbl 07856037
Gierasimczuk, Nina (ed.) et al., Dynamic logic. New trends and applications. 5th international workshop, DaLí 2023, Tbilisi, Georgia, September 15–16, 2023. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 14401, 20-34 (2024).
MSC:
03B70
On some weakened forms of transitivity in the logic of conditional obligation. (English) Zbl 07854135
MSC:
03-XX
Proportional clearing mechanisms in financial systems: an axiomatic approach. (English) Zbl 1533.91478
MSC:
91G45
Making norms and following norms. (English) Zbl 07871927
Alechina, Natasha (ed.) et al., Logic, rationality, and interaction. 9th international workshop, LORI 2023, Jinan, China, October 26–29, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14329, 260-268 (2023).
MSC:
68T27
Unknown truths and unknowable truths. (English) Zbl 07871914
Alechina, Natasha (ed.) et al., Logic, rationality, and interaction. 9th international workshop, LORI 2023, Jinan, China, October 26–29, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14329, 86-93 (2023).
MSC:
68T27
Some properties of interval Shapley values: an axiomatic analysis. (English) Zbl 07865453
MSC:
91A12
Restriction in program algebra. (English) Zbl 07806942
Three faces of recursion axioms: the case of constructive dynamic logic of relation changers. (English) Zbl 07801583
An \(\alpha\)-maxmin utility representation for close and distant future preferences with temporal biases. (English) Zbl 1532.91044
MSC:
91B16
A simple example of blocking the Craig trick. (Russian. English summary) Zbl 07793831
MSC:
03-XX
Players’ dummification and the dummified egalitarian non-separable contribution value. (English) Zbl 1521.91021
MSC:
91A12
Simplifying the axiomatization for ordered affine geometry via a theorem prover. (English) Zbl 1518.51009
Reviewer: Victor V. Pambuccian (Glendale)
Two-step Shapley-solidarity value for cooperative games with coalition structure. (English) Zbl 1519.91023
MSC:
91A12
Probabilistic weak bisimulation and axiomatization for probabilistic models. (English) Zbl 07691958
MSC:
68Qxx
Complete logics for elementary team properties. (English) Zbl 07691753
MSC:
03B60
Conditional logic is complete for convexity in the plane. (English) Zbl 1525.03071
Reviewer: Xavier Parent (Wien)
MSC:
03B45
The general compromise value for cooperative games with transferable utility. (English) Zbl 1512.91007
MSC:
91A12
Arbitrary public announcement logic with memory. (English) Zbl 1539.03047
MSC:
03B42
The man from the future. The visionary life of John von Neumann. Translated from the English by Anatole Muchnik. (John von Neumann. L’homme qui venait du futur. L’histoire de l’un des plus grands génies du siècle.) (French) Zbl 1519.01002
Lausanne: Presses Polytechniques et Universitaires Romandes (PPUR)/Quanto (ISBN 978-2-88915-507-1). 392 p. (2023).
Reviewer: Nadia Boudi (Rabat)
Quantifier elimination for o-minimal structures expanded by a valuational cut. (English) Zbl 1508.03070
Reviewer: Fujita Masato (Kure)
Jankov formulas and axiomatization techniques for intermediate logics. (English) Zbl 07672616
Citkin, Alex (ed.) et al., V. A. Yankov on non-classical logics, history and philosophy of mathematics. Cham: Springer. Outst. Contrib. Log. 24, 71-124 (2022).
Describing neighborhoods in inquisitive modal logic. (English) Zbl 1531.03034
Fernández-Duque, David (ed.) et al., Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22–25, 2022. London: College Publications. 217-236 (2022).
MSC:
03B45
Parametrized modal logic. I: An introduction. (English) Zbl 1531.03031
Fernández-Duque, David (ed.) et al., Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22–25, 2022. London: College Publications. 97-117 (2022).
MSC:
03B45
The implication problem for functional dependencies and variants of marginal distribution equivalences. (English) Zbl 07630643
Varzinczak, Ivan (ed.), Foundations of information and knowledge systems. 12th international symposium, FoIKS 2022, Helsinki, Finland, June 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13388, 130-146 (2022).
The algebra of non-deterministic programs: demonic operations, orders and axioms. (English) Zbl 1499.08001
Optimization implementation of solution concepts for cooperative games with stochastic payoffs. (English) Zbl 1500.91009
New axiomatization of Lewis’ conditional logics. (English) Zbl 07582526
Liao, Beishui (ed.) et al., Logics for new-generation AI. Second international workshop, Zhuhai, China, June 10–12, 2022. London: College Publications. 95-106 (2022).
MSC:
03B60
Hyperplane games, prize games and NTU values. (English) Zbl 1497.91025
MSC:
91A12
Sharing the surplus and proportional values. (English) Zbl 1497.91026
MSC:
91A12
A finite axiomatization of positive MV-algebras. (English) Zbl 1529.06016
MSC:
06D35
The allocation of marginal surplus for cooperative games with transferable utility. (English) Zbl 1493.91012
Groups of worldview transformations implied by Einstein’s special principle of relativity over arbitrary ordered fields. (English) Zbl 1532.03013
Logics of (in)sane and (un)reliable beliefs. (English) Zbl 1494.03037
MSC:
03B42
First-order theories of bounded trees. (English) Zbl 1523.03013
Reviewer: Beibut Kulpeshov (Almaty)
Axiomatization of the degree of Fitzpatrick, Pejsachowicz and Rabier. (English) Zbl 1521.47097
Reviewer: Janko Bračič (Ljubljana)
A formal study of a generalized rough set model based on subset approximation structure. (English) Zbl 07460570
MSC:
68T37
On Hilbert’s sixth problem. (English) Zbl 1494.00005
Synthese Library 441. Cham: Springer (ISBN 978-3-030-83836-2/hbk; 978-3-030-83837-9/ebook). xiii, 191 p. (2022).
Reviewer: Deborah Konkowski (Annapolis)
Axiomatizing non-deterministic many-valued generalized consequence relations. (English) Zbl 1525.03086
MSC:
03B50
A logic of knowing why. (English) Zbl 1506.03068
MSC:
03B42
Completeness theorems for \(\exists \Box\)-fragment of first-order modal logic. (English) Zbl 07547774
Ghosh, Sujata (ed.) et al., Logic, rationality, and interaction. 8th international workshop, LORI 2021, Xi’ian, China, October 16–18, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13039, 246-258 (2021).
MSC:
03B45
On a new method of analyzing properties of efficient, symmetric and linear values of TU-games. (English) Zbl 1483.91027
Two variants of noncontingency operator. (English) Zbl 1529.03147
MSC:
03B45
Calculizing classical inferential erotetic logic. (English) Zbl 1517.03030
MSC:
03B65
On different ranking methods. (English) Zbl 1481.91076
Borkotokey, Surajit (ed.) et al., Game theory and networks. New perspectives and directions. Selected papers based on the presentations at the international conference on game theory and networks, Dibrugarh University, Dibrugarh, India, September 6–8, 2019, and the international seminar on game theory and networks, Dibrugarh University, Dibrugarh, India, September 13–14, 2018. Singapore: Springer. Indian Stat. Inst. Ser., 105-116 (2021).
On implicational intermediate logics axiomatizable by formulas minimal in classical logic: a counter-example to the Komori-Kashima problem. (English) Zbl 1539.03102
MSC:
03B55
Value-free reductions. (English) Zbl 1478.91009
MSC:
91A12
Strategic coalitions in stochastic games. (English) Zbl 07423155
MSC:
91A15
Forward-reverse observational equivalences in CCSK. (English) Zbl 1476.68097
Yamashita, Shigeru (ed.) et al., Reversible computation. 13th international conference, RC 2021, virtual event, July 7–8, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12805, 126-143 (2021).
Redistribution to the less productive: parallel characterizations of the egalitarian Shapley and consensus values. (English) Zbl 1470.91028
Theory Decis. 91, No. 1, 81-98 (2021); correction ibid. 91, No. 1, 99 (2021).
MSC:
91A12
A system of axioms for Minkowski spacetime. (English) Zbl 1473.03008
Reviewer: Victor V. Pambuccian (Glendale)
Recapturing dynamic logic of relation changers via bounded morphisms. (English) Zbl 1535.03080
MSC:
03B42
The central core and the mid-central core as novel set-valued and point-valued solution concepts for transferable utility coalitional games. (English) Zbl 1461.91027
MSC:
91A12
Feasibility-free axiomatization of the core and its non-empty extension. (English) Zbl 1460.91016
MSC:
91A12
Axiomatic theory of betweenness. (English) Zbl 1496.03033
Reviewer: Paul Bankston (Milwaukee)
On non-finite axiomatization of \(n\)-modal logics between \(\mathbf{K}^n\) and \(\mathbf{S}5^n\) for finite \(n \geq 3\). (English) Zbl 1513.03036
Betweenness of partial orders. (English) Zbl 1484.03050
Constructive dynamic logic of relation changers. (English) Zbl 1536.03008
Martins, Manuel A. (ed.) et al., Dynamic logic. New trends and applications. Third international workshop, Dalí 2020, Prague, Czech Republic, October 9–10, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12569, 137-154 (2020).
MSC:
03B42
Knowledge and approximations: a formal study under the perspective of information systems and rough set theory. (English) Zbl 1458.68206
A reformulated Shapley-like value for cooperative games with interval payoffs. (English) Zbl 1525.91015
MSC:
91A12
Subjective utilitarianism: individual decisions in a social context. (English) Zbl 1457.91144
MSC:
91B06
Similarities in axiomatizations: equal surplus division value and first-price auctions. (English) Zbl 1455.91114
The geometry of point reflections and quasigroups. (English) Zbl 1477.20136
Reviewer: Huberta Lausch (Grafing)
On the behavioral implications of differential privacy. (English) Zbl 1465.68067
Reviewer: T. C. Mohan (Chennai)
MSC:
68P27
Dedekind \(\sigma \)-complete \(\ell \)-groups and Riesz spaces as varieties. (English) Zbl 1484.06059
Knowing the price of success. (English) Zbl 1451.68291
On the notions of upper and lower density. (English) Zbl 1442.11019
Reviewer: Štefan Porubský (Praha)
Filter Results by …
Document Type
- Journal Articles (874)
- Collection Articles (226)
- Books (52)
all
top 5
Author
- Naumov, Pavel G. (24)
- Balbiani, Philippe (21)
- Pambuccian, Victor V. (16)
- Halpern, Joseph Yehuda (13)
- Bezhanishvili, Nick (11)
- Ésik, Zoltán (11)
- Larsen, Kim Guldstrand (11)
- Hodkinson, Ian Martin (10)
- Mardare, Radu (10)
- Marichal, Jean-Luc (10)
- Van den Brink, René (10)
- Couceiro, Miguel (9)
- Kongo, Takumi (9)
- Link, Sebastian (9)
- Ognjanović, Zoran (9)
- Tao, Jia (8)
- Vakarelov, Dimiter (8)
- Xu, Genjiu (8)
- Da Costa, Newton Carneiro Affonso (7)
- Goranko, Valentin F. (7)
- Platzer, André (7)
- Bezhanishvili, Guram (6)
- Bloom, Stephen L. (6)
- Fishburn, Peter Clingerman (6)
- Hou, Dongshuang (6)
- Khan, Md. Aquil (6)
- Németi, István (6)
- Peleg, Bezalel (6)
- Reynolds, Mark Alexander (6)
- Sun, Hao (6)
- Székely, Gergely (6)
- Tinchev, Tinko (6)
- Andréka, Hajnal (5)
- Doder, Dragan (5)
- Dywan, Zdzisław (5)
- Fan, Jie (5)
- Fu, Yuxi (5)
- Liao, Yu-Hsien (5)
- Orłowska, Ewa S. (5)
- Rašković, Miodrag D. (5)
- Teheux, Bruno (5)
- Venema, Yde (5)
- Vychodil, Vilém (5)
- Anshakov, O. M. (4)
- Baaz, Matthias (4)
- Bellissima, Fabio (4)
- Benevides, Mario R. F. (4)
- Burgess, John P. (4)
- Chew, Soo Hong (4)
- Daniels, Charles B. (4)
- de Rijke, Maarten (4)
- Doria, Francisco Antonio (4)
- Egrot, Rob (4)
- Gabbay, Dov M. (4)
- Hájek, Petr (4)
- Hannula, Miika (4)
- Hirsch, Robin (4)
- Kamijo, Yoshio (4)
- Karpenko, Aleksandr Stepanovich (4)
- Kontinen, Juha (4)
- Krapež, Aleksandar (4)
- Li, Wenzhong (4)
- Lismont, Luc (4)
- Madarász, Judit X. (4)
- Montagna, Franco (4)
- Rychkov, S. V. (4)
- Sano, Katsuhiko (4)
- Shehtman, Valentin B. (4)
- Stronkowski, Michał Marek (4)
- Su, Kaile (4)
- Sun, Panfei (4)
- ten Cate, Balder David (4)
- van den Nouweland, Anne (4)
- Veloso, Paulo Augusto Silva (4)
- Waldhauser, Tamás (4)
- Yokote, Koji (4)
- Yun, Veta Fëdorovna (4)
- Zakharyaschev, Michael Viktorovich (4)
- Zanardo, Alberto (4)
- Zielonka, Wojciech (4)
- Aceto, Luca (3)
- Bacci, Giorgio (3)
- Bacci, Giovanni (3)
- Beklemishev, Lev D. (3)
- Blavatskyy, Pavlo R. (3)
- Chen, Qingliang (3)
- Chlebus, Bogdan Stanislaw (3)
- Cittadini, Saverio (3)
- D’Ariano, Giacomo Mauro (3)
- Deiser, Oliver (3)
- Demri, Stéphane P. (3)
- Devillet, Jimmy (3)
- Epstein, Larry G. (3)
- Esteva, Francesc (3)
- Fagin, Ronald (3)
- Fernández Duque, David (3)
- Fervari, Raul (3)
- Funaki, Yukihiko (3)
- Ghassemi, Fatemeh (3)
- Gilboa, Itzhak (3)
- and 1,099 more Authors
all
top 5
Serial
- Stud. Log. (48)
- Theor. Comput. Sci. (30)
- Notre Dame J. Formal Logic (28)
- J. Log. Comput. (27)
- Ann. Pure Appl. Logic (25)
- J. Symb. Log. (24)
- J. Philos. Log. (22)
- Int. J. Game Theory (17)
- Math. Log. Q. (17)
- Z. Math. Logik Grundlagen Math. (16)
- Log. J. IGPL (16)
- Inf. Comput. (15)
- Theory Decis. (14)
- Bull. Sect. Log., Univ. Łódź, Dep. Log. (14)
- Log. Anal., Nouv. Sér. (13)
- Fuzzy Sets Syst. (12)
- J. Econ. Theory (11)
- Arch. Math. Logic (11)
- Algebra Univers. (10)
- Math. Soc. Sci. (10)
- Games Econ. Behav. (10)
- J. Appl. Non-Class. Log. (10)
- J. Appl. Log. (10)
- Bull. Sect. Logic, Pol. Acad. Sci. (10)
- J. Math. Econ. (9)
- Econ. Lett. (9)
- Artif. Intell. (8)
- J. Comput. Syst. Sci. (8)
- Rep. Math. Logic (8)
- Synthese (8)
- Log. Methods Comput. Sci. (8)
- Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. (7)
- J. Logic Lang. Inf. (7)
- Econ. Theory (7)
- Rev. Symb. Log. (7)
- Inf. Process. Lett. (6)
- Inf. Sci. (6)
- J. Math. Psychol. (6)
- Ann. Oper. Res. (6)
- Eur. J. Oper. Res. (6)
- ACM Trans. Comput. Log. (6)
- Int. J. Theor. Phys. (5)
- Econometrica (5)
- Sov. Math., Dokl. (5)
- Soc. Choice Welfare (5)
- J. Autom. Reasoning (5)
- Fundam. Inform. (5)
- J. Log. Algebr. Methods Program. (5)
- J. Algebra (4)
- J. Assoc. Comput. Mach. (4)
- Math. Oper. Res. (4)
- Publ. Inst. Math., Nouv. Sér. (4)
- Result. Math. (4)
- Sib. Math. J. (4)
- Int. J. Approx. Reasoning (4)
- J. Risk Uncertain. (4)
- Ann. Math. Artif. Intell. (4)
- Math. Methods Oper. Res. (4)
- Int. Game Theory Rev. (4)
- Int. J. Uncertain. Fuzziness Knowl.-Based Syst. (4)
- Log. Log. Philos. (4)
- Log. Issled. (4)
- Commun. Math. Phys. (3)
- Acta Philos. Fenn. (3)
- J. Pure Appl. Algebra (3)
- Acta Math. Hung. (3)
- C. R. Acad. Sci., Paris, Sér. I (3)
- Bull. Symb. Log. (3)
- J. Log. Algebr. Program. (3)
- Found. Phys. (3)
- Sib. Èlektron. Mat. Izv. (3)
- Springer-Lehrb. (3)
- Discrete Math. (2)
- Adv. Math. (2)
- J. Oper. Res. Soc. Japan (2)
- Oper. Res. (2)
- Proc. Am. Math. Soc. (2)
- Publ. Math. Debr. (2)
- Publ. Res. Inst. Math. Sci. (2)
- Semigroup Forum (2)
- SIAM J. Comput. (2)
- Trans. Am. Math. Soc. (2)
- Wiss. Z. Ernst-Moritz-Arndt-Univ. Greifsw., Math.-Naturwiss. Reihe (2)
- Insur. Math. Econ. (2)
- Note Mat. (2)
- Oper. Res. Lett. (2)
- Comput. Artif. Intell. (2)
- Order (2)
- Int. J. Algebra Comput. (2)
- Math. Struct. Comput. Sci. (2)
- God. Sofiĭ. Univ., Fak. Mat. Inform. (2)
- Hist. Math. (2)
- Math. USSR, Sb. (2)
- Wiss. Z. Humboldt-Univ. Berlin, Math.-Naturwiss. R. (2)
- Bull. Pol. Acad. Sci., Math. (2)
- Vychisl. Sist. (2)
- Top (2)
- Sci. Rev., Ser. Sci. Eng. (2)
- Soft Comput. (2)
- Far East J. Math. Sci. (FJMS) (2)
- and 170 more Serials
all
top 5
Year of Publication
- 2024 (12)
- 2023 (25)
- 2022 (22)
- 2021 (22)
- 2020 (23)
- 2019 (28)
- 2018 (32)
- 2017 (30)
- 2016 (42)
- 2015 (35)
- 2014 (33)
- 2013 (20)
- 2012 (26)
- 2011 (30)
- 2010 (30)
- 2009 (21)
- 2008 (16)
- 2007 (21)
- 2006 (24)
- 2005 (12)
- 2004 (22)
- 2003 (22)
- 2002 (22)
- 2001 (32)
- 2000 (25)
- 1999 (30)
- 1998 (26)
- 1997 (31)
- 1996 (27)
- 1995 (26)
- 1994 (33)
- 1993 (21)
- 1992 (22)
- 1991 (35)
- 1990 (25)
- 1989 (31)
- 1988 (25)
- 1987 (14)
- 1986 (15)
- 1985 (33)
- 1984 (24)
- 1983 (14)
- 1982 (19)
- 1981 (23)
- 1980 (16)
- 1979 (15)
- 1978 (10)
- 1977 (7)
- 1968 (1)
- 1966 (2)
all
top 3
Main Field
- 03-XX (740)
- 68-XX (305)
- 91-XX (203)
- 06-XX (61)
- 01-XX (50)
- 08-XX (40)
- 51-XX (34)
- 00-XX (33)
- 18-XX (21)
- 20-XX (21)
- 81-XX (20)
- 12-XX (19)
- 60-XX (18)
- 83-XX (18)
- 90-XX (13)
- 05-XX (12)
- 94-XX (11)
- 62-XX (9)
- 13-XX (8)
- 39-XX (8)
- 54-XX (8)
- 70-XX (8)
- 11-XX (6)
- 14-XX (5)
- 34-XX (5)
- 92-XX (5)
- 93-XX (5)
- 28-XX (4)
- 37-XX (4)
- 52-XX (4)
- 65-XX (4)
- 15-XX (3)
- 16-XX (3)
- 26-XX (3)
- 46-XX (3)
- 55-XX (3)
- 22-XX (2)
- 47-XX (2)
- 53-XX (2)
- 57-XX (2)
- 74-XX (2)
- 97-XX (2)
- 19-XX (1)
- 30-XX (1)
- 31-XX (1)
- 32-XX (1)
- 40-XX (1)
- 58-XX (1)
- 76-XX (1)
- 82-XX (1)
- 85-XX (1)
all
top 3
Biographic Reference
- Bernays, Paul (1)
- Brodén, Torsten (1)
- Carathéodory, Constantin (1)
- Frege, Gottlob (1)
- Graßmann, Hermann Günther (1)
- Hertz, Heinrich (1)
- Hilbert, David (1)
- Klein, Felix (1)
- Kolmogorov, Andreĭ Nikolaevich (1)
- Plato (1)
- Tallini, Giuseppe (1)
- von Neumann, John (1)
- Wessel, Horst (1)
- Weyl, Hermann (1)
all
top 3
Software
- OTTER (5)
- XPath (5)
- Isabelle/HOL (3)
- PVS (3)
- mCRL2 (3)
- ACL2 (2)
- Coq (2)
- Isabelle (2)
- JAMM (2)
- KeYmaera (2)
- Mace4 (2)
- Nuprl (2)
- Pesca (2)
- Prover9 (2)
- SPIN (2)
- Waldmeister (2)
- 4eMka2 (1)
- ALGOL 60 (1)
- ANDP (1)
- Algorithm 97 (1)
- Alt-Ergo (1)
- AsmL (1)
- BSPedupack (1)
- BSPlib (1)
- CADP (1)
- CESAR (1)
- CIRC (1)
- CP-nets (1)
- Caduceus (1)
- Concluder (1)
- DL-learner (1)
- Differential_Game_Logic (1)
- Excel (1)
- HOL/SPIN (1)
- Isabelle/ZF (1)
- Ivy (1)
- JPAX (1)
- Jahob (1)
- KLMLean (1)
- KRAKATOA (1)
- KeYmaera X (1)
- LEGO (1)
- MCK (1)
- MCMAS (1)
- MCMAS-SLK (1)
- MOCHA (1)
- MONA (1)
- MS SQL Server (1)
- MSVL (1)
- MaGIC (1)
- Maude (1)
- Miranda (1)
- NQTHM (1)
- NuSMV (1)
- PDDL (1)
- Pregel (1)
- QEPCAD (1)
- R-Charon (1)
- Rath (1)
- Regular Sets (1)
- RelView (1)
- Reo (1)
- SIMPLIFY (1)
- SLMC (1)
- STLlint (1)
- TTM (1)
- UCI-ml (1)
- UNITY (1)
- Uppaal (1)
- VerICS (1)
- Why3 (1)
- Ymer (1)
- mctoolbox (1)
- relaimpo (1)
- z3 (1)