Copertina

Hyperintensional Intention

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Khaitovich, Daniil, Özgün, Aybüke
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Guises and Perspectives: An Intentional and Hyperintensional Sketch
di: Colomina-Alminana, Juan J.
Pubblicazione: (2026)

Generalisation of proof simulation procedures for Frege systems by M.L.~Bonet and S.R.~Buss
di: Kozhemiachenko, Daniil
Pubblicazione: (2024)

Modal Logic for Reasoning About Uncertainty and Confusion
di: Bílková, Marta, et al.
Pubblicazione: (2025)

Abductive Reasoning in a Paraconsistent Framework
di: Bienvenu, Meghyn, et al.
Pubblicazione: (2024)

Complexity of Abduction in Łukasiewicz Logic
di: Inoue, Katsumi, et al.
Pubblicazione: (2025)

Reasoning About Probabilities, Actions, and Knowledge in Fuzzy Modal Logic
di: Kozhemiachenko, Daniil, et al.
Pubblicazione: (2026)

Queries With Exact Truth Values in Paraconsistent Description Logics
di: Bienvenu, Meghyn, et al.
Pubblicazione: (2024)

Paraconsistent Constructive Modal Logic
di: Gao, Han, et al.
Pubblicazione: (2025)

Probabilistic Abduction in a Fuzzy Logic Framework
di: Flaminio, Tommaso, et al.
Pubblicazione: (2026)

Complexity of Łukasiewicz Modal Probabilistic Logics
di: Kozhemiachenko, Daniil, et al.
Pubblicazione: (2025)

Simplifier: A New Tool for Boolean Circuit Simplification
di: Averkov, Daniil, et al.
Pubblicazione: (2025)

Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis
di: Averkov, Daniil, et al.
Pubblicazione: (2024)

Sequent Calculi for Data-Aware Modal Logics
di: Areces, Carlos, et al.
Pubblicazione: (2025)

Comparing and Contrasting Arrow's Impossibility Theorem and Gödel's Incompleteness Theorem
di: Livson, Ori, et al.
Pubblicazione: (2025)

A study of cut-elimination for a non-labelled cyclic proof system for propositional dynamic logics
di: Oda, Yukihiro
Pubblicazione: (2025)

Abstract computation over first-order structures. Part IIa: Moschovakis' operator and other non-determinisms
di: Gaßner, Christine
Pubblicazione: (2025)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
di: Artale, Alessandro, et al.
Pubblicazione: (2025)

Proof-theoretic Semantics for Second-order Logic
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2025)

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

Proof-Theoretic Functional Completeness for the Connexive Logic C
di: Ayhan, Sara, et al.
Pubblicazione: (2025)

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

Basis-Sensitive Quantum Typing via Realisability
di: Díaz-Caro, Alejandro, et al.
Pubblicazione: (2025)

An abstract fixed-point theorem for Horn formula equations
di: Hetzl, Stefan, et al.
Pubblicazione: (2025)

Terminating Hybrid Tableaus for Ordered Models
di: Nishimura, Yuki
Pubblicazione: (2025)

Skolemization In Intermediate Logics
di: Baaz, Matthias, et al.
Pubblicazione: (2025)

Shininess, strong politeness, and unicorns
di: Przybocki, Benjamin, et al.
Pubblicazione: (2025)

Proofs that Modify Proofs, 1/2
di: Towsner, Henry
Pubblicazione: (2025)

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

Simple Classes of Automatic Structures
di: Blumensath, Achim
Pubblicazione: (2025)

Constructive Ordinal Exponentiation
di: de Jong, Tom, et al.
Pubblicazione: (2025)

Proof-theoretic Semantics for Classical Propositional Logic with Assertion and Denial
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2025)

Prime Factorization in Models of PV$_1$
di: Ježil, Ondřej
Pubblicazione: (2025)

Intuitionistic monotone modal logic via translation
di: de Groot, Jim
Pubblicazione: (2025)

Realizing the totally unordered structure of ordinals
di: Fontanella, Laura, et al.
Pubblicazione: (2025)

Tree Rewriting Calculi for Strictly Positive Logics
di: Santiago-Fernández, Sofía, et al.
Pubblicazione: (2025)

Bilateral base-extension semantics
di: Barroso-Nascimento, Victor, et al.
Pubblicazione: (2025)

Infinite trees
di: Goy, Alexandre
Pubblicazione: (2025)

A dual characterisation of simple and subdirectly-irreducible temporal Heyting algebras
di: Alvarez, David Quinn
Pubblicazione: (2025)

Difference-restriction algebras with operators
di: Borlido, Célia, et al.
Pubblicazione: (2025)

Unravelling Cyclic First-Order Arithmetic
di: Leigh, Graham E., et al.
Pubblicazione: (2025)