scientific article

zbMath0657.03008MaRDI QIDQ3804674

Silvio Ghilardi, G. C. Meloni

Publication date: 1988

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

zbMATH Keywords

modal logictense logiccategorical logiccategorical semanticspresheafmodalitiessemantic attributesLawvere doctrinesmodal and tense predicate logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05) Categorical logic, topoi (03G30) Logic with extra quantifiers and operators (03C80)

Related Items

The Invariance Modality, A completeness theorem for open maps, An algebraic theory of normal forms, Completeness results for intuitionistic and modal logic in a categorical setting, Doctrines, modalities and comonads, Bi-Heyting algebras, toposes and modalities, A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes, Modes of adjointness, Quantified extensions of canonical propositional intermediate logics, TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC, Presheaf semantics and independence results for some non-classical first- order logics, Unnamed Item, Neighborhood-Sheaf Semantics for First-Order Modal Logic, A Note on Coalgebras and Presheaves, Counterpart semantics at work: independence and incompleteness results in quantified modal logic