From

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Reset

Papers matching “logical consequence” 52

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

Validity of inferences and validity of demonstrations
2024 Theoria article Computer Science Logic, Reasoning, and Knowledge Open access

0

citations
Preservation Theorems in Semiring Semantics
2026 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Advanced Algebra and Logic Open access

Sophie Brinke, Anuj Dawar, Erich Grädel, Benedikt Pago

0

citations
Preservation Theorems in Semiring Semantics
2026 arXiv (Cornell University) preprint Computer Science Advanced Algebra and Logic Open access

Sophie Brinke, Anuj Dawar, Erich Grädel, Benedikt Pago

0

citations
Compactness in Semiring Semantics
2026 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Advanced Algebra and Logic Open access

Sophie Brinke, Anuj Dawar, Erich Grädel, Lovro Mrkonjić, Matthias Naaf

0

citations
Preservation Theorems in Semiring Semantics
2026 arXiv (Cornell University) preprint Computer Science Advanced Algebra and Logic Open access

Sophie Brinke, Anuj Dawar, Erich Grädel, Benedikt Pago

0

citations
Unifying Hidden-Variable Problems from Quantum Mechanics by Logics of Dependence and Independence
2021 arXiv (Cornell University) preprint Physics and Astronomy Quantum Mechanics and Applications Open access

Rafael Albert, Erich Grädel

0

citations
Unifying hidden-variable problems from quantum mechanics by logics of dependence and independence
2022 Annals of Pure and Applied Logic article Physics and Astronomy Quantum Mechanics and Applications Open access

Rafael Albert, Erich Grädel

9

citations
Generation of Complex Road Networks Using a Simplified Logical Description for the Validation of Automated Vehicles
2020 IEEE International Conference on Intelligent Transportation Systems (ITSC) conference-paper Engineering Autonomous Vehicle Technology and Safety Open access cited by 1 patent

Daniel Becker, Fabian Russ, Christian Geller, Lutz Eckstein

8

citations
On-Side fighting in civil war: The logic of mortal alignment in Syria
2020 Rationality and Society article Social Sciences Political Conflict and Governance Open access

Jonah Schulhofer-Wohl

8

citations
On the Role of Erotetic Constraints in Noncausal Explanations
2023 Philosophy of Science article Arts and Humanities Philosophy and History of Science Open access

Daniel Kostić

2

citations
Automated Synthesis of Fault-Tolerant State Preparation Circuits for Quantum Error-Correction Codes
2025 PRX Quantum article Computer Science Quantum Computing Algorithms and Architecture Open access

Tom Peham, L. Schmid, Lucas Berent, Markus Michael Müller, Robert Wille

16

citations
Automated Synthesis of Fault-Tolerant State Preparation Circuits for Quantum Error Correction Codes
2024 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Tom Peham, L. Schmid, Lucas Berent, Markus Müller, Robert Wille

0

citations
Peirce’s philosophy of notations and the trade-offs in comparing numeral symbol systems
2023 Cognitive Semiotics article Arts and Humanities Pragmatism in Philosophy and Education Open access

Frederik Stjernfelt, Markus Pantsar

1

citations
Canonisation and Definability for Graphs of Bounded Rank Width
2022 ACM Transactions on Computational Logic article Computer Science Advanced Graph Theory Research Open access

Martin Grohe, Daniel Neuen

7

citations
Convex Optimization for Parameter Synthesis in MDPs
2021 IEEE Transactions on Automatic Control article Computer Science Formal Methods in Verification Open access

Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu

21

citations
Uncertainty and Changeability in Manufacturing Equipment Planning
2022 Procedia CIRP article Engineering Flexible and Reconfigurable Manufacturing Systems Open access

Peter Burggräf, Tobias Adlon, Hannes Kahmann, Leonard Röhl

9

citations
Relatively complete verification of probabilistic programs: an expressive language for expectation-based reasoning
2021 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja

33

citations
Relatively Complete Verification of Probabilistic Programs
2020 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja

0

citations
Decidable Reasoning About Time in Finite-Domain Situation Calculus Theories
2024 arXiv (Cornell University) preprint Computer Science Logic, Reasoning, and Knowledge Open access

Till Hofmann, Stefan Schupp, Gerhard Lakemeyer

0

citations
Governing machine-learning models: challenging the personal data presumption
2020 International Data Privacy Law article Social Sciences Digitalization, Law, and Regulation Open access

Mark R. Leiser, Francien Dechesne

6

citations
The right of access in automated decision-making: The scope of article 15(1)(h) GDPR in theory and practice
2022 Computer law & security review article Social Sciences Digitalization, Law, and Regulation Open access

Bart H. M. Custers, Anne-Sophie Heijne

22

citations
Konzeption einer algorithmischen Einbindung neuer Regellogiken in die Funktionsbereiche von Streckenbeeinflussungsanlagen
2025 RWTH Publications (RWTH Aachen) dissertation Engineering Traffic control and management Open access

Jessica Hegewald

1

citations
Offensive Cyber Capabilities and State Violence: Three Logics of Integration
2021 Journal of Global Security Studies article Social Sciences Cybersecurity and Cyber Warfare Studies Open access

Florian J. Egloff, James Shires

40

citations
Redox-based random access memory arrays for computing-in-memory and neuromorphic computing
2025 RWTH Publications (RWTH Aachen) dissertation Engineering Advanced Memory and Neural Computing Open access

0

citations
Anna Karenina and the two envelopes problem
2021 Australian & New Zealand Journal of Statistics article Mathematics Probability and Statistical Research Open access

Richard David Gill

3

citations