Logical architectures combine several logics into a more complex logical system. In this paper we study a logical architecture using input/output operations corresponding to the functionality of logical components. We illustrate how the architectural approach can be used to develop a logic of a normative system based on logics of counts-as conditionals, institutional constraints, obligations an...

This paper responds to calls for new theoretical frameworks within which examine transport history and bring it into contact with other disciplines a view overcoming some of its alleged previous preoccupations Anglocentric economic data. It offers three interconnected ideas from fields, historical institutionalism, hybridity institutional logics proposes that these tools can assist historians i...

We show that any institution I satisfying some reasonable conditions can be transformed into another institution, Ibeh, which captures formally and abstractly the intuitions of adding support for behavioral equivalence and reasoning to an existing, particular algebraic framework. We call our transformation an “extension” because Ibeh has the same sentences as I and because its entailment relati...

This study explored the adoption, benefits, and challenges of HRIS in a public organization Pakistan. Using case approach, qualitative data was collected through in-depth interviews at various levels hierarchy. The found that could not achieve benefits as established literature. adoption remained quite slow resulted parallel systems (manual automated) organization. In light institutional logics...