From

Institution

Field

Type

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

Reset

Papers matching “first-order logic” 85

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Zero-One Laws and Almost Sure Valuations of First-Order Logic in Semiring Semantics
2022 RWTH Publications (RWTH Aachen) preprint Computer Science Logic, Reasoning, and Knowledge Open access

Erich Grädel, Hayyan Helal, Matthias Naaf

2

citations
A First-Order Logic of Limited Belief Based on Possible Worlds
2020 conference-paper Computer Science Logic, Reasoning, and Knowledge Open access

Gerhard Lakemeyer, Hector J. Levesque

4

citations
Zero-One Laws and Almost Sure Valuations of First-Order Logic in Semiring Semantics
2022 Proceedings - Symposium on Logic in Computer Science conference-paper Computer Science Logic, Reasoning, and Knowledge

Erich Grädel, Hayyan Helal, Matthias Naaf, Richard Wilke

7

citations
A Rank-Preserving Gaifman Normal Form for First-Order Logic on Weighted Structures
2026 arXiv (Cornell University) preprint Computer Science Advanced Graph Theory Research Open access

Steffen van Bergerem, Martin Grohe, Charlotte Lenz, Nicole Schweikardt

0

citations
A First-order Logic with Frames
2023 ACM Transactions on Programming Languages and Systems article Computer Science Logic, programming, and type systems Open access

Adithya Murali, Lucas Peña, Christof Löding, P. Madhusudan

2

citations
A First-Order Logic with Frames
2020 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Adithya Murali, Lucas Peña, Christof Löding, P. Madhusudan

6

citations
Provenance Analysis and Semiring Semantics for First-Order Logic
2024 arXiv (Cornell University) preprint Computer Science Logic, Reasoning, and Knowledge Open access

Erich Grädel, Val Tannen

1

citations
Concerning Measures in a First-order Logic with Actions and Meta-beliefs
2023 conference-paper Computer Science Logic, Reasoning, and Knowledge Open access

Daxin Liu, Vaishak Belle, Gerhard Lakemeyer

2

citations
On the Parameterized Complexity of Learning First-Order Logic
2022 ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS) conference-paper Computer Science Advanced Graph Theory Research

Steffen van Bergerem, Martin Grohe, Martin Ritzert

3

citations
On the Parameterized Complexity of Learning First-Order Logic
2021 arXiv (Cornell University) preprint Computer Science Advanced Graph Theory Research Open access

Steffen van Bergerem, Martin Grohe, Martin Ritzert

0

citations
Provenance Analysis and Semiring Semantics for First-Order Logic
2025 Trends in mathematics book-chapter Computer Science Logic, Reasoning, and Knowledge

Erich Grädel, Val Tannen

1

citations
Quantitative Monitoring of Signal First-Order Logic
2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Marek Chalupa, Thomas A. Henzinger, N. Ege Saraç, Emily Yu

0

citations
Quantitative Monitoring of Signal First-Order Logic
2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Marek Chalupa, Thomas A. Henzinger, N. Ege Saraç, Emily Yu

0

citations
Quantitative Monitoring of Signal First-Order Logic
2026 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Marek Chalupa, Thomas A. Henzinger, N. Ege Saraç, Emily Yu

0

citations
First-Order Model-Checking in Random Graphs and Complex Networks
2020 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Advanced Graph Theory Research Open access

Jan Dreier, Philipp Kuinke, Peter Rossmanith

1

citations
A First-Order Logic with Frames
2020 RWTH Publications (RWTH Aachen) conference-paper Computer Science semigroups and automata theory Open access

1

citations
Translating Multi-Agent Modal Logics of Knowledge and Belief into Decidable First-Order Fragments
2025 Adaptive Agents and Multi-Agents Systems conference-paper Computer Science Logic, Reasoning, and Knowledge Open access

Qihui Feng, Hannah M. Wilk, Shakil M. Khan, Gerhard Lakemeyer

0

citations
Translating Multi-Agent Modal Logics of Knowledge and Belief into Decidable First-Order Fragments
2025 RWTH Publications (RWTH Aachen) article Computer Science Logic, Reasoning, and Knowledge Open access

Hannah M. Wilk, Shakil M. Khan, Gerhard Lakemeyer

0

citations
LTLf Synthesis on First-Order Agent Programs in Nondeterministic Environments
2025 Proceedings of the AAAI Conference on Artificial Intelligence conference-paper Computer Science Logic, Reasoning, and Knowledge Open access

Till Hofmann, Jens Claßen

1

citations
LTLf Synthesis on First-Order Agent Programs in Nondeterministic Environments
2024 arXiv (Cornell University) preprint Computer Science Logic, Reasoning, and Knowledge Open access

Till Hofmann, Jens Claßen

0

citations
First-Order Model-Checking in Random Graphs and Complex Networks
2020 arXiv (Cornell University) preprint Computer Science Advanced Graph Theory Research Open access

Jan Dreier, Philipp Kuinke, Peter Rossmanith

1

citations
Approximate Evaluation of First-Order Counting Queries
2021 Society for Industrial and Applied Mathematics eBooks conference-paper Computer Science Advanced Graph Theory Research Open access

Jan Dreier, Peter Rossmanith

5

citations
Evaluating Restricted First-Order Counting Properties on Nowhere Dense Classes and Beyond
2023 arXiv (Cornell University) preprint Computer Science Advanced Graph Theory Research Open access

Jan Dreier, Daniel Mock, Peter Rossmanith

0

citations
Provenance Analysis for Logic and Games
2020 RWTH Publications (RWTH Aachen) article Computer Science Logic, Reasoning, and Knowledge

Erich Grädel, Val Tannen

13

citations
Provenance analysis for logic and games
2020 Moscow Journal of Combinatorics and Number Theory article Computer Science Logic, Reasoning, and Knowledge Open access

7

citations