Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design (Q1931353): Difference between revisions

@@ Property / describes a project that uses @@
+Hets
@@ Property / describes a project that uses: Hets / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11787-010-0020-3
+Normal rank
@@ Property / OpenAlex ID @@
+W1963907636
@@ Property / OpenAlex ID: W1963907636 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4693062
@@ Property / cites work: Q4693062 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5714260
@@ Property / cites work: Q5714260 / rank @@
+Normal rank
@@ Property / cites work @@
+A survey of temporal extensions of description logics
+Normal rank
@@ Property / cites work @@
+Q4255593
@@ Property / cites work: Q4255593 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4406531
@@ Property / cites work: Q4406531 / rank @@
+Normal rank
@@ Property / cites work @@
+Connecting many-sorted theories
@@ Property / cites work: Connecting many-sorted theories / rank @@
+Normal rank
@@ Property / cites work @@
+Logical Pluralism
@@ Property / cites work: Logical Pluralism / rank @@
+Normal rank
@@ Property / cites work @@
+Under Carnap's lamp: flat pre-semantics
@@ Property / cites work: Under Carnap's lamp: flat pre-semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4877439
@@ Property / cites work: Q4877439 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3629247
@@ Property / cites work: Q3629247 / rank @@
+Normal rank
@@ Property / cites work @@
+CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM.
+Normal rank
@@ Property / cites work @@
+Journal on Data Semantics I
@@ Property / cites work: Journal on Data Semantics I / rank @@
+Normal rank
@@ Property / cites work @@
+Q2722041
@@ Property / cites work: Q2722041 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4257388
@@ Property / cites work: Q4257388 / rank @@
+Normal rank
@@ Property / cites work @@
+A formulation of the simple theory of types
@@ Property / cites work: A formulation of the simple theory of types / rank @@
+Normal rank
@@ Property / cites work @@
+Q2729670
@@ Property / cites work: Q2729670 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3624118
@@ Property / cites work: Q3624118 / rank @@
+Normal rank
@@ Property / cites work @@
+Ontology Integration Using ε-Connections
@@ Property / cites work: Ontology Integration Using ε-Connections / rank @@
+Normal rank
@@ Property / cites work @@
+Q5625152
@@ Property / cites work: Q5625152 / rank @@
+Normal rank
@@ Property / cites work @@
+Grothendieck institutions
@@ Property / cites work: Grothendieck institutions / rank @@
+Normal rank
@@ Property / cites work @@
+Institution-independent model theory
@@ Property / cites work: Institution-independent model theory / rank @@
+Normal rank
@@ Property / cites work @@
+An epistemic operator for description logics
@@ Property / cites work: An epistemic operator for description logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4052071
@@ Property / cites work: Q4052071 / rank @@
+Normal rank
@@ Property / cites work @@
+Hilbert's program relativized; Proof-theoretical and foundational reductions
+Normal rank
@@ Property / cites work @@
+First-order modal logic
@@ Property / cites work: First-order modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4217280
@@ Property / cites work: Q4217280 / rank @@
+Normal rank
@@ Property / cites work @@
+Many-dimensional modal logics: theory and applications
+Normal rank
@@ Property / cites work @@
+Q4411900
@@ Property / cites work: Q4411900 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3251705
@@ Property / cites work: Q3251705 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3789107
@@ Property / cites work: Q3789107 / rank @@
+Normal rank
@@ Property / cites work @@
+A categorical manifesto
@@ Property / cites work: A categorical manifesto / rank @@
+Normal rank
@@ Property / cites work @@
+Data, Schema, Ontology and Logic Integration
@@ Property / cites work: Data, Schema, Ontology and Logic Integration / rank @@
+Normal rank
@@ Property / cites work @@
+Q3332238
@@ Property / cites work: Q3332238 / rank @@
+Normal rank
@@ Property / cites work @@
+Institutions: abstract model theory for specification and programming
+Normal rank
@@ Property / cites work @@
+Institution morphisms
@@ Property / cites work: Institution morphisms / rank @@
+Normal rank
@@ Property / cites work @@
+Composition of Default Specifications
@@ Property / cites work: Composition of Default Specifications / rank @@
+Normal rank
@@ Property / cites work @@
+Q4328563
@@ Property / cites work: Q4328563 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4333049
@@ Property / cites work: Q4333049 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3616102
@@ Property / cites work: Q3616102 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4411726
@@ Property / cites work: Q4411726 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Properties of Modularisation
@@ Property / cites work: Formal Properties of Modularisation / rank @@
+Normal rank
@@ Property / cites work @@
+Allgemeine Logische und Mathematische Theorien
@@ Property / cites work: Allgemeine Logische und Mathematische Theorien / rank @@
+Normal rank
@@ Property / cites work @@
+Notes on logics of metric spaces
@@ Property / cites work: Notes on logics of metric spaces / rank @@
+Normal rank
@@ Property / cites work @@
+\({\mathcal E}\)-connections of abstract description systems
+Normal rank
@@ Property / cites work @@
+Q4382420
@@ Property / cites work: Q4382420 / rank @@
+Normal rank
@@ Property / cites work @@
+Expressive probabilistic description logics
@@ Property / cites work: Expressive probabilistic description logics / rank @@
+Normal rank
@@ Property / cites work @@
+Cut elimination in coalgebraic logics
@@ Property / cites work: Cut elimination in coalgebraic logics / rank @@
+Normal rank
@@ Property / cites work @@
+Modal Logics of Topological Relations
@@ Property / cites work: Modal Logics of Topological Relations / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Logic for Life Science Ontologies
@@ Property / cites work: Mathematical Logic for Life Science Ontologies / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+Multi-dimensional modal logic
@@ Property / cites work: Multi-dimensional modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3032225
@@ Property / cites work: Q3032225 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4708606
@@ Property / cites work: Q4708606 / rank @@
+Normal rank
@@ Property / cites work @@
+Institutional 2-cells and Grothendieck Institutions
+Normal rank
@@ Property / cites work @@
+Development graphs -- proof management for structured specifications
+Normal rank
@@ Property / cites work @@
+Heterogeneous Logical Environments for Distributed Specifications
+Normal rank
@@ Property / cites work @@
+What is a logic translation?
@@ Property / cites work: What is a logic translation? / rank @@
+Normal rank
@@ Property / cites work @@
+Q3849246
@@ Property / cites work: Q3849246 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4463936
@@ Property / cites work: Q4463936 / rank @@
+Normal rank
@@ Property / cites work @@
+Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\)
+Normal rank
@@ Property / cites work @@
+A four-valued semantics for terminological logics
@@ Property / cites work: A four-valued semantics for terminological logics / rank @@
+Normal rank
@@ Property / cites work @@
+Über Theorien im erweiterten Sinne
@@ Property / cites work: Über Theorien im erweiterten Sinne / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992933
@@ Property / cites work: Q3992933 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2748497
@@ Property / cites work: Q2748497 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3629248
@@ Property / cites work: Q3629248 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4778715
@@ Property / cites work: Q4778715 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3042444
@@ Property / cites work: Q3042444 / rank @@
+Normal rank
@@ Property / cites work @@
+HasCasl: integrated higher-order specification and program development
+Normal rank
@@ Property / cites work @@
+« Everywhere » and « here »
@@ Property / cites work: « Everywhere » and « here » / rank @@
+Normal rank
@@ Property / cites work @@
+A Logic for Concepts and Similarity
@@ Property / cites work: A Logic for Concepts and Similarity / rank @@
+Normal rank
@@ Property / cites work @@
+A modal logic framework for reasoning about comparative distances and topology
+Normal rank
@@ Property / cites work @@
+Der Aussagenkalkül und die Topologie
@@ Property / cites work: Der Aussagenkalkül und die Topologie / rank @@
+Normal rank