Search results
Results: 110
Number of items: 110
-
Primiero, G., Slavkovik, M., & Smets, S. (2022). Netreason: Reasoning about social networks. Journal of Logic and Computation, 32(6), 1015-1016. https://doi.org/10.1093/logcom/exac050
-
Schulz, K., Smets, S., Velázquez-Quesada, F. R., & Xie, K. (2022). Non-strict Interventionism: The Case Of Right-Nested Counterfactuals. Journal of Logic, Language and Information, 31(2), 235-260. https://doi.org/10.1007/s10849-022-09358-x -
Baltag, A., & Smets, S. (2022). Reasoning about Quantum Information: An Overview of Quantum Dynamic Logic. Applied Sciences, 12(9), Article 4458. https://doi.org/10.3390/app12094458 -
Baltag, A., Bezhanishvili, N., Özgün, A., & Smets, S. (2022). Justified belief, knowledge, and the topology of evidence. Synthese, 200(6), Article 512. https://doi.org/10.1007/s11229-022-03967-6 -
Baltag, A., Canavotto, I., & Smets, S. (2021). Causal Agency and Responsibility: A Refinement of STIT Logic. In A. Giordani, & J. Malinowski (Eds.), Logic in High Definition: Trends in Logical Semantics (pp. 149-176). (Trends in Logic; Vol. 56). Springer. https://doi.org/10.1007/978-3-030-53487-5_8
-
Pedersen, M. Y., Slavkovik, M., & Smets, S. (2021). Social Bot Detection as a Temporal Logic Model Checking Problem. In S. Ghosh, & T. Icard (Eds.), Logic, Rationality, and Interaction: 8th International Workshop, LORI 2021, Xi'an, China, October 16-18, 2021 : proceedings (pp. 158-173). (Lecture Notes in Computer Science; Vol. 13039), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-030-88708-7_13
-
Rafiee Rad, S., Sharafi, A. H., & Smets, S. (2021). A Complete Axiomatisation for the Logic of Lattice Effect Algebras. International Journal of Theoretical Physics, 60(2), 696-709. https://doi.org/10.1007/s10773-019-04074-y
-
Pedersen, M. Y., Smets, S., & Ågotnes, T. (2021). Modal Logics and Group Polarization. Journal of Logic and Computation, 31(8), 2240-2269. https://doi.org/10.1093/logcom/exab062
Page 2 of 11