E-LIB Suche - Ergebnisse für: Baltag, Alexandru

1

Logic Meets Wigner's Friend (and their Friends):

Baltag, Alexandru ; Smets, Sonja
International Journal of Theoretical Physics. 63 (2024) 4 - p. , 2024

Link: https://doi.org/10.1007/..

2

Compositionality in Context:

, In: Samson Abramsky on Logic and Structure in Computer Science and Beyond; Outstanding Contributions to Logic,

Baltag, Alexandru ; van Benthem, Johan ; Westerståhl, Dag - p. 773-812 , 2023

Link: https://doi.org/10.1007/..

3

Logics for Epistemic Actions: Completeness, Decidability, E..:

Baltag, Alexandru ; Moss, Lawrence S. ; Solecki, Sławomir
Logics. 1 (2023) 2 - p. 97-147 , 2023

Link: https://doi.org/10.3390/..

4

The Topological Mu-Calculus: Completeness and Decidability:

Baltag, Alexandru ; Bezhanishvili, Nick ; Fernández-Duque, David
Journal of the ACM. 70 (2023) 5 - p. 1-38 , 2023

Link: https://doi.org/10.1145/..

5

Topological Evidence Logics: Multi-agent Setting:

, In: Lecture Notes in Computer Science; Language, Logic, and Computation,

Baltag, Alexandru ; Bezhanishvili, Nick ; Fernández González, Saúl - p. 237-257 , 2022

Link: https://doi.org/10.1007/..

6

Reasoning about Quantum Information: An Overview of Quantum..:

Baltag, Alexandru ; Smets, Sonja
Applied Sciences. 12 (2022) 9 - p. 4458 , 2022

Link: https://doi.org/10.3390/..

7

Justified belief, knowledge, and the topology of evidence:

Baltag, Alexandru ; Bezhanishvili, Nick ; Özgün, Aybüke.
Synthese. 200 (2022) 6 - p. , 2022

Link: https://doi.org/10.1007/..

8

Arbitrary Public Announcement Logic with Memory:

Baltag, Alexandru ; Özgün, Aybüke ; Sandoval, Ana Lucia Vargas
Journal of Philosophical Logic. 52 (2022) 1 - p. 53-110 , 2022

Link: https://doi.org/10.1007/..

9

A Modal Logic for Supervised Learning:

Baltag, Alexandru ; Li, Dazhu ; Pedersen, Mina Young
Journal of Logic, Language and Information. 31 (2022) 2 - p. 213-234 , 2022

Link: https://doi.org/10.1007/..

10

A Simple Logic of Functional Dependence:

Baltag, Alexandru ; van Benthem, Johan
Journal of Philosophical Logic. 50 (2021) 5 - p. 939-1005 , 2021

Link: https://doi.org/10.1007/..

11

Tracking probabilistic truths: a logic for statistical lear..:

Baltag, Alexandru ; Rad, Soroush Rafiee ; Smets, Sonja
Synthese. 199 (2021) 3-4 - p. 9041-9087 , 2021

Link: https://doi.org/10.1007/..

12

The topological mu-calculus : completeness and decidabil..:

, In: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science,

Baltag, Alexandru ; Bezhanishvili, Nick ; Fernández-Duque, David - p. 1-13 , 2021

Link: https://dl.acm.org/doi/1..

13

Dynamic Logic. New Trends and Applications: Second Internat..

Theoretical Computer Science and General Issues, 12005

Soares Barbosa, Luís ; Baltag, Alexandru - 1st ed. 2020 . , 2020

Link: https://doi.org/10.1007/..

14

Causal Agency and Responsibility: A Refinement of STIT Logi:

, In: Logic in High Definition; Trends in Logic,

Baltag, Alexandru ; Canavotto, Ilaria ; Smets, Sonja - p. 149-176 , 2020

Link: https://doi.org/10.1007/..

15

The Logic of AGM Learning from Partial Observations:

, In: Lecture Notes in Computer Science; Dynamic Logic. New Trends and Applications,

Baltag, Alexandru ; Özgün, Aybüke ; Vargas-Sandoval, Ana Lucia - p. 35-52 , 2020

Link: https://doi.org/10.1007/..