From

Institution

Field

Type

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

Reset

Papers matching “first-order logic” 93

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 Advanced Algebra and Logic Open access

Erich Grädel, Hayyan Helal, Matthias Naaf

2

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

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

0

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
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
Zero-One Laws and Almost Sure Valuations of First-Order Logic in Semiring Semantics
2022 conference-paper Computer Science Logic, Reasoning, and Knowledge

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

7

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 Semantic Web and Ontologies 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 Machine Learning and Algorithms 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 Decision Sciences Scientific Computing and Data Management

Erich Grädel, Val Tannen

1

citations
The Scope of First-Order Logic
2021 Graduate texts in mathematics book-chapter Psychology Philosophy and Theoretical Science

Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas

0

citations
Extensions of First-Order Logic
2021 Graduate texts in mathematics book-chapter Computer Science Advanced Algebra and Logic

Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas

3

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 Formal Methods in Verification Open access

1

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

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
Semantics of First-Order Languages
2021 Graduate texts in mathematics book-chapter Computer Science Logic, Reasoning, and Knowledge

Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas

1

citations
Syntax of First-Order Languages
2021 Graduate texts in mathematics book-chapter Computer Science Logic, Reasoning, and Knowledge

Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas

0

citations
First-Order Model-Checking in Random Graphs and Complex Networks
2020 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Jan Dreier, Philipp Kuinke, Peter Rossmanith

1

citations
LTLf Synthesis on First-Order Agent Programs in Nondeterministic Environments
2025 Proceedings of the AAAI Conference on Artificial Intelligence conference-paper Computer Science Multi-Agent Systems and Negotiation 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 Multi-Agent Systems and Negotiation Open access

Till Hofmann, Jens Claßen

0

citations
Approximate Evaluation of First-Order Counting Queries
2021 Society for Industrial and Applied Mathematics eBooks conference-paper Computer Science Complexity and Algorithms in Graphs 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 semigroups and automata theory Open access

Jan Dreier, Daniel Mock, Peter Rossmanith

0

citations
Provenance Analysis for Logic and Games
2020 RWTH Publications (RWTH Aachen) article Decision Sciences Scientific Computing and Data Management

Erich Grädel, Val Tannen

13

citations