First-order logic with incomplete information
Logic
2019-01-04 v9 Logic in Computer Science
Authors:
Antti Kuusisto
Abstract
We develop first-order logic and some extensions for incomplete information scenarios and consider related complexity issues.
Keywords
Cite
@article{arxiv.1703.03391,
title = {First-order logic with incomplete information},
author = {Antti Kuusisto},
journal= {arXiv preprint arXiv:1703.03391},
year = {2019}
}
Related papers
View all related →
Logic in Computer Science · Computer Science
Ordered fragments of first-order logic
Reijo Jaakkola
2021-03-16
Logic in Computer Science · Computer Science
Partial Orders, Residuation, and First-Order Linear Logic
Richard Moot
2020-08-17
Logic in Computer Science · Computer Science
A First-Order Logic for Reasoning about Knowledge and Probability
Siniša Tomović, Zoran Ognjanović, Dragan Doder
2019-01-23
Logic · Mathematics
Inclusion and Exclusion Dependencies in Team Semantics: On Some Logics of Imperfect Information
Pietro Galliani
2011-06-14
Logic in Computer Science · Computer Science
Identifying and Explaining (Non-)Equivalence of First-Order Logic Formulas
Fabian Vehlken, Thomas Zeume, Emilio Carrasco Bustamante, Maëlle Cornély +1
2026-02-24
Artificial Intelligence · Computer Science
An Alternative Proof Method for Possibilistic Logic and its Application to Terminological Logics
Bernhard Hollunder
2013-02-28
Logic in Computer Science · Computer Science
On the Existential Fragments of Local First-Order Logics with Data
Benedikt Bollig, Arnaud Sangnier, Olivier Stietel
2022-09-22
Logic in Computer Science · Computer Science
First-order Temporal Logic on Finite Traces: Semantic Properties, Decidable Fragments, and Applications
Alessandro Artale, Andrea Mazzullo, Ana Ozaki
2022-02-02
Logic in Computer Science · Computer Science
One-Variable Logic Meets Presburger Arithmetic
Bartosz Bednarczyk
2019-09-17
Logic in Computer Science · Computer Science
The Logic of Counting Query Answers
Hubie Chen, Stefan Mengel
2017-04-21
Logic in Computer Science · Computer Science
On the Satisfiability of Local First-Order Logics with Data
Benedikt Bollig, Arnaud Sangnier, Olivier Stietel
2024-08-07
Formal Languages and Automata Theory · Computer Science
Languages ordered by the subword order
Dietrich Kuske, Georg Zetzsche
2019-01-09
Logic · Mathematics
A general proof system for logics of imperfect information
Pietro Galliani
2012-01-30
Logic · Mathematics
First-order logic with self-reference
Reijo Jaakkola, Antti Kuusisto
2022-07-18
Logic in Computer Science · Computer Science
Synthesis for prefix first-order logic on data words
Julien Grange, Mathieu Lehaut
2024-04-24
Machine Learning · Computer Science
Logical settings for concept learning from incomplete examples in First Order Logic
Dominique Bouthinon, Henry Soldano, Véronique Ventos
2016-08-16
Artificial Intelligence · Computer Science
A first-order Temporal Logic for Actions
Camilla Schwind
2007-05-23
Logic · Mathematics
A new viewpoint of the G\"odel's incompleteness theorem and its applications
Tianheng Tsui
2018-05-09
Logic in Computer Science · Computer Science
A First-Order Logic with Frames
Adithya Murali, Lucas Peña, Christof Löding, P. Madhusudan
2022-09-27
Databases · Computer Science
Querying Incomplete Data : Complexity and Tractability via Datalog and First-Order Rewritings
Amélie Gheerbrant, Leonid Libkin, Alexandra Rogova, Cristina Sirangelo
2023-10-20
Logic in Computer Science · Computer Science
Interpolation in First-Order Logic
Balder ten Cate, Jesse Comer
2025-10-07
Multiagent Systems · Computer Science
Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results
Francesco Belardinelli, Alessio Lomuscio
2014-01-25
Machine Learning · Computer Science
On the logical skills of large language models: evaluations using arbitrarily complex first-order logic problems
Shokhrukh Ibragimov, Arnulf Jentzen, Benno Kuckuck
2025-02-21
Logic in Computer Science · Computer Science
Dichotomies and Duality in First-order Model Checking Problems
Barnaby Martin
2007-05-23
Databases · Computer Science
Possible and Certain Answers for Queries over Order-Incomplete Data
Antoine Amarilli, Mouhamadou Lamine Ba, Daniel Deutch, Pierre Senellart
2018-01-30