| Temporal logic for social networks | 0 | 0.34 | 2022 |
| Adding Proof Calculi to Epistemic Logics with Structured Knowledge. | 0 | 0.34 | 2021 |
| DaLí - Dynamic Logic, new trends and applications. | 0 | 0.34 | 2020 |
| Epistemic Logics with Structured Knowledge. | 0 | 0.34 | 2019 |
| Logics for Petri Nets with Propagating Failures. | 0 | 0.34 | 2019 |
| Dynamic Epistemic Logic with Communication Actions. | 0 | 0.34 | 2019 |
| A Family of Graded Epistemic Logics | 0 | 0.34 | 2018 |
| Bisimilar and logically equivalent programs in PDL with parallel operator. | 0 | 0.34 | 2017 |
| Action Models With Postconditions | 0 | 0.34 | 2017 |
| On a graph calculus for modalities. | 0 | 0.34 | 2017 |
| Populational Announcement Logic (PPAL) | 0 | 0.34 | 2017 |
| Propositional Dynamic Logic for Petri Nets with Iteration. | 1 | 0.36 | 2016 |
| Reasoning about Multi-Agent Systems Using Stochastic Petri Nets | 3 | 0.44 | 2015 |
| On Graph Calculi for Multi-modal Logics | 2 | 0.42 | 2015 |
| On a Graph Approach to Modal Logics | 2 | 0.40 | 2014 |
| Using Hmm In Strategic Games | 0 | 0.34 | 2014 |
| PDL for structured data: a graph-calculus approach. | 2 | 0.40 | 2014 |
| Polynomial hierarchy graph properties in hybrid logic. | 0 | 0.34 | 2014 |
| Propositional Dynamic Logic with Storing, Recovering and Parallel Composition | 9 | 0.57 | 2011 |
| Hybrid logics and NP graph properties | 0 | 0.34 | 2011 |
| A study on multi-dimensional products of graphs and hybrid logics | 0 | 0.34 | 2011 |
| A Propositional Dynamic Logic for Concurrent Programs Based on the pi-Calculus | 0 | 0.34 | 2010 |
| On vague notions and modalities: a modular approach | 3 | 0.38 | 2010 |
| Product of Graphs and Hybrid Logic | 1 | 0.36 | 2009 |
| Verification of epistemic properties in probabilistic multi-agent systems | 9 | 0.49 | 2009 |
| Using modal logics to express and check global graph properties | 7 | 0.55 | 2009 |
| CCS-Based Dynamic Logics for Communicating Concurrent Programs | 0 | 0.34 | 2009 |
| Modal Expressiveness of Graph Properties | 2 | 0.40 | 2008 |
| A Compositional Automata-based Approach for Model Checking Multi-Agent Systems | 0 | 0.34 | 2008 |
| A Propositional Dynamic Logic for CCS Programs | 11 | 0.77 | 2008 |
| Proving Epistemic and Temporal Properties from Knowledge Based Programs | 0 | 0.34 | 2008 |
| On Fork Arrow Logic and its Expressive Power | 1 | 0.37 | 2007 |
| Reasoning about Knowledge in Asynchronous Distributed Systems | 1 | 0.41 | 2005 |
| Defining agents via strategies: towards a view of MAS as games | 0 | 0.34 | 2005 |
| Formalizing Concurrent Common Knowledge as Product of Modal Logics | 2 | 0.43 | 2005 |
| On Modalities for Vague Notions | 3 | 0.53 | 2004 |
| Squares in Fork Arrow Logic | 3 | 0.51 | 2003 |
| Mediating Heterogeneous Web Services | 6 | 0.57 | 2003 |
| Building Reliable Web Services Compositions | 53 | 3.98 | 2002 |
| A Two-dimensional Modal Logic for Knowledge Representation in Asynchronous Multi-Agent Systems | 0 | 0.34 | 2002 |
| Reasoning about Events and Knowledge in Distributed Systems | 0 | 0.34 | 2002 |
| A priority dynamics for generalized drinking philosophers | 2 | 0.37 | 2001 |
| Sharing Resources at Nonuniform Access Rates | 14 | 0.95 | 2001 |
| Mechanisms for Specifying Communication Behavior in Object Oriented Database. | 0 | 0.34 | 2000 |
| Automatic Generation of CCS Specifications for Resource Sharing Problems | 0 | 0.34 | 1997 |
| Multiple Database Logic | 0 | 0.34 | 1995 |
| PROMAL - Programming in Modal Action Logic | 0 | 0.34 | 1995 |
| Differentiating Assumptions from Extra-Logical Axioms in Natural Deduction | 0 | 0.34 | 1993 |
| A Constructive Presentation for the Modal Connective of Necessity (\Box) | 6 | 0.94 | 1992 |
