Imagen de Portada

A discrete-time temporal deontic STIT logic based on interpreted systems

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Rong, Shuge, Ding, Yifeng
Formato:	Preprint
Publicado:	2025
Materias:	Logic
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

Proof Theory and Decision Procedures for Deontic STIT Logics
por: Lyon, Tim S., et al.
Publicado: (2024)

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

The Varieties of Ought-Implies-Can and Deontic STIT Logic
por: van Berkel, Kees, et al.
Publicado: (2026)

Swap Kripke models for deontic LFIs
por: Vaz, Mahan, et al.
Publicado: (2025)

Uniform interpolation for interpretability logic
por: Horvat, Sebastijan, et al.
Publicado: (2025)

Finite Kripke models and provability interpretations in quantified modal logic
por: Kogure, Haruka, et al.
Publicado: (2026)

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

Modelling of logical systems by means of their fragments
por: Rybakov, Mikhail
Publicado: (2025)

Some General Completeness Results for Propositionally Quantified Modal Logics
por: Ding, Yifeng, et al.
Publicado: (2024)

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

Strong completeness of a first-order temporal logic for real time
por: Goldblatt, Robert
Publicado: (2023)

PECR: A formal system based on computability logic
por: Pantelis, G.
Publicado: (2024)

The Logics of Individual Medvedev Frames
por: Chen, Zhicheng, et al.
Publicado: (2024)

Wider systems for linear logic with fixed points: proof theory and complexity
por: Das, Anupam, et al.
Publicado: (2026)

Refutation calculi for lattice-based logics: from display to tableaux
por: De Domenico, Andrea, et al.
Publicado: (2026)

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

Quantum modal logic
por: Tokuo, Kenji
Publicado: (2025)

A logic for temporal conditionals and a solution to the Sea Battle Puzzle
por: Ju, Fengkui, et al.
Publicado: (2017)

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

A General Theory of Propositional Modal Bundled Modalities
por: Ding, Yifeng, et al.
Publicado: (2026)

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

Tableau methodology for propositional logics
por: Jarmuzek, T., et al.
Publicado: (2025)

An axiomatisation of the temporal logic of two dimensional Minkowski spacetime
por: Hirsch, Robin
Publicado: (2024)

Labelled calculi for lattice-based modal logics
por: van der Berg, Ineke, et al.
Publicado: (2024)

Intuitionistic logic, dual intuitionistic logic, and modality
por: Aryal, Safal Raman
Publicado: (2024)

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

Modal definability in Euclidean modal logics
por: Balbiani, Philippe, et al.
Publicado: (2025)

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

Extended multi-adjoint logic programming
por: Cornejo, M. Eugenia, et al.
Publicado: (2024)

Finite Hilbert systems for Weak Kleene logics
por: Greati, Vitor, et al.
Publicado: (2024)

On Many-logic modal structures and information-based logics
por: Martins, Manuel, et al.
Publicado: (2026)

A logic of judgmental existence and its relation to proof irrelevance
por: Pezlar, Ivo
Publicado: (2024)

Superabelian logics
por: Cintula, Petr, et al.
Publicado: (2024)

The addition of temporal neighborhood makes the logic of prefixes and sub-intervals EXPSPACE-complete
por: Bozzelli, L., et al.
Publicado: (2022)

Intuitionistic monotone modal logic via translation
por: de Groot, Jim
Publicado: (2025)

Intuitionistic modal logics: a minimal setting
por: Balbiani, Philippe, et al.
Publicado: (2025)

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

Further remarks on the dual negation in team logics
por: Anttila, Aleksi
Publicado: (2024)

A logic for instrumental obligation
por: Yan, Jialiang, et al.
Publicado: (2025)