×
Edit Profile (opens in new tab)

Baltag, Alexandru

Co-Author Distance
Author ID: baltag.alexandru Recent zbMATH articles by "Baltag, Alexandru"
Published as: Baltag, Alexandru; Baltag, A.
Documents Indexed: 74 Publications since 1999, including 5 Additional arXiv Preprints
3 Contributions as Editor
Co-Authors: 39 Co-Authors with 70 Joint Publications
657 Co-Co-Authors
all top 5

Co-Authors

7 single-authored
44 Smets, Sonja J. L.
11 Özgün, Aybüke
7 Bezhanishvili, Nick
6 Vargas Sandoval, Ana Lucia
4 Gierasimczuk, Nina
4 van Benthem, Johan F. A. K.
3 Christoff, Zoé
3 Li, Dazhu
3 Moss, Lawrence S.
3 Sack, Joshua
3 Sadrzadeh, Mehrnoosh
2 Bergfeld, Jort Martinus
2 Coecke, Bob
2 Fernández González, Saúl
2 Fiutek, Virginie
2 Hansen, Jens Ulrik
2 Kishida, Kohei
2 Pedersen, Mina Young
2 Rad, Soroush Rafiee
2 Renne, Bryan
2 Solecki, Sławomir
2 Zhong, Shengyang
1 Achimescu, Andreea
1 Balbiani, Philippe
1 Barbosa, Luís Soares
1 Canavotto, Ilaria
1 Ciná, Giovanni
1 de Lima, Tiago
1 Herzig, Andreas
1 Hoshi, Tomohiro
1 Ilin, Julia
1 Occhipinti, Andrés
1 Rendsvig, Rasmus Kræmmer
1 Seligman, Jeremy M.
1 van Ditmarsch, Hans Pieter
1 Westerståhl, Dag
1 Yamada, Tomoyuki
1 Yermakova, Anya
1 Zvesper, Jonathan Alexander
all top 5

Serials

6 Synthese
4 International Journal of Theoretical Physics
4 Journal of Philosophical Logic
4 Studia Logica
2 Journal of Logic and Computation
2 Logic Journal of the IGPL
2 Lecture Notes in Computer Science
1 The Journal of Symbolic Logic
1 Annals of Pure and Applied Logic
1 Mathematical Structures in Computer Science
1 Journal of Logic, Language and Information
1 Soft Computing
1 Erkenntnis
1 The Review of Symbolic Logic
1 Outstanding Contributions to Logic
1 Journal of Logical and Algebraic Methods in Programming
all top 5

Fields

69 Mathematical logic and foundations (03-XX)
23 Computer science (68-XX)
12 Quantum theory (81-XX)
6 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
3 General and overarching topics; collections (00-XX)
2 General topology (54-XX)
1 History and biography (01-XX)
1 Order, lattices, ordered algebraic structures (06-XX)
1 Category theory; homological algebra (18-XX)
1 Information and communication theory, circuits (94-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

57 Publications have been cited 923 times in 522 Documents Cited by ▼ Year ▼
The logic of public announcements, common knowledge, and private suspicions. Zbl 1386.03019
Baltag, Alexandru; Moss, Lawrence S.; Solecki, Sławomir
194
2016
Logics for epistemic programs. Zbl 1100.03010
Baltag, Alexandru; Moss, Lawrence S.
131
2004
A qualitative theory of dynamic interactive belief revision. Zbl 1261.03077
Baltag, Alexandru; Smets, Sonja
84
2008
Conditional doxastic models: a qualitative approach to dynamic belief revision. Zbl 1262.03026
Baltag, Alexandru; Smets, Sonja
53
2006
‘Knowable’ as ‘known after an announcement’. Zbl 1208.03019
Balbiani, Philippe; Baltag, Alexandru; van Ditmarsch, Hans; Herzig, Andreas; Hoshi, Tomohiro; de Lima, Tiago
46
2008
LQP: the dynamic logic of quantum information. Zbl 1103.03031
Baltag, Alexandru; Smets, Sonja
31
2006
Keep ‘hoping’ for rationality: a solution to the backward induction paradox. Zbl 1183.03011
Baltag, Alexandru; Smets, Sonja; Zvesper, Jonathan Alexander
28
2009
Complete axiomatizations for quantum actions. Zbl 1110.81013
Baltag, A.; Smets, S.
25
2005
Quantum logic as a dynamic logic. Zbl 1221.81022
Baltag, Alexandru; Smets, Sonja
22
2011
Epistemic actions as resources. Zbl 1183.03010
Baltag, Alexandru; Coecke, Bob; Sadrzadeh, Mehrnoosh
21
2007
Justified belief and the topology of evidence. Zbl 1478.03022
Baltag, Alexandru; Bezhanishvili, Nick; Özgün, Aybüke; Smets, Sonja
16
2016
Probabilistic dynamic belief revision. Zbl 1169.03015
Baltag, Alexandru; Smets, Sonja
15
2008
The logic of conditional doxastic actions. Zbl 1377.03006
Baltag, Alexandru; Smets, Sonja
15
2008
A logic for coalgebraic simulation. Zbl 0959.03501
Baltag, Alexandru
14
2000
On the solvability of inductive problems: a study in epistemic topology. Zbl 1483.68367
Baltag, Alexandru; Gierasimczuk, Nina; Smets, Sonja
13
2016
A dynamic-logical perspective on quantum behavior. Zbl 1144.81432
Baltag, A.; Smets, S.
12
2008
To know is to know the value of a variable. Zbl 1400.03028
Baltag, Alexandru
12
2016
A simple logic of functional dependence. Zbl 1534.03027
Baltag, Alexandru; van Benthem, Johan
12
2021
Dynamic epistemic logics of diffusion and prediction in social networks. Zbl 1531.03017
Baltag, Alexandru; Christoff, Zoé; Rendsvig, Rasmus K.; Smets, Sonja
12
2019
Correlated knowledge: an epistemic-logic view on quantum entanglement. Zbl 1204.81025
Baltag, Alexandru; Smets, Sonja
11
2010
The logic of justified belief, explicit knowledge, and conclusive evidence. Zbl 1300.03015
Baltag, Alexandru; Renne, Bryan; Smets, Sonja
10
2014
The logic of justified belief change, soft evidence and defeasible knowledge. Zbl 1362.03012
Baltag, Alexandru; Renne, Bryan; Smets, Sonja
10
2012
Learning by questions and answers: from belief-revision cycles to doxastic fixed points. Zbl 1246.03035
Baltag, Alexandru; Smets, Sonja
10
2009
The topology of belief, belief revision and defeasible knowledge. Zbl 1407.03017
Baltag, Alexandru; Bezhanishvili, Nick; Özgün, Aybüke; Smets, Sonja
10
2013
Truth-tracking by belief revision. Zbl 1439.03039
Baltag, Alexandru; Gierasimczuk, Nina; Smets, Sonja
10
2019
A topological approach to full belief. Zbl 1457.03030
Baltag, Alexandru; Bezhanishvili, Nick; Özgün, Aybüke; Smets, Sonja
9
2019
Algebra and sequent calculus for epistemic actions. Zbl 1272.68377
Baltag, Alexandru; Coecke, Bob; Sadrzadeh, Mehrnoosh
8
2005
The topology of full and weak belief. Zbl 1428.03046
Baltag, Alexandru; Bezhanishvili, Nick; Özgün, Aybüke; Smets, Sonja
7
2017
Topo-logic as a dynamic-epistemic logic. Zbl 1496.03069
Baltag, Alexandru; Özgün, Aybüke; Vargas Sandoval, Ana Lucia
7
2017
Logical models of informational cascades. Zbl 1306.91116
Baltag, Alexandru; Christoff, Zoé; Hansen, Jens Ulrik; Smets, Sonja
6
2013
The dynamic turn in quantum logic. Zbl 1275.03164
Baltag, Alexandru; Smets, Sonja
6
2012
STS: A structural theory of sets. Zbl 0933.03070
Baltag, Alexandru
4
1999
PLQP & Company: decidable logics for quantum algorithms. Zbl 1302.81082
Baltag, Alexandru; Bergfeld, Jort; Kishida, Kohei; Sack, Joshua; Smets, Sonja; Zhong, Shengyang
4
2014
Correlated information: a logic for multi-partite quantum systems. Zbl 1348.81048
Baltag, Alexandru; Smets, Sonja
4
2011
A dynamic logic for learning theory. Zbl 1502.68283
Baltag, Alexandru; Gierasimczuk, Nina; Özgün, Aybüke; Vargas Sandoval, Ana Lucia; Smets, Sonja
4
2018
Modeling correlated information change: from conditional beliefs to quantum conditionals. Zbl 1382.03038
Baltag, Alexandru; Smets, Sonja
4
2017
A dynamic logic for learning theory. Zbl 1435.68310
Baltag, Alexandru; Gierasimczuk, Nina; Özgün, Aybüke; Vargas Sandoval, Ana Lucia; Smets, Sonja
4
2019
The algebra of multi-agent dynamic belief revision. Zbl 1273.68369
Baltag, Alexandru; Sadrzadeh, Mehrnoosh
3
2006
Protocols for belief merge: Reaching agreement via communication. Zbl 1272.68378
Baltag, Alexandru; Smets, Sonja
3
2013
APAL with memory Ii better. Zbl 1509.03062
Baltag, Alexandru; Özgün, Aybüke; Vargas Sandoval, Ana Lucia
3
2018
A qualitative theory of dynamic interactive belief revision. Zbl 1384.03099
Baltag, Alexandru; Smets, Sonja
3
2016
Quantum probabilistic dyadic second-order logic. Zbl 1395.81016
Baltag, Alexandru; Bergfeld, Jort M.; Kishida, Kohei; Sack, Joshua; Smets, Sonja J. L.; Zhong, Shengyang
3
2013
Bisimulation for conditional modalities. Zbl 1437.03083
Baltag, A.; Cinà, G.
3
2018
STS: A structural theory of sets. Zbl 0993.03065
Baltag, Alexandru
2
2001
Johan van Benthem on logic and information dynamics. Zbl 1297.03003
2
2014
Keep changing your beliefs, aiming for the truth. Zbl 1251.03012
Baltag, Alexandru; Smets, Sonja
2
2011
Beliefs and evidence in justification models. Zbl 1400.03029
Baltag, Alexandru; Fiutek, Virginie; Smets, Sonja
2
2016
The probabilistic logic of communication and change. Zbl 1444.03020
Achimescu, Andreea; Baltag, Alexandru; Sack, Joshua
2
2019
On the right path: a modal logic for supervised learning. Zbl 1539.68120
Baltag, Alexandru; Li, Dazhu; Pedersen, Mina Young
2
2019
Group knowledge in interrogative epistemology. Zbl 1437.03057
Baltag, A.; Boddy, R.; Smets, S.
2
2018
Logics of informational interactions. Zbl 1336.03020
Baltag, Alexandru; Smets, Sonja
1
2015
Dynamic logic. New trends and applications. Second international workshop, DALI 2019, Porto, Portugal, October 7–11, 2019. Proceedings. Zbl 1430.03006
1
2020
The McKinsey-Tarski theorem for topological evidence logics. Zbl 1530.03059
Baltag, Alexandru; Bezhanishvili, Nick; Fernández González, Saúl
1
2019
Learning probabilities: towards a logic of statistical learning. Zbl 07450019
Baltag, Alexandru; Rad, Soroush Rafiee; Smets, Sonja
1
2019
Causal agency and responsibility: a refinement of STIT logic. Zbl 07607239
Baltag, Alexandru; Canavotto, Ilaria; Smets, Sonja
1
2021
Arbitrary public announcement logic with memory. Zbl 1539.03047
Baltag, Alexandru; Özgün, Aybüke; Sandoval, Ana Lucia Vargas
1
2023
A coalgebraic semantics for epistemic programs. Zbl 1270.68184
Baltag, Alexandru
1
2003
Arbitrary public announcement logic with memory. Zbl 1539.03047
Baltag, Alexandru; Özgün, Aybüke; Sandoval, Ana Lucia Vargas
1
2023
A simple logic of functional dependence. Zbl 1534.03027
Baltag, Alexandru; van Benthem, Johan
12
2021
Causal agency and responsibility: a refinement of STIT logic. Zbl 07607239
Baltag, Alexandru; Canavotto, Ilaria; Smets, Sonja
1
2021
Dynamic logic. New trends and applications. Second international workshop, DALI 2019, Porto, Portugal, October 7–11, 2019. Proceedings. Zbl 1430.03006
1
2020
Dynamic epistemic logics of diffusion and prediction in social networks. Zbl 1531.03017
Baltag, Alexandru; Christoff, Zoé; Rendsvig, Rasmus K.; Smets, Sonja
12
2019
Truth-tracking by belief revision. Zbl 1439.03039
Baltag, Alexandru; Gierasimczuk, Nina; Smets, Sonja
10
2019
A topological approach to full belief. Zbl 1457.03030
Baltag, Alexandru; Bezhanishvili, Nick; Özgün, Aybüke; Smets, Sonja
9
2019
A dynamic logic for learning theory. Zbl 1435.68310
Baltag, Alexandru; Gierasimczuk, Nina; Özgün, Aybüke; Vargas Sandoval, Ana Lucia; Smets, Sonja
4
2019
The probabilistic logic of communication and change. Zbl 1444.03020
Achimescu, Andreea; Baltag, Alexandru; Sack, Joshua
2
2019
On the right path: a modal logic for supervised learning. Zbl 1539.68120
Baltag, Alexandru; Li, Dazhu; Pedersen, Mina Young
2
2019
The McKinsey-Tarski theorem for topological evidence logics. Zbl 1530.03059
Baltag, Alexandru; Bezhanishvili, Nick; Fernández González, Saúl
1
2019
Learning probabilities: towards a logic of statistical learning. Zbl 07450019
Baltag, Alexandru; Rad, Soroush Rafiee; Smets, Sonja
1
2019
A dynamic logic for learning theory. Zbl 1502.68283
Baltag, Alexandru; Gierasimczuk, Nina; Özgün, Aybüke; Vargas Sandoval, Ana Lucia; Smets, Sonja
4
2018
APAL with memory Ii better. Zbl 1509.03062
Baltag, Alexandru; Özgün, Aybüke; Vargas Sandoval, Ana Lucia
3
2018
Bisimulation for conditional modalities. Zbl 1437.03083
Baltag, A.; Cinà, G.
3
2018
Group knowledge in interrogative epistemology. Zbl 1437.03057
Baltag, A.; Boddy, R.; Smets, S.
2
2018
The topology of full and weak belief. Zbl 1428.03046
Baltag, Alexandru; Bezhanishvili, Nick; Özgün, Aybüke; Smets, Sonja
7
2017
Topo-logic as a dynamic-epistemic logic. Zbl 1496.03069
Baltag, Alexandru; Özgün, Aybüke; Vargas Sandoval, Ana Lucia
7
2017
Modeling correlated information change: from conditional beliefs to quantum conditionals. Zbl 1382.03038
Baltag, Alexandru; Smets, Sonja
4
2017
The logic of public announcements, common knowledge, and private suspicions. Zbl 1386.03019
Baltag, Alexandru; Moss, Lawrence S.; Solecki, Sławomir
194
2016
Justified belief and the topology of evidence. Zbl 1478.03022
Baltag, Alexandru; Bezhanishvili, Nick; Özgün, Aybüke; Smets, Sonja
16
2016
On the solvability of inductive problems: a study in epistemic topology. Zbl 1483.68367
Baltag, Alexandru; Gierasimczuk, Nina; Smets, Sonja
13
2016
To know is to know the value of a variable. Zbl 1400.03028
Baltag, Alexandru
12
2016
A qualitative theory of dynamic interactive belief revision. Zbl 1384.03099
Baltag, Alexandru; Smets, Sonja
3
2016
Beliefs and evidence in justification models. Zbl 1400.03029
Baltag, Alexandru; Fiutek, Virginie; Smets, Sonja
2
2016
Logics of informational interactions. Zbl 1336.03020
Baltag, Alexandru; Smets, Sonja
1
2015
The logic of justified belief, explicit knowledge, and conclusive evidence. Zbl 1300.03015
Baltag, Alexandru; Renne, Bryan; Smets, Sonja
10
2014
PLQP & Company: decidable logics for quantum algorithms. Zbl 1302.81082
Baltag, Alexandru; Bergfeld, Jort; Kishida, Kohei; Sack, Joshua; Smets, Sonja; Zhong, Shengyang
4
2014
Johan van Benthem on logic and information dynamics. Zbl 1297.03003
2
2014
The topology of belief, belief revision and defeasible knowledge. Zbl 1407.03017
Baltag, Alexandru; Bezhanishvili, Nick; Özgün, Aybüke; Smets, Sonja
10
2013
Logical models of informational cascades. Zbl 1306.91116
Baltag, Alexandru; Christoff, Zoé; Hansen, Jens Ulrik; Smets, Sonja
6
2013
Protocols for belief merge: Reaching agreement via communication. Zbl 1272.68378
Baltag, Alexandru; Smets, Sonja
3
2013
Quantum probabilistic dyadic second-order logic. Zbl 1395.81016
Baltag, Alexandru; Bergfeld, Jort M.; Kishida, Kohei; Sack, Joshua; Smets, Sonja J. L.; Zhong, Shengyang
3
2013
The logic of justified belief change, soft evidence and defeasible knowledge. Zbl 1362.03012
Baltag, Alexandru; Renne, Bryan; Smets, Sonja
10
2012
The dynamic turn in quantum logic. Zbl 1275.03164
Baltag, Alexandru; Smets, Sonja
6
2012
Quantum logic as a dynamic logic. Zbl 1221.81022
Baltag, Alexandru; Smets, Sonja
22
2011
Correlated information: a logic for multi-partite quantum systems. Zbl 1348.81048
Baltag, Alexandru; Smets, Sonja
4
2011
Keep changing your beliefs, aiming for the truth. Zbl 1251.03012
Baltag, Alexandru; Smets, Sonja
2
2011
Correlated knowledge: an epistemic-logic view on quantum entanglement. Zbl 1204.81025
Baltag, Alexandru; Smets, Sonja
11
2010
Keep ‘hoping’ for rationality: a solution to the backward induction paradox. Zbl 1183.03011
Baltag, Alexandru; Smets, Sonja; Zvesper, Jonathan Alexander
28
2009
Learning by questions and answers: from belief-revision cycles to doxastic fixed points. Zbl 1246.03035
Baltag, Alexandru; Smets, Sonja
10
2009
A qualitative theory of dynamic interactive belief revision. Zbl 1261.03077
Baltag, Alexandru; Smets, Sonja
84
2008
‘Knowable’ as ‘known after an announcement’. Zbl 1208.03019
Balbiani, Philippe; Baltag, Alexandru; van Ditmarsch, Hans; Herzig, Andreas; Hoshi, Tomohiro; de Lima, Tiago
46
2008
Probabilistic dynamic belief revision. Zbl 1169.03015
Baltag, Alexandru; Smets, Sonja
15
2008
The logic of conditional doxastic actions. Zbl 1377.03006
Baltag, Alexandru; Smets, Sonja
15
2008
A dynamic-logical perspective on quantum behavior. Zbl 1144.81432
Baltag, A.; Smets, S.
12
2008
Epistemic actions as resources. Zbl 1183.03010
Baltag, Alexandru; Coecke, Bob; Sadrzadeh, Mehrnoosh
21
2007
Conditional doxastic models: a qualitative approach to dynamic belief revision. Zbl 1262.03026
Baltag, Alexandru; Smets, Sonja
53
2006
LQP: the dynamic logic of quantum information. Zbl 1103.03031
Baltag, Alexandru; Smets, Sonja
31
2006
The algebra of multi-agent dynamic belief revision. Zbl 1273.68369
Baltag, Alexandru; Sadrzadeh, Mehrnoosh
3
2006
Complete axiomatizations for quantum actions. Zbl 1110.81013
Baltag, A.; Smets, S.
25
2005
Algebra and sequent calculus for epistemic actions. Zbl 1272.68377
Baltag, Alexandru; Coecke, Bob; Sadrzadeh, Mehrnoosh
8
2005
Logics for epistemic programs. Zbl 1100.03010
Baltag, Alexandru; Moss, Lawrence S.
131
2004
A coalgebraic semantics for epistemic programs. Zbl 1270.68184
Baltag, Alexandru
1
2003
STS: A structural theory of sets. Zbl 0993.03065
Baltag, Alexandru
2
2001
A logic for coalgebraic simulation. Zbl 0959.03501
Baltag, Alexandru
14
2000
STS: A structural theory of sets. Zbl 0933.03070
Baltag, Alexandru
4
1999
all cited Publications top 5 cited Publications
all top 5

Cited by 475 Authors

49 van Ditmarsch, Hans Pieter
33 Baltag, Alexandru
32 Smets, Sonja J. L.
24 van Benthem, Johan F. A. K.
16 Velázquez-Quesada, Fernando Raymundo
16 Wang, Yanjing
14 Lorini, Emiliano
12 Gierasimczuk, Nina
12 Pacuit, Eric
11 Ågotnes, Thomas
11 Aucher, Guillaume
11 Kooi, Barteld Pieter
11 Özgün, Aybüke
11 van der Hoek, Wiebe
10 Sack, Joshua
10 van Eijck, Jan
9 Herzig, Andreas
8 Kuijer, Louwe Bouke
8 Rendsvig, Rasmus Kræmmer
8 Sadrzadeh, Mehrnoosh
8 Schwarzentruber, François
7 Bjorndahl, Adam
7 Bolander, Thomas
7 Bonanno, Giacomo
7 Galimullin, Rustam
7 Hoshi, Tomohiro
7 Liu, Fenrong
7 Zhong, Shengyang
6 Bezhanishvili, Nick
6 Fervari, Raul
6 Renne, Bryan
6 Roy, Olivier
5 Balbiani, Philippe
5 Baral, Chitta R.
5 Christoff, Zoé
5 de Lima, Tiago
5 Dégremont, Cédric
5 French, Tim
5 Galmiche, Didier
5 Knight, Sophia
5 Ma, Minghui
5 Naumov, Pavel G.
5 Perea, Andrés
5 Pontelli, Enrico
4 Alechina, Natasha
4 Demey, Lorenz
4 Fan, Jie
4 Gelfond, Gregory
4 Gerbrandy, Jelle
4 Ghosh, Sujata
4 Hales, James
4 Hill, Brian
4 Kishida, Kohei
4 Marti, Johannes
4 Maubert, Bastien
4 Olivetti, Nicola
4 Palmigiano, Alessandra
4 Pinchinat, Sophie
4 Rad, Soroush Rafiee
4 Shi, Chenwei
4 Soler-Toscano, Fernando
4 Son, Tran Cao
4 Ying, Mingsheng
3 Allo, Patrick
3 Areces, Carlos
3 Asher, Nicholas M.
3 Belardinelli, Francesco
3 Benevides, Mario R. F.
3 Bergfeld, Jort Martinus
3 Bezhanishvili, Guram
3 Bozzelli, Laura
3 Dyckhoff, Roy
3 Gattinger, Malvin
3 Genin, Konstantin
3 Giordani, Alessandro
3 Gratzl, Norbert
3 Hansen, Jens Ulrik
3 Hendricks, Vincent F.
3 Icard, Thomas F. III
3 Jacobs, Bart
3 Jiang, Junli
3 Kelly, Kevin T.
3 Li, Dazhu
3 Motoura, Shota
3 Pozzato, Gian Luca
3 Primiero, Giuseppe
3 Proietti, Carlo
3 Rivieccio, Umberto
3 Szymanik, Jakub
3 Tzimoulis, Apostolos
3 Venema, Yde
3 Verbrugge, Rineke
3 Wooldridge, Michael J.
3 Yap, Audrey
2 Andersen, Mikkel Birkegaard
2 Bednarczyk, Bartosz
2 Berto, Francesco
2 Bílková, Marta
2 Canavotto, Ilaria
2 Cantwell, John C.
...and 375 more Authors
all top 5

Cited in 54 Serials

64 Synthese
36 Journal of Philosophical Logic
36 Journal of Logic, Language and Information
31 Studia Logica
22 Journal of Applied Non-Classical Logics
17 The Review of Symbolic Logic
15 Artificial Intelligence
12 Information and Computation
10 Theoretical Computer Science
8 Annals of Pure and Applied Logic
7 International Journal of Theoretical Physics
7 Journal of Applied Logic
6 Journal of Logical and Algebraic Methods in Programming
5 Logical Methods in Computer Science
4 The Bulletin of Symbolic Logic
4 Logic and Logical Philosophy
4 Logica Universalis
3 International Journal of Game Theory
3 The Journal of Symbolic Logic
3 Games and Economic Behavior
3 Annals of Mathematics and Artificial Intelligence
3 Soft Computing
3 Erkenntnis
3 Games
2 Journal of Economic Theory
2 Journal of Mathematical Economics
2 International Journal of Approximate Reasoning
2 Mathematical Structures in Computer Science
2 Theory and Practice of Logic Programming
2 ACM Transactions on Computational Logic
2 Foundations of Physics
1 Acta Informatica
1 Fuzzy Sets and Systems
1 Information Sciences
1 Journal of Computer and System Sciences
1 Journal of Mathematical Psychology
1 Notre Dame Journal of Formal Logic
1 Mathematical Social Sciences
1 Order
1 Formal Aspects of Computing
1 Annals of Physics
1 Proceedings of the National Academy of Sciences of the United States of America
1 Archive for Mathematical Logic
1 The Journal of Artificial Intelligence Research (JAIR)
1 Topoi
1 RAIRO. Theoretical Informatics and Applications
1 Foundations of Science
1 International Journal of Quantum Information
1 Advances in Mathematical Physics
1 Dynamic Games and Applications
1 Axioms
1 Quantum Studies: Mathematics and Foundations
1 Lietuvos Matematikos Rinkinys. Proceedings of the Lithuanian Mathematical Society. Series A
1 Logicheskie Issledovaniya
all top 5

Cited in 22 Fields

450 Mathematical logic and foundations (03-XX)
186 Computer science (68-XX)
68 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
38 Quantum theory (81-XX)
15 Order, lattices, ordered algebraic structures (06-XX)
13 Category theory; homological algebra (18-XX)
7 General and overarching topics; collections (00-XX)
5 Information and communication theory, circuits (94-XX)
4 History and biography (01-XX)
4 General topology (54-XX)
3 Algebraic topology (55-XX)
3 Statistics (62-XX)
2 Functional analysis (46-XX)
2 Probability theory and stochastic processes (60-XX)
1 Associative rings and algebras (16-XX)
1 Dynamical systems and ergodic theory (37-XX)
1 Geometry (51-XX)
1 Convex and discrete geometry (52-XX)
1 Differential geometry (53-XX)
1 Global analysis, analysis on manifolds (58-XX)
1 Biology and other natural sciences (92-XX)
1 Mathematics education (97-XX)

Citations by Year