:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Cintula, Petr, Metcalfe, George, Tokuda, Naomi
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	Logic
Online-Zugang:	https://arxiv.org/abs/2310.15806
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Superabelian logics
von: Cintula, Petr, et al.
Veröffentlicht: (2024)

Relevant Consequence Relations: An Invitation
von: Badia, Guillermo, et al.
Veröffentlicht: (2022)

On the expressive power of inquisitive team logic and inquisitive first-order logic
von: Kontinen, Juha, et al.
Veröffentlicht: (2026)

On semantics of first-order justification logic with binding modalities
von: Yavorskaya, Tatiana, et al.
Veröffentlicht: (2025)

Modelling of logical systems by means of their fragments
von: Rybakov, Mikhail
Veröffentlicht: (2025)

Interpolation and Amalgamation
von: Metcalfe, George
Veröffentlicht: (2025)

Complexity of the variable-free fragments of non-normal modal logics (extended version)
von: Kudinov, A., et al.
Veröffentlicht: (2025)

Making first order linear logic a generating grammar
von: Slavnov, Sergey
Veröffentlicht: (2022)

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

On two-variable guarded fragment logic with expressive local Presburger constraints
von: Lu, Chia-Hsuan, et al.
Veröffentlicht: (2022)

The algebraic semantics for the one-variable monadic fragment of the predicate logic $\mathcal{G}\forall_{\sim}$
von: Castaño, Diego, et al.
Veröffentlicht: (2024)

A very sharp threshold for first order logic distinguishability of random graphs
von: Benjamini, Itai, et al.
Veröffentlicht: (2022)

Goedel logics: Prenex fragments
von: Baaz, Matthias, et al.
Veröffentlicht: (2024)

Synthesis for prefix first-order logic on data words
von: Grange, Julien, et al.
Veröffentlicht: (2024)

New foundations of reasoning via real-valued first-order logics
von: Badia, Guillermo, et al.
Veröffentlicht: (2022)

Inquisitive first-order logic is neither compact nor recursively axiomatizable
von: Ciardelli, Ivano, et al.
Veröffentlicht: (2026)

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

A modular bisimulation characterisation for fragments of hybrid logic
von: Badia, Guillermo, et al.
Veröffentlicht: (2023)

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

Semantics out of context: nominal absolute denotations for first-order logic and computation
von: Gabbay, Murdoch J.
Veröffentlicht: (2013)

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

On variable non-dependence of first-order formulas
von: Lefever, Koen, et al.
Veröffentlicht: (2025)

On an ordinary expansion of first-order Belnap-Dunn logic
von: Middelburg, C. A.
Veröffentlicht: (2023)

Deciding Equations in the Time Warp Algebra
von: van Gool, Sam, et al.
Veröffentlicht: (2023)

Strong completeness of a first-order temporal logic for real time
von: Goldblatt, Robert
Veröffentlicht: (2023)

Order-invariant cluster first-order logic on graph classes of bounded degree
von: Ghasemi, Fatemeh, et al.
Veröffentlicht: (2026)

Non-commutative linear logic fragments with sub-context-free complexity
von: Nishimiya, Yusaku, et al.
Veröffentlicht: (2025)

The proof theory and semantics of second-order (intuitionistic) tense logic
von: Becker, Justus, et al.
Veröffentlicht: (2026)

Completeness of two fragments of a logic for conditional strategic reasoning
von: Li, Yinfeng, et al.
Veröffentlicht: (2024)

A first-order logic characterization of safety and co-safety languages
von: Cimatti, Alessandro, et al.
Veröffentlicht: (2022)

A linear proof language for second-order intuitionistic linear logic
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2023)

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

On first-order model checking parameterized by the number of variables
von: Jedelský, Jan
Veröffentlicht: (2026)

Boolean-valued second-order logic revisited
von: Ikegami, Daisuke
Veröffentlicht: (2025)

Independence questions in a finite axiom-schematization of first-order logic
von: Jubin, Benoit
Veröffentlicht: (2022)

Completeness theorems for modal logic in second-order arithmetic
von: Shimomichi, Sho, et al.
Veröffentlicht: (2025)

Superintuitionistic predicate logics of linear frames: undecidability with two individual variables
von: Rybakov, Mikhail
Veröffentlicht: (2025)

Quantum modal logic
von: Tokuo, Kenji
Veröffentlicht: (2025)

Model theory of second order logic
von: Väänänen, Jouko
Veröffentlicht: (2025)

Two variable logic with ultimately periodic counting
von: Benedikt, Michael, et al.
Veröffentlicht: (2020)