On the public citation graph

Roles and dynamic subclasses: A modal logic approach

https://doi.org/10.1007/bfb0052175
0 signed · 87 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1006/inco.1993.1016openalex-snapshot
Order-Sorted Algebra Solves the Constructor-Selector, Multiple Representation, and Coercion Problems
inferredcites →https://doi.org/10.1007/3-540-13346-1_2openalex-snapshot
A semantics of multiple inheritance
inferredcites →https://doi.org/10.1007/3-540-47910-4_13openalex-snapshot
Solving the Inheritance Anomaly in Concurrent Object-Oriented Programming
inferredcites →https://doi.org/10.1007/3-540-47910-4_15openalex-snapshot
Predicate Classes
inferredcites →https://doi.org/10.1007/3-540-54415-1_65openalex-snapshot
Sharing actions and attributes in modal action logic
inferredcites →https://doi.org/10.1007/3-540-55015-1_23openalex-snapshot
A formalization of objects using equational dynamic logic
inferredcites →https://doi.org/10.1007/3-540-56023-8_23openalex-snapshot
A temporal query language based on conceptual entities and roles
inferredcites →https://doi.org/10.1007/978-1-4020-4110-5_17openalex-snapshot
Sameness and Individuation
inferredcites →https://doi.org/10.1007/978-1-4471-3554-8_7openalex-snapshot
Dynamic Database Logic: the First-order Case
inferredcites →https://doi.org/10.1007/978-3-322-94709-3openalex-snapshot
Algebraische Spezifikation abstrakter Datentypen
inferredcites →https://doi.org/10.1007/978-94-009-6259-0_10openalex-snapshot
Dynamic Logic
inferredcites →https://doi.org/10.1007/bf01556356openalex-snapshot
Actors, actions, and initiative in normative system specification
inferredcites →https://doi.org/10.1007/bfb0014969openalex-snapshot
Models and equality for logical programming
inferredcites →https://doi.org/10.1007/bfb0015747openalex-snapshot
Operational semantics for order-sorted algebra
inferredcites →https://doi.org/10.1016/0169-023x(91)90026-topenalex-snapshot
Steps towards a method for the formal modeling of dynamic objects
inferredcites →https://doi.org/10.1016/0304-3975(92)90302-vopenalex-snapshot
Order-sorted algebra I: equational deduction for multiple inheritance, overloading, exceptions and partial operations
inferredcites →https://doi.org/10.1016/0890-5401(88)90007-7openalex-snapshot
A semantics of multiple inheritance
inferredcites →https://doi.org/10.1016/b978-0-444-88074-1.50019-6openalex-snapshot
Logics of Programs
inferredcites →https://doi.org/10.1016/s0304-3975(96)00142-9openalex-snapshot
Dynamic constraints and object migration
inferredcites →https://doi.org/10.1093/logcom/5.1.27openalex-snapshot
Axiomatization, Declarative Semantics and Operational Semantics of Passive and Active Updates in Logic Databases
inferredcites →https://doi.org/10.1108/ir.1999.04926fae.001openalex-snapshot
Lecture Notes in Computer Science 1205
inferredcites →https://doi.org/10.1145/115790.115839openalex-snapshot
Aspects
inferredcites →https://doi.org/10.1145/170035.170057openalex-snapshot
A logical semantics for object-oriented databases
inferredcites →https://doi.org/10.1145/170036.170057openalex-snapshot
A logical semantics for object-oriented databases
inferredcites →https://doi.org/10.1145/320107.320109openalex-snapshot
Extending the database relational model to capture more meaning
inferredcites →https://doi.org/10.1145/323779.323755openalex-snapshot
Extensions and foundations of object-oriented programming
inferredcites →https://doi.org/10.1145/38765.38844openalex-snapshot
Experience and evolution of concurrent Smalltalk
inferredcites →https://doi.org/10.1145/65935.65936openalex-snapshot
Object specialization
inferredcites →https://doi.org/10.1145/91474.91542openalex-snapshot
Objects with roles
inferredcites →https://doi.org/10.1145/947864.947865openalex-snapshot
Completeness of many-sorted equational logic
inferredcites →https://doi.org/10.1145/947886.947887openalex-snapshot
Completeness of many-sorted equational logic
inferredcites →https://doi.org/10.1145/960112.28718openalex-snapshot
Using prototypical objects to implement shared behavior in object-oriented systems
inferredcites →https://doi.org/10.1145/960112.28739openalex-snapshot
Object identity
inferredcites →https://doi.org/10.1201/9781420043037.ch29openalex-snapshot
Object-Oriented Analysis
inferredcites →https://doi.org/10.2307/2025364openalex-snapshot
Sameness and Individuation
inferredcites →https://doi.org/10.2307/2184803openalex-snapshot
Sameness and Substance.
inferredcites →https://doi.org/10.2307/2218526openalex-snapshot
Introduction to Logic.

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/j.1096-9942.1995.tb00006.xopenalex-snapshot
Using Dynamic Classes and Role Classes to Model Object Migration
inferred← citeshttps://doi.org/10.1002/j.1096-9942.1995.tb00011.xopenalex-snapshot
Object Identifiers, Keys, and Surrogates: Object Identifiers Revisited
inferred← citeshttps://doi.org/10.1006/inco.2000.2891openalex-snapshot
Semantics of Temporal Classes
inferred← citeshttps://doi.org/10.1006/jpdc.1998.1522openalex-snapshot
Heterogeneous and Multifaceted Multimedia Objects in DOOR/MM: A Role-Based Approach with Views
inferred← citeshttps://doi.org/10.1007/3-540-39967-4_8openalex-snapshot
A Formal Ontology of Properties
inferred← citeshttps://doi.org/10.1007/3-540-45393-8_16openalex-snapshot
Ontological Analysis of Taxonomic Relationships
inferred← citeshttps://doi.org/10.1007/3-540-46581-2_9openalex-snapshot
Towards a Proof-Theoretic Foundation for Actor Specification and Verification
inferred← citeshttps://doi.org/10.1007/3-540-47993-7_25openalex-snapshot
Behavioral Compatibility of Self-Typed Theories
inferred← citeshttps://doi.org/10.1007/3-540-49538-x_20openalex-snapshot
Sharing Properties in a Uniform Object Space
inferred← citeshttps://doi.org/10.1007/3-540-58867-1_63openalex-snapshot
LCM and MCM
inferred← citeshttps://doi.org/10.1007/3-540-64823-2_6openalex-snapshot
Constrained matching is type safe
inferred← citeshttps://doi.org/10.1007/978-0-387-35300-5_20openalex-snapshot
Modeling and Implementation of Temporal Aspects of Objects in Commercial Information Systems
inferred← citeshttps://doi.org/10.1007/978-1-4471-0973-0_19openalex-snapshot
Conflict Resolution using Derived Classes
inferred← citeshttps://doi.org/10.1007/978-1-4615-5137-9_1openalex-snapshot
Foundations of Object-Oriented Modeling Notations in a Dynamic Logic Framework
inferred← citeshttps://doi.org/10.1007/978-1-4615-5229-1_11openalex-snapshot
Formalising the UML in Structured Temporal Theories
inferred← citeshttps://doi.org/10.1007/978-1-4615-5229-1_3openalex-snapshot
What vs. How of Visual Modeling: The Arrow Logic of Graphic Notations
inferred← citeshttps://doi.org/10.1007/978-3-540-48480-6_9openalex-snapshot
Semantics and Transformations for UML Models
inferred← citeshttps://doi.org/10.1007/978-3-642-23300-5_6openalex-snapshot
The Problem of Conceptual Incompatibility
inferred← citeshttps://doi.org/10.1007/978-3-642-60247-4_22openalex-snapshot
Lava Spracherweiterungen für Delegation in Java
inferred← citeshttps://doi.org/10.1007/978-3-642-79958-7_61openalex-snapshot
Delegation als Konzept der objekt-orientierten Modellierung
inferred← citeshttps://doi.org/10.1007/978-94-017-1317-7_7openalex-snapshot
Object Evolution in Object Databases
inferred← citeshttps://doi.org/10.1007/bfb0020539openalex-snapshot
Data model evolution as a basis of business process management
inferred← citeshttps://doi.org/10.1007/bfb0035006openalex-snapshot
The evolving algebra semantics of class and role hierarchies
inferred← citeshttps://doi.org/10.1007/bfb0054237openalex-snapshot
Formalizing materialization using a metaclass approach
inferred← citeshttps://doi.org/10.1007/s004500050046openalex-snapshot
Geschäftsprozeß-Management als Grundlage der Software-Entwicklung
inferred← citeshttps://doi.org/10.1007/s007660050020openalex-snapshot
Animating Formal Specifications with Inheritance in a DL-Based Framework
inferred← citeshttps://doi.org/10.1016/s0020-0255(99)00025-0openalex-snapshot
Multifaceted object modeling with roles: A comprehensive approach
inferred← citeshttps://doi.org/10.1016/s0169-023x(01)00030-1openalex-snapshot
Supporting ontological analysis of taxonomic relationships
inferred← citeshttps://doi.org/10.1016/s0304-3975(96)00134-xopenalex-snapshot
Order-sorted model theory for temporal executable specifications
inferred← citeshttps://doi.org/10.1016/s0950-5849(02)00010-1openalex-snapshot
Institutions: integrating objects, XML and databases
inferred← citeshttps://doi.org/10.1109/69.683756openalex-snapshot
ADOME: an advanced object modeling environment
inferred← citeshttps://doi.org/10.1109/aiccsa.2005.1387114openalex-snapshot
An explicit modeling approach for wholes in the object-oriented development process
inferred← citeshttps://doi.org/10.1109/mmcs.1999.778563openalex-snapshot
Heterogeneous data integration and presentation in multimedia database management systems
inferred← citeshttps://doi.org/10.1109/sccc.1998.730792openalex-snapshot
A dynamic logic model for the formal foundation of object-oriented analysis and design
inferred← citeshttps://doi.org/10.1142/s0218843013500111openalex-snapshot
ENHANCING THE SYSTEM DYNAMICS MODELING PROCESS WITH A DOMAIN MODELING METHOD
inferred← citeshttps://doi.org/10.1145/1176617.1176721openalex-snapshot
Modal logic & ownership types
inferred← citeshttps://doi.org/10.1145/236337.236357openalex-snapshot
A functional layer for description logics
inferred← citeshttps://doi.org/10.1145/236337.236375openalex-snapshot
Using role components in implement collaboration-based designs
inferred← citeshttps://doi.org/10.1145/274567.274582openalex-snapshot
Object technology, architectures and domain analysis
inferred← citeshttps://doi.org/10.1145/331960.331980openalex-snapshot
A collaboration specification language
inferred← citeshttps://doi.org/10.1145/512161.512177openalex-snapshot
A multiple layered functional data model to support multiple representations and interoperability of GIS
inferred← citeshttps://doi.org/10.17869/enu.270914openalex-snapshot
Managing complex taxonomic data in an object-oriented database
inferred← citeshttps://doi.org/10.3233/apo-2007-031openalex-snapshot
Abstract vs. social roles – Towards a general theoretical account of roles
inferred← citeshttps://doi.org/10.32920/ryerson.14645331openalex-snapshot
Adopt: A Context-Aware Domain Ontology-Based Framework for Public Transportation
inferred← citeshttps://doi.org/10.32920/ryerson.14645331.v1openalex-snapshot
Adopt: A Context-Aware Domain Ontology-Based Framework For Public Transportation
inferred← citeshttps://doi.org/10.32920/ryerson.14645331.v2openalex-snapshot
Adopt: A Context-Aware Domain Ontology-Based Framework for Public Transportation
inferred← citeshttps://doi.org/10.35537/10915/2251openalex-snapshot
Una teoría dinámica orientada a objetos como fundamento formal para el proceso de desarrollo de software basado en modelos
inferred← citeshttps://doi.org/10.4000/cybergeo.4289openalex-snapshot
Couches fonctionnelles et Rôles : nouveaux concepts pour une modélisation cohérente et intégrale des informations géographiques
inferred← citeshttps://doi.org/10.4230/dagsemproc.07122.29openalex-snapshot
Towards a General Framework for Modelling Roles
inferred← citeshttps://doi.org/10.5381/jot.2004.3.7.a2openalex-snapshot
Extending the Java Language with Dynamic Classification.
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.