Fibring Logics with Topos Semantics

DOI10.1093/LOGCOM/13.4.595zbMath1034.03015OpenAlexW2016979877MaRDI QIDQ4434616

Marcelo E. Coniglio, Cristina Sernadas, Amílcar Sernadas

Publication date: 10 November 2003

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/13.4.595

zbMATH Keywords

completenessconservative extensioncategorical logiccombination of logicshigher-order modal logicfibring

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30)

Related Items (1)

A survey on categories of logics and algebraizable logics

This page was built for publication: Fibring Logics with Topos Semantics