A generalized modal logic in causal structures
From MaRDI portal
Publication:1733058
DOI10.1016/j.tcs.2019.02.006zbMath1417.68217OpenAlexW2914836129MaRDI QIDQ1733058
Ali Akbar Estaji, Mehdi Vatandoost, Rahimeh Pourkhandani
Publication date: 26 March 2019
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2019.02.006
Modal logic (including the logic of norms) (03B45) Reasoning under uncertainty in the context of artificial intelligence (68T37) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Space-time singularities, cosmic censorship, etc. (83C75)
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On rough set and fuzzy sublattice
- The reduction and fusion of fuzzy covering systems based on the evidence theory
- Covering rough sets based on neighborhoods: an approach without using neighborhoods
- Covering based rough set approximations
- Rough set theory applied to lattice theory
- A comparison of two types of rough sets induced by coverings
- Reduction about approximation spaces of covering generalized rough sets
- The covering law in orthomodular lattices generated by graphs of functions
- Rough logic
- Logical aspects of learning concepts
- Causal logic of Minkowski space
- A logic for rough sets
- An algebraic model of observable properties in distributed systems
- Causality in physics and computation
- Generalized fuzzy rough approximation operators based on fuzzy coverings
- Duality, conjugacy and adjointness of approximation operators in covering-based rough sets
- Relationship among basic concepts in covering-based rough sets
- Orthomodular lattices generated by graphs of functions
- Ortho and causal closure as a closure operations in the causal logic
- Closure Operators and Lattices Derived from Concurrency in Posets and Occurrence Nets
- Rough sets
- Non-modular lattices generated by the causal structure