Buchumschlag

Generalized Epstein semantics for Parry systems

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Zamperlin, Nicolò
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Modal weak Kleene logics: axiomatizations and relational semantics
von: Bonzio, Stefano, et al.
Veröffentlicht: (2024)

Axiomatization of Boolean Connexive Logics with syncategorematic negation and modalities
von: Jarmuzek, Tomasz, et al.
Veröffentlicht: (2024)

Generalized quantifiers using team semantics
von: Engström, Fredrik
Veröffentlicht: (2024)

Bilateral base-extension semantics
von: Barroso-Nascimento, Victor, et al.
Veröffentlicht: (2025)

Denotational semantics driven simplicial homology?
von: Barbarossa, Davide
Veröffentlicht: (2024)

Filling in the semantics for intuitionistic conditional logic
von: Dufty, Brendan, et al.
Veröffentlicht: (2025)

Relational semantics for flat Heyting-Lewis Logic
von: de Groot, Jim, et al.
Veröffentlicht: (2026)

Syntax and semantics of multi-adjoint normal logic programming
von: Cornejo, M. Eugenia, et al.
Veröffentlicht: (2024)

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

A completeness theorem in proof-theoretic semantics via set-theoretic semantics
von: Takemura, Ryo
Veröffentlicht: (2025)

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

An ecumenical view of proof-theoretic semantics
von: Nascimento, Victor, et al.
Veröffentlicht: (2023)

There are (other) ways to negate in propositional team semantics
von: Yang, Fan
Veröffentlicht: (2024)

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

Epstein Semantics: Characterization, Interpolation, Undefinability, and (In)Completeness
von: Krawczyk, Krzysztof A.
Veröffentlicht: (2024)

Compactness in team semantics
von: Joni Puljujärvi, et al.
Veröffentlicht: (2024)

Yet another cubical type theory, but via a semantic approach
von: Kapulkin, Chris, et al.
Veröffentlicht: (2025)

A note on schematic validity and completeness in Prawitz's semantics
von: d'Aragona, Antonio Piccolomini
Veröffentlicht: (2025)

An essentially algebraic glance to Kripke semantics: the S5 case
von: De Berardinis, Matteo, et al.
Veröffentlicht: (2025)

Some results in non-monotonic proof-theoretic semantics
von: d'Aragona, Antonio Piccolomini
Veröffentlicht: (2025)

Game semantics for lattice-based modal μ-calculus
von: Ding, Yiwen, et al.
Veröffentlicht: (2023)

T-BAT semantics and its logics
von: Pawlowski, Pawel
Veröffentlicht: (2025)

Uniform validity of atomic Split rule in monotonic proof-theoretic semantics
von: d'Aragona, Antonio Piccolomini
Veröffentlicht: (2025)

Provability interpretation of non-normal modal logics having neighborhood semantics
von: Kogure, Haruka
Veröffentlicht: (2025)

Denotational semantics for languages of epistemic grounding based on Prawitz's theory of grounds
von: d'Aragona, Antonio Piccolomini
Veröffentlicht: (2025)

Modular many-valued semantics for combined logics
von: Caleiro, Carlos, et al.
Veröffentlicht: (2022)

On Kleisli liftings and decorated trace semantics
von: Luckhardt, Daniel, et al.
Veröffentlicht: (2024)

A unified relational semantics for BPL, IPL and OL -- axiomatization without disjunction
von: Chen, Zhicheng
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)

Higher-order bialgebraic semantics
von: Goncharov, Sergey, et al.
Veröffentlicht: (2024)

Nominal semantics for predicate logic: algebras, substitution, quantifiers, and limits
von: Dowek, Gilles, et al.
Veröffentlicht: (2023)

Global types and event structure semantics for asynchronous multiparty sessions
von: Castellani, Ilaria, et al.
Veröffentlicht: (2021)

Game semantics for the constructive $μ$-calculus
von: Pacheco, Leonardo
Veröffentlicht: (2023)

A Reversible Crumbling Abstract Machine for Plotkin's Call-by-Value
von: Pizzo, Nicolò, et al.
Veröffentlicht: (2026)

Operational semantics and program verification using many-sorted hybrid modal logic
von: Leustean, Ioana, et al.
Veröffentlicht: (2019)

Quantum Petri Nets with Event Structures semantics
von: Joachim, Julien Saan, et al.
Veröffentlicht: (2025)

Quantum Petri Nets with Event Structure semantics
von: Joachim, Julien Saan, et al.
Veröffentlicht: (2025)

Logics with probabilistic team semantics and the Boolean negation
von: Hannula, Miika, et al.
Veröffentlicht: (2023)

Combining contextuality and causality: a game semantics approach
von: Abramsky, Samson, et al.
Veröffentlicht: (2023)

Incompleteness for stably computable formal systems
von: Savelyev, Yasha
Veröffentlicht: (2022)