Copertina

The algebraic semantics for the one-variable monadic fragment of the predicate logic $\mathcal{G}\forall_{\sim}$

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Castaño, Diego, Castaño, Valeria, Varela, José Patricio Díaz, Santis, Marcela Muñoz
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Strong completeness for the predicate logic of the continuous t-norms
di: Castaño, Diego, et al.
Pubblicazione: (2024)

Strong standard completeness theorems for S5-modal Lukasiewicz logics
di: Castaño, Diego, et al.
Pubblicazione: (2024)

Terms that define nuclei on residuated lattices: a case study of BL-algebras
di: Buss, Sebastián, et al.
Pubblicazione: (2024)

Nominal semantics for predicate logic: algebras, substitution, quantifiers, and limits
di: Dowek, Gilles, et al.
Pubblicazione: (2023)

Superintuitionistic predicate logics of linear frames: undecidability with two individual variables
di: Rybakov, Mikhail
Pubblicazione: (2025)

Modal logical aspects of provability predicates and consistency statements
di: Kogure, Haruka, et al.
Pubblicazione: (2025)

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

Recursive inseparability of classical theories of a binary predicate and non-classical logics of a unary predicate
di: Rybakov, Mikhail
Pubblicazione: (2025)

Filling in the semantics for intuitionistic conditional logic
di: Dufty, Brendan, et al.
Pubblicazione: (2025)

Neighborhood and algebraic models for predicate modal logics with $ω$-rules
di: Tanaka, Yoshihito
Pubblicazione: (2025)

Modelling of logical systems by means of their fragments
di: Rybakov, Mikhail
Pubblicazione: (2025)

Syntax and semantics of multi-adjoint normal logic programming
di: Cornejo, M. Eugenia, et al.
Pubblicazione: (2024)

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

Complexity of the variable-free fragments of non-normal modal logics (extended version)
di: Kudinov, A., et al.
Pubblicazione: (2025)

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

T-BAT semantics and its logics
di: Pawlowski, Pawel
Pubblicazione: (2025)

A categorical equivalence for monadic algebras of first-order substructural logics motivated by Kalman's construction
di: Wang, Juntao, et al.
Pubblicazione: (2026)

On two-variable guarded fragment logic with expressive local Presburger constraints
di: Lu, Chia-Hsuan, et al.
Pubblicazione: (2022)

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

Goedel logics: Prenex fragments
di: Baaz, Matthias, et al.
Pubblicazione: (2024)

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

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

A comparison of three kinds of monotonic proof-theoretic semantics and the base-incompleteness of intuitionistic logic
di: d'Aragona, Antonio Piccolomini
Pubblicazione: (2025)

Indiscernibles in monadically NIP theories
di: Braunfeld, Samuel, et al.
Pubblicazione: (2024)

Provability interpretation of non-normal modal logics having neighborhood semantics
di: Kogure, Haruka
Pubblicazione: (2025)

Bi-intuitionistic logics through the abstract algebraic logic lens
di: Deakin, Jonte, et al.
Pubblicazione: (2025)

On the existence property over a predicate
di: Usvyatsov, Alexander
Pubblicazione: (2025)

On $\lam$-existence over a predicate
di: Usvyatsov, Alexander
Pubblicazione: (2026)

Existential characterizations of monadic NIP
di: Braunfeld, Samuel, et al.
Pubblicazione: (2022)

Monotone weak distributive laws over the lifted powerset monad in categories of algebras
di: Aristote, Quentin
Pubblicazione: (2025)

Modal weak Kleene logics: axiomatizations and relational semantics
di: Bonzio, Stefano, et al.
Pubblicazione: (2024)

Strong quasi-MV* algebras and their logics
di: Cai, Lei, et al.
Pubblicazione: (2025)

The logic of quasi MV star algebras
di: Cai, Lei, et al.
Pubblicazione: (2025)

Stability over a predicate and prime closure
di: Usvyatsov, Alexander
Pubblicazione: (2024)

Duality for coalgebras for Vietoris and monadicity
di: Abbadini, Marco, et al.
Pubblicazione: (2023)

On algebraic and topological semantics of the modal logic of common knowledge S4CI
di: Shamkanov, Daniyar
Pubblicazione: (2021)

An essentially algebraic glance to Kripke semantics: the S5 case
di: De Berardinis, Matteo, et al.
Pubblicazione: (2025)

Stable amalgamation over a predicate and the Gaifman property
di: Shelah, Saharon, et al.
Pubblicazione: (2025)

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

Non-commutative linear logic fragments with sub-context-free complexity
di: Nishimiya, Yusaku, et al.
Pubblicazione: (2025)