scientific article; zbMATH DE number 529899

zbMath0791.18007MaRDI QIDQ4285618

Kimmo I. Rosenthal

Publication date: 24 March 1994

Full work available at URL: http://www.numdam.org/item?id=CTGDC_1993__34_4_267_0

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

modal logictense logicsemanticsquantaloidrelational presheaf

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30) Theories (e.g., algebraic theories), structure, and semantics (18C10) Enriched categories (over closed or monoidal categories) (18D20)

Related Items (3)

Categorical foundations of topology with applications to quantaloid enriched topological spaces ⋮ Quantaloids, enriched categories and automata theory ⋮ A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Free quantaloids
• Cartesian bicategories. I
• Quantaloidal nuclei, the syntactic congruence and tree automata
• On homomorphisms, correctness, termination, unfoldments, and equivalence of flow diagram programs
• Bi-Heyting algebras, toposes and modalities
• An extension of the Galois theory of Grothendieck
• Modal logics withn-ary connectives
• Applications of Sup-Lattice Enriched Category Theory to Sheaf Theory
• Temporal Structures
• Girard quantaloids
• Metric spaces, generalized logic, and closed categories
• Quantales, observational logic and process semantics
• A categorical manifesto

This page was built for publication: