The following pages link to Products of modal logics, part 1 (Q4380448):
Displaying 20 items.
- The Compositional Method and Regular Reachability (Q4982089) (← links)
- Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations (Q4982115) (← links)
- Compositional Failure Detection in Structured Transition Systems (Q5200059) (← links)
- Segerberg Squares of Modal Logics and Theories of Relation Algebras (Q5214740) (← links)
- Using Each Other’s Words (Q5258976) (← links)
- On the Essential Flatness of Possible Worlds (Q5259660) (← links)
- (Q5465443) (← links)
- Products of ‘transitive” modal logics (Q5718700) (← links)
- Logics for Temporal Information Systems in Rough Set Theory (Q5875942) (← links)
- TEMPORAL INTERPRETATION OF MONADIC INTUITIONISTIC QUANTIFIERS (Q5880425) (← links)
- On Monotonic Determinacy and Rewritability for Recursive Queries and Views (Q5886523) (← links)
- The Complexity of Decomposing Modal and First-Order Theories (Q5892176) (← links)
- Modal logics of succession for 2-dimensional integral spacetime (Q5935784) (← links)
- Failure of interpolation in combined modal logics (Q5937819) (← links)
- A simple logic of the hide and seek game (Q6057624) (← links)
- An (almost) fuzzy logic of action and preferences, its quasi-model interpretations, and the problem of its decidability (Q6064250) (← links)
- Semiproducts, products, and modal predicate logics: some examples (Q6123100) (← links)
- CoNP complexity for combinations of non-normal modal logics (Q6541159) (← links)
- Graph games and logic design (Q6601767) (← links)
- No finite model property for logics of quantified announcements (Q6642571) (← links)
