The following pages link to Mario R. F. Benevides (Q281143):
Displaying 41 items.
- Bisimilar and logically equivalent programs in PDL (Q281144) (← links)
- Extending propositional dynamic logic for Petri nets (Q281154) (← links)
- On a graph approach to modal logics (Q281163) (← links)
- On graph calculi for multi-modal logics (Q530865) (← links)
- A study on multi-dimensional products of graphs and hybrid logics (Q654915) (← links)
- Squares in fork arrow logic (Q1402582) (← links)
- (Q1786560) (redirect page) (← links)
- Towards reasoning about Petri nets: a propositional dynamic logic based approach (Q1786561) (← links)
- Adding proof calculi to epistemic logics with structured knowledge (Q2145260) (← links)
- Populational announcement logic (PPAL) (Q2219080) (← links)
- A family of graded epistemic logics (Q2333311) (← links)
- Epistemic logics with structured knowledge (Q2333672) (← links)
- Bisimilar and logically equivalent programs in PDL with parallel operator (Q2358700) (← links)
- On a graph calculus for modalities (Q2358703) (← links)
- On fork arrow logic and its expressive power (Q2454871) (← links)
- Graded epistemic logic with public announcement (Q2669241) (← links)
- Modal Expressiveness of Graph Properties (Q2866735) (← links)
- A Compositional Automata-based Approach for Model Checking Multi-Agent Systems (Q2873614) (← links)
- Propositional dynamic logics for communicating concurrent programs with CCS's parallel operator (Q2937698) (← links)
- Hybrid Logics and NP Graph Properties (Q3003354) (← links)
- Propositional Dynamic Logic for Petri Nets with Iteration (Q3179415) (← links)
- A Propositional Dynamic Logic for Concurrent Programs Based on the π-Calculus (Q3185762) (← links)
- Formalizing Concurrent Common Knowledge as Product of Modal Logics (Q3378197) (← links)
- A Propositional Dynamic Logic for CCS Programs (Q3511450) (← links)
- On vague notions and modalities: a modular approach (Q3577907) (← links)
- Using modal logics to express and check global graph properties (Q3644844) (← links)
- A Constructive Presentation for the Modal Connective of Necessity (□) (Q4007157) (← links)
- (Q4282597) (← links)
- (Q4413986) (← links)
- (Q4440829) (← links)
- Propositional dynamic logic for Petri nets (Q4644609) (← links)
- PDL for structured data: a graph-calculus approach (Q4644610) (← links)
- (Q4994979) (← links)
- (Q5067947) (← links)
- Temporal logic for social networks (Q5103720) (← links)
- (Q5116417) (← links)
- Product of Graphs and Hybrid Logic (Q5170294) (← links)
- Propositional Dynamic Logic with Storing, Recovering and Parallel Composition (Q5179014) (← links)
- Advances in Artificial Intelligence – SBIA 2004 (Q5311184) (← links)
- Reasoning about Knowledge in Asynchronous Distributed Systems (Q5463270) (← links)
- On Diagrams and General Model Checkers (Q5878893) (← links)
