Image de couverture de livre

A logic for instrumental obligation

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Yan, Jialiang, He, Qingyu
Format:	Preprint
Publié:	2025
Sujets:	Logic
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Classification and deontic explosion for contrary-to-duty obligations
par: Kjos-Hanssen, Bjørn
Publié: (2026)

On the expressive power of inquisitive team logic and inquisitive first-order logic
par: Kontinen, Juha, et autres
Publié: (2026)

Quantum modal logic
par: Tokuo, Kenji
Publié: (2025)

A logic for default deontic reasoning
par: Piazza, Mario, et autres
Publié: (2025)

Ramsey Property and Pathological Sets: Almost Disjointness, Independence and Other Maximal Objects
par: He, Jialiang, et autres
Publié: (2026)

Dyadic obligations: proofs and countermodels via hypersequents
par: Ciabattoni, Agata, et autres
Publié: (2024)

Tableau methodology for propositional logics
par: Jarmuzek, T., et autres
Publié: (2025)

Intuitionistic logic, dual intuitionistic logic, and modality
par: Aryal, Safal Raman
Publié: (2024)

The logic of KM belief update is contained in the logic of AGM belief revision
par: Bonanno, Giacomo
Publié: (2026)

Modal definability in Euclidean modal logics
par: Balbiani, Philippe, et autres
Publié: (2025)

Filling in the semantics for intuitionistic conditional logic
par: Dufty, Brendan, et autres
Publié: (2025)

Modelling of logical systems by means of their fragments
par: Rybakov, Mikhail
Publié: (2025)

Extended multi-adjoint logic programming
par: Cornejo, M. Eugenia, et autres
Publié: (2024)

A logic of judgmental existence and its relation to proof irrelevance
par: Pezlar, Ivo
Publié: (2024)

Superabelian logics
par: Cintula, Petr, et autres
Publié: (2024)

Intuitionistic monotone modal logic via translation
par: de Groot, Jim
Publié: (2025)

Intuitionistic modal logics: a minimal setting
par: Balbiani, Philippe, et autres
Publié: (2025)

Bi-intuitionistic logics through the abstract algebraic logic lens
par: Deakin, Jonte, et autres
Publié: (2025)

Further remarks on the dual negation in team logics
par: Anttila, Aleksi
Publié: (2024)

A logic of co-valuations
par: Malicki, Maciej
Publié: (2025)

A linear proof language for second-order intuitionistic linear logic
par: Díaz-Caro, Alejandro, et autres
Publié: (2023)

On semantics of first-order justification logic with binding modalities
par: Yavorskaya, Tatiana, et autres
Publié: (2025)

Intrinsic and relative characterization results for logics with negative modalities
par: de Groot, Jim, et autres
Publié: (2025)

Syntax and semantics of multi-adjoint normal logic programming
par: Cornejo, M. Eugenia, et autres
Publié: (2024)

A joint logic of problems and propositions
par: Melikhov, Sergey A.
Publié: (2025)

Two-layered logics for probabilities and belief functions over Belnap--Dunn logic
par: Bilkova, Marta, et autres
Publié: (2024)

Refutation calculi for lattice-based logics: from display to tableaux
par: De Domenico, Andrea, et autres
Publié: (2026)

The proof theory and semantics of second-order (intuitionistic) tense logic
par: Becker, Justus, et autres
Publié: (2026)

Complexity of the Model Checking problem for inquisitive propositional and modal logic
par: Grilletti, Gianluca, et autres
Publié: (2024)

Obligations and permissions on selfextensional logics
par: De Domenico, Andrea, et autres
Publié: (2024)

Symbolic ω-automata with obligations
par: Di Stefano, Luca
Publié: (2025)

A note on the modal logic of symmetric extensions
par: Duncan, Hope
Publié: (2026)

Tableaux for epistemic Gödel logic
par: Bílková, Marta, et autres
Publié: (2025)

Supervaluations, truth, and intuitionistic logic
par: Dopico, Pablo
Publié: (2025)

Uniform interpolation for interpretability logic
par: Horvat, Sebastijan, et autres
Publié: (2025)

Equational definitions of logical filters
par: Baldi, Michele Pra, et autres
Publié: (2024)

The Baire closure and its logic
par: Bezhanishvili, Guram, et autres
Publié: (2021)

More on modal logics and deduction
par: Gyenis, Zalán, et autres
Publié: (2026)

Definability in affine continuous logic
par: Bagheri, Seyed-Mohammad
Publié: (2024)

Non-distributive description logic
par: van der Berg, Ineke, et autres
Publié: (2023)