Authors: de Vos, Mirjam, Verbrugge, Rineke, Kooi, Barteld
Superior Title: de Vos , M , Verbrugge , R & Kooi , B 2023 , ' Solutions to the Knower Paradox in the Light of Haack’s Criteria ' , Journal of Philosophical Logic , vol. 52 , no. 4 , pp. 1101-1132 . https://doi.org/10.1007/s10992-023-09699-3
Subject Terms: Epistemic logic, Haack’s criteria, Knower paradox, Provability logic
File Description: application/pdf
Availability:
https://doi.org/10.1007/s10992-023-09699-3
https://hdl.handle.net/11370/ac518d81-4aae-48ee-939f-ff1293b1af44
https://research.rug.nl/en/publications/ac518d81-4aae-48ee-939f-ff1293b1af44
https://pure.rug.nl/ws/files/736648006/s10992-023-09699-3.pdf
http://www.scopus.com/inward/record.url?scp=85153085024&partnerID=8YFLogxK
Authors: Lun, Vivian Miu Chi, Smith, Peter B., Grigoryan, Lusine, Torres, Claudio, Papastylianou, Antonia, Lopukhova, Olga G., Sunar, Diane, Easterbrook, Matthew J., Koc, Yasin, Selim, Heyla A., Chobthamkit, Phatthanakit, Chaleeraktrakoon, Trawin, Gul, Pelin, Perez Floriano, Lorena, Diaz-Loving, Rolando, Kwantes, Catherine T., Yuki, Masaki, Ogusu, Natsuki, van Osch, Yvette, Mendes Texeira, Maria Luisa, Hu, Ping, Abbas, Ammar, Tripodi, Doriana, Lay, Siugmin, Efremova, Maria, Hassan, Bushra, Ahmad, Abd Halim, al-Bayati, Ahmed, Anderson, Joel, Cross, Susan E., Delfino, Gisela Isabel, Gamsakhurdia, Vladimer, Gavreliuc, Alin, Gavreliuc, Dana, Gunsoy, Ceren, Díaz Rivera, Paola Eunice, Hakobjanyan, Anna
Superior Title: Lun , V M C , Smith , P B , Grigoryan , L , Torres , C , Papastylianou , A , Lopukhova , O G , Sunar , D , Easterbrook , M J , Koc , Y , Selim , H A , Chobthamkit , P , Chaleeraktrakoon , T , Gul , P , Perez Floriano , L , Diaz-Loving , R , Kwantes , C T , Yuki , M , Ogusu , N , van Osch , Y , Mendes Texeira , M L , Hu , P , Abbas , A , ....
Subject Terms: Cross-cultural studies, Cultural logic, Face, Interpersonal conflict, Personality, Self-construal
File Description: application/pdf
Availability:
https://doi.org/10.1002/ijop.12895
https://hdl.handle.net/11370/96cbfde7-e6a1-404e-9778-286f7dbe19fe
https://research.rug.nl/en/publications/96cbfde7-e6a1-404e-9778-286f7dbe19fe
https://pure.rug.nl/ws/files/875551526/Int_J_Psychol_-_2023_-_Lun_-_Need_for_approval_from_others_and_face_concerns_as_predictors_of_interpersonal_conflict.pdf
http://www.scopus.com/inward/record.url?scp=85146965356&partnerID=8YFLogxK
Authors: Kooi, Barteld, Tamminga, Allard
Superior Title: Kooi , B & Tamminga , A 2023 , ' Two-sided Sequent Calculi for FDE -like Four-valued Logics ' , Journal of Philosophical Logic , vol. 52 , pp. 495-518 . https://doi.org/10.1007/s10992-022-09678-0
Subject Terms: First degree entailment, Many-valued logic, Proof theory, Sequent calculi
File Description: application/pdf
Availability:
https://doi.org/10.1007/s10992-022-09678-0
https://hdl.handle.net/11370/6c15c945-98a7-4c11-92b1-33930e2c189e
https://research.rug.nl/en/publications/6c15c945-98a7-4c11-92b1-33930e2c189e
https://pure.rug.nl/ws/files/622283547/s10992_022_09678_0.pdf
http://www.scopus.com/inward/record.url?scp=85137057765&partnerID=8YFLogxK
Authors: Boone, Christophe, Özcan, Serden, Li, Jia
Superior Title: Boone , C , Özcan , S & Li , J 2022 , ' How are Competing Logics Combined in Managerial Teams? The Impact of Branch Founding Team Hybridity on the Growth of Islamic Bank Branches in Turkey, 2002–19 ' , Journal of Management Studies , vol. 59 , no. 6 , pp. 1460-1492 . https://doi.org/10.1111/joms.12788
Subject Terms: founding team, hybrid staffing, institutional logics, Islamic banking, logic plurality
File Description: application/pdf
Availability:
https://doi.org/10.1111/joms.12788
https://hdl.handle.net/11370/0aa6c541-17dd-4596-a44f-92c2b65d672f
https://research.rug.nl/en/publications/0aa6c541-17dd-4596-a44f-92c2b65d672f
https://pure.rug.nl/ws/files/632755138/J_Management_Studies_2021_Boone_How_are_Competing_Logics_Combined_in_Managerial_Teams_The_Impact_of_Branch_Founding.pdf
http://www.scopus.com/inward/record.url?scp=85120182361&partnerID=8YFLogxK
Authors: Hodges, Ron, Caperchione, Eugenio, van Helden, Jan, Reichard, Christoph, Sorrentino, Daniela
Superior Title: Hodges , R , Caperchione , E , van Helden , J , Reichard , C & Sorrentino , D 2022 , ' The role of scientific expertise in COVID-19 policymaking : evidence from four European countries ' , Public Organization Review , vol. 22 , 175 , pp. 249–267 . https://doi.org/10.1007/s11115-022-00614-z
Subject Terms: COVID-19 policymaking, scientific advice, political logics, scientific logics
File Description: application/pdf
Authors: Pandzić, Stipe
Superior Title: Pandzić , S 2022 , ' A logic of defeasible argumentation : Constructing arguments in justification logic ' , Argument and Computation , vol. 13 , no. 1 , pp. 3-47 . https://doi.org/10.3233/AAC-200536
Subject Terms: Abstract argumentation, default reasoning, Dung's framework, justification logic, structured argumentation
File Description: application/pdf
Availability:
https://doi.org/10.3233/AAC-200536
https://hdl.handle.net/11370/55bdf8d3-6818-4829-baf5-3fbb6ef0cdfb
https://research.rug.nl/en/publications/55bdf8d3-6818-4829-baf5-3fbb6ef0cdfb
https://pure.rug.nl/ws/files/648464006/aac_2022_13_1_aac_13_1_aac200536_aac_13_aac200536.pdf
http://www.scopus.com/inward/record.url?scp=85125698461&partnerID=8YFLogxK
Authors: Molendijk, Arie L.
Superior Title: Molendijk , A L 2022 , ' The Troubled Life of Heinrich Scholz ' , Journal for the History of Modern Theology , vol. 29 , no. 2 , pp. 316-349 . https://doi.org/10.1515/znth-2022-0016
Subject Terms: Heinrich Scholz, Jan Lukasiewicz, Adolf von Harnack, Evert W. Beth, Alfred Tarski, Mathematical Logic, Friendship, Nazism
File Description: application/pdf
Authors: Grossi, Davide, van der Hoek, Wiebe, Kuijer, Louwe B.
Superior Title: Grossi , D , van der Hoek , W & Kuijer , L B 2022 , ' Reasoning about general preference relations ' , Artificial Intelligence , vol. 313 , 103793 . https://doi.org/10.1016/j.artint.2022.103793
Subject Terms: Conditional logic, Preference relations
File Description: application/pdf
Availability:
https://doi.org/10.1016/j.artint.2022.103793
https://hdl.handle.net/11370/a8ee2192-da6b-4fa8-9673-c7ef8c20543f
https://research.rug.nl/en/publications/a8ee2192-da6b-4fa8-9673-c7ef8c20543f
https://pure.rug.nl/ws/files/575999204/1_s2.0_S0004370222001333_main.pdf
http://www.scopus.com/inward/record.url?scp=85139370382&partnerID=8YFLogxK
Authors: Vos, Janita, Boonstra, Albert
Superior Title: Vos , J & Boonstra , A 2022 , ' The influence of cultural values on Enterprise System adoption, towards a culture – Enterprise System alignment theory ' , International Journal of Information Management , vol. 63 , 102453 , pp. 1-18 . https://doi.org/10.1016/j.ijinfomgt.2021.102453
Subject Terms: Culture, Logics, Alignment, Enterprise Systems, Adoption, Acceptance, Resistance
File Description: application/pdf
Authors: Li, Chuang, Wang, Yujia, Yang, Xuebo
Superior Title: Li , C , Wang , Y & Yang , X 2022 , ' Adaptive fuzzy control of a quadrotor using disturbance observer ' , Aerospace science and technology , vol. 128 , 107784 . https://doi.org/10.1016/j.ast.2022.107784
Subject Terms: Adaptive control, Disturbance observer, Fuzzy logic system, Quadrotor
File Description: application/pdf
Authors: Vindum, Simon Friis, Frumin, Dan, Birkedal, Lars
Contributors: Popescu, Andrei, Zdancewic, Steve
Superior Title: Vindum , S F , Frumin , D & Birkedal , L 2022 , Mechanized Verification of a Fine-Grained Concurrent Queue from Meta s Folly Library . in A Popescu & S Zdancewic (eds) , CPP 2022 - Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2022 . CPP 2022 - Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2022 , Association for Computing Machinery, Inc , pp. 100-115 , 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2022 - ....
Subject Terms: concurrent data structures, Coq, separation logic
File Description: application/pdf
Relation: https://research.rug.nl/en/publications/5284fea0-69ba-4648-a93d-c644d9a3224a; urn:ISBN:9781450391825
Availability:
https://doi.org/10.1145/3497775.3503689
https://hdl.handle.net/11370/5284fea0-69ba-4648-a93d-c644d9a3224a
https://research.rug.nl/en/publications/5284fea0-69ba-4648-a93d-c644d9a3224a
https://pure.rug.nl/ws/files/205503020/3497775.3503689.pdf
http://www.scopus.com/inward/record.url?scp=85123991575&partnerID=8YFLogxK
Authors: Frumin, Dan
Contributors: Popescu, Andrei, Zdancewic, Steve
Superior Title: Frumin , D 2022 , Semantic cut elimination for the logic of bunched implications, formalized in Coq . in A Popescu & S Zdancewic (eds) , CPP 2022 - Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2022 . CPP 2022 - Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2022 , Association for Computing Machinery, Inc , pp. 291-306 , 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2022 - co-located with POPL 2022 , Philadelphia , United States ....
Subject Terms: bunched implications, Coq, cut elimination, interactive theorem proving, substructural logics
File Description: application/pdf
Relation: https://research.rug.nl/en/publications/2000b079-05c2-42bf-811f-f2bfe500c60c; urn:ISBN:9781450391825
Availability:
https://doi.org/10.1145/3497775.3503690
https://hdl.handle.net/11370/2000b079-05c2-42bf-811f-f2bfe500c60c
https://research.rug.nl/en/publications/2000b079-05c2-42bf-811f-f2bfe500c60c
https://pure.rug.nl/ws/files/205503125/3497775.3503690.pdf
http://www.scopus.com/inward/record.url?scp=85124030896&partnerID=8YFLogxK
Authors: Larrauri, Alberto, Müller, Tobias, Noy, Marc
Superior Title: Larrauri , A , Müller , T & Noy , M 2022 , ' Limiting probabilities of first order properties of random sparse graphs and hypergraphs ' , Random Structures and Algorithms , vol. 60 , no. 3 , pp. 506-526 . https://doi.org/10.1002/rsa.21041
Subject Terms: first order logic, logical limit laws, sparse random graphs and hypergraphs
File Description: application/pdf
Availability:
https://doi.org/10.1002/rsa.21041
https://hdl.handle.net/11370/2ec9d189-35c4-489b-9501-dbb6479925e6
https://research.rug.nl/en/publications/2ec9d189-35c4-489b-9501-dbb6479925e6
https://pure.rug.nl/ws/files/210952831/Random_Struct_Algorithms_2021_Larrauri_Limiting_probabilities_of_first_order_properties_of_random_sparse_graphs_and.pdf
http://www.scopus.com/inward/record.url?scp=85112771054&partnerID=8YFLogxK
Authors: Santos, Yuri David
Superior Title: Santos , Y D 2020 , ' A Four-Valued Dynamic Epistemic Logic ' , Journal of Logic, Language and Information , vol. 29 , no. 4 , pp. 451-489 . https://doi.org/10.1007/s10849-020-09313-8
Subject Terms: Many-valued logics, Epistemic logic, Paraconsistent logics, Public announcements, Multi-agent systems, Evidence, MODAL-LOGICS, SEMANTICS, KNOWLEDGE, TABLEAUX, BELIEF
File Description: application/pdf
Superior Title: Ditmarsch ,van , H , Hoek , W V D , Kooi , B & Kuijer , B 2020 , ' Arrow update synthesis ' , Information and Computation , vol. 275 , 104544 . https://doi.org/10.1016/j.ic.2020.104544
Subject Terms: Modal logic, Synthesis, Dynamic epistemic logic, Expressivity
File Description: application/pdf
Authors: Kuipers, Theodorus
Superior Title: Kuipers , T 2021 , ' Approaching probabilistic and deterministic nomic truths in an inductive probabilistic way ' , Synthese , vol. 199 , no. 3-4 , pp. 8001–8028 . https://doi.org/10.1007/s11229-021-03150-3
Subject Terms: probabilistic truth, the true probability distribution, deterministic truth, nomic truth, truth approximation, truthlikeness, verisimilitude, inductive probability, inductive logic, estimated distance from the truth
File Description: application/pdf
Authors: Frumin, Dan, Krebbers, Robbert, Birkedal, Lars
Superior Title: Frumin , D , Krebbers , R & Birkedal , L 2021 , ' ReLoC Reloaded : A Mechanized Relational Logic for Fine-Grained Concurrency and Logical Atomicity ' , Logical Methods in Computer Science , vol. 17 , no. 3 , pp. 9:1–9:59 . https://doi.org/10.46298/lmcs-17(3:9)2021
Subject Terms: concurrency, Coq, Iris, program refinement, separation logic
File Description: application/pdf
Availability:
https://doi.org/10.46298/lmcs-17(3:9)2021
https://hdl.handle.net/11370/f9a7e01b-b2ab-4b20-a55f-2dae5692d046
https://research.rug.nl/en/publications/f9a7e01b-b2ab-4b20-a55f-2dae5692d046
https://pure.rug.nl/ws/files/182753227/2006.13635v3.pdf
http://www.scopus.com/inward/record.url?scp=85127073424&partnerID=8YFLogxK
Authors: Tamminga, Allard, Duijf, Hein, Van De Putte, Frederik
Superior Title: Tamminga , A , Duijf , H & Van De Putte , F 2021 , ' Expressivity results for deontic logics of collective agency ' , Synthese , vol. 198 , pp. 8733–8753 . https://doi.org/10.1007/s11229-020-02597-0
Subject Terms: Deontic logic, Collective admissibility, Collective agency, Collective obligation, Expresssivity, Bisimulation
File Description: application/pdf
Authors: Langley, David, Doorn, van, Jenny, Ng, Irene C.I., Stieglitz, Stefan, Lazovik, Alexander, Boonstra, Albert
Superior Title: Langley , D , Doorn, van , J , Ng , I C I , Stieglitz , S , Lazovik , A & Boonstra , A 2021 , ' The Internet of Everything : Smart things and their impact on business models ' , Journal of Business Research , vol. 122 , pp. 853-863 . https://doi.org/10.1016/j.jbusres.2019.12.035
Subject Terms: Digitalization, Artificial Intelligence, Networked business models, Service-dominant logic, Value creation
File Description: application/pdf
Authors: Frumin, Dan, Krebbers, Robbert, Birkedal, Lars
Superior Title: Frumin , D , Krebbers , R & Birkedal , L 2021 , Compositional non-interference for fine-grained concurrent programs . in Proceedings - 2021 IEEE Symposium on Security and Privacy, SP 2021 . Proceedings - IEEE Symposium on Security and Privacy , vol. 2021-May , Institute of Electrical and Electronics Engineers Inc. , pp. 1416-1433 , 42nd IEEE Symposium on Security and Privacy, SP 2021 , Virtual, San Francisco , United States , 24/05/2021 . https://doi.org/10.1109/SP40001.2021.00003
Subject Terms: Coq, Fine-grained concurrency, Iris, Logical relations, Non-interference, Separation logic
File Description: application/pdf
Relation: https://research.rug.nl/en/publications/0371cec5-6d67-4b30-bfa2-cf0771c3fa48; urn:ISBN:9781728189345
Availability:
https://doi.org/10.1109/SP40001.2021.00003
https://hdl.handle.net/11370/0371cec5-6d67-4b30-bfa2-cf0771c3fa48
https://research.rug.nl/en/publications/0371cec5-6d67-4b30-bfa2-cf0771c3fa48
https://pure.rug.nl/ws/files/202200346/Compositional_Non_Interference_for_Fine_Grained_Concurrent_Programs.pdf
http://www.scopus.com/inward/record.url?scp=85108907352&partnerID=8YFLogxK