Imagen de Portada

New foundations of reasoning via real-valued first-order logics

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Badia, Guillermo, Fagin, Ronald, Noguera, Carles
Formato:	Preprint
Publicado:	2022
Materias:	Logic
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Asymptotic truth-value laws in many-valued logics
por: Badia, Guillermo, et al.
Publicado: (2023)

Logical Characterizations of Weighted Complexity Classes
por: Badia, Guillermo, et al.
Publicado: (2024)

Codd's Theorem for Databases over Semirings
por: Badia, Guillermo, et al.
Publicado: (2025)

Superabelian logics
por: Cintula, Petr, et al.
Publicado: (2024)

On the expressive power of inquisitive team logic and inquisitive first-order logic
por: Kontinen, Juha, et al.
Publicado: (2026)

A logic for default deontic reasoning
por: Piazza, Mario, et al.
Publicado: (2025)

On semantics of first-order justification logic with binding modalities
por: Yavorskaya, Tatiana, et al.
Publicado: (2025)

A modular bisimulation characterisation for fragments of hybrid logic
por: Badia, Guillermo, et al.
Publicado: (2023)

Fagin's Theorem for Semiring Turing Machines
por: Badia, Guillermo, et al.
Publicado: (2025)

One-variable fragments of first-order logics
por: Cintula, Petr, et al.
Publicado: (2023)

Boolean-valued second-order logic revisited
por: Ikegami, Daisuke
Publicado: (2025)

Craig interpolation theorem fails in bi-intuitionistic predicate logic
por: Olkhovikov, Grigory K., et al.
Publicado: (2022)

Making first order linear logic a generating grammar
por: Slavnov, Sergey
Publicado: (2022)

The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions
por: Oda, Yukihiro, et al.
Publicado: (2021)

Strong completeness of a first-order temporal logic for real time
por: Goldblatt, Robert
Publicado: (2023)

Conditional reasoning and the shadows it casts onto the first-order logic: the Nelsonian case
por: Olkhovikov, Grigory
Publicado: (2024)

A very sharp threshold for first order logic distinguishability of random graphs
por: Benjamini, Itai, et al.
Publicado: (2022)

Inquisitive first-order logic is neither compact nor recursively axiomatizable
por: Ciardelli, Ivano, et al.
Publicado: (2026)

Rough sets semantics for the three-valued extension of first-order Priest's da Costa logic
por: Castiglioni, José Luis, et al.
Publicado: (2025)

Synthesis for prefix first-order logic on data words
por: Grange, Julien, et al.
Publicado: (2024)

Complete first-order reasoning for functional programs
por: Murali, Adithya, et al.
Publicado: (2026)

Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language
por: Powell, Thomas
Publicado: (2023)

First-order friendliness
por: Badia, Guillermo, et al.
Publicado: (2022)

Local and global $d$-rigidity are not definable in the first order logic of graphs
por: Bernstein, Daniel Irving, et al.
Publicado: (2025)

Multi-Structural Games and Number of Quantifiers
por: Fagin, Ronald, et al.
Publicado: (2021)

Many-valued coalgebraic dynamic logics: Safety and strong completeness via reducibility
por: Hansen, Helle Hvid, et al.
Publicado: (2025)

Globally valued fields: foundations
por: Yaacov, Itaï Ben, et al.
Publicado: (2024)

Intuitionistic modal logics: epistemic reasoning with distributed knowledge
por: Balbiani, Philippe
Publicado: (2025)

Semantics out of context: nominal absolute denotations for first-order logic and computation
por: Gabbay, Murdoch J.
Publicado: (2013)

Constant time testability of first-order logic with modulo counting on finitary graphs
por: Adler, Isolde, et al.
Publicado: (2026)

MSO logic of the real order with the set quantifiers ranging over the Borel sets
por: Džamonja, Mirna
Publicado: (2025)

Completeness of two fragments of a logic for conditional strategic reasoning
por: Li, Yinfeng, et al.
Publicado: (2024)

Four-valued logics of indicative conditionals
por: Pérez, Miguel Muñoz
Publicado: (2025)

Order-invariant cluster first-order logic on graph classes of bounded degree
por: Ghasemi, Fatemeh, et al.
Publicado: (2026)

The proof theory and semantics of second-order (intuitionistic) tense logic
por: Becker, Justus, et al.
Publicado: (2026)

On an ordinary expansion of first-order Belnap-Dunn logic
por: Middelburg, C. A.
Publicado: (2023)

A linear proof language for second-order intuitionistic linear logic
por: Díaz-Caro, Alejandro, et al.
Publicado: (2023)

A first-order logic characterization of safety and co-safety languages
por: Cimatti, Alessandro, et al.
Publicado: (2022)

New inner models from second order logics
por: Magidor, Menachem, et al.
Publicado: (2025)

Many-valued coalgebraic logic over semi-primal varieties
por: Kurz, Alexander, et al.
Publicado: (2023)