Copertina

Boolean-valued second-order logic revisited

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Ikegami, Daisuke
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

Completeness theorems for modal logic in second-order arithmetic
di: Shimomichi, Sho, et al.
Pubblicazione: (2025)

Model theory of second order logic
di: Väänänen, Jouko
Pubblicazione: (2025)

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

New foundations of reasoning via real-valued first-order logics
di: Badia, Guillermo, et al.
Pubblicazione: (2022)

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

Capturing the polynomial hierarchy by second-order revised Krom logic
di: Wang, Kexu, et al.
Pubblicazione: (2022)

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

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

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

Inclusion with repetitions and Boolean constants -- implication problems revisited
di: Häggblom, Matilda
Pubblicazione: (2025)

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

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

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

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

Making first order linear logic a generating grammar
di: Slavnov, Sergey
Pubblicazione: (2022)

Universally Baire sets in $2^κ$
di: Ikegami, Daisuke, et al.
Pubblicazione: (2024)

The Axiom of Real Determinacy and the Axiom of Real Blackwell Determinacy
di: Ikegami, Daisuke, et al.
Pubblicazione: (2025)

Modular many-valued semantics for combined logics
di: Caleiro, Carlos, et al.
Pubblicazione: (2022)

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

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

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

Generating proof systems for three-valued propositional logics
di: Greati, Vitor, et al.
Pubblicazione: (2024)

Nonclassical logics and multivariate truth values
di: Zhuravlov, Volodymyr M.
Pubblicazione: (2024)

Rings and Boolean Algebras as Algebraic Theories
di: De Faveri, Arturo
Pubblicazione: (2025)

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

Quantum modal logic
di: Tokuo, Kenji
Pubblicazione: (2025)

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

Algebraic characterisation of pseudo-elementary and second-order classes
di: Ivanyos, János Balázs
Pubblicazione: (2026)

Pathwise-random trees and models of second-order arithmetic
di: Barmpalias, George, et al.
Pubblicazione: (2021)

Projective curves and weak second-order logic
di: Berarducci, Alessandro, et al.
Pubblicazione: (2025)

Tableau methodology for propositional logics
di: Jarmuzek, T., et al.
Pubblicazione: (2025)

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

Intuitionistic logic, dual intuitionistic logic, and modality
di: Aryal, Safal Raman
Pubblicazione: (2024)

Boolean basis, formula size, and number of modal operators
di: Berkholz, Christoph, et al.
Pubblicazione: (2024)

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

Quasi-Polish spaces and spaces of filters in second-order arithmetic
di: Kaneko, Yuzuki, et al.
Pubblicazione: (2026)

The logic of KM belief update is contained in the logic of AGM belief revision
di: Bonanno, Giacomo
Pubblicazione: (2026)

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