Mario R. F. Benevides

Available identifiers

zbMath Open benevides.mario-r-fMaRDI QIDQ281143

List of research outcomes

Publication	Date of Publication	Type
On Diagrams and General Model Checkers	2023-02-23	Paper
Temporal logic for social networks	2022-09-08	Paper
Adding proof calculi to epistemic logics with structured knowledge	2022-06-17	Paper
https://portal.mardi4nfdi.de/entity/Q5067947	2022-04-04	Paper
Graded epistemic logic with public announcement	2022-03-09	Paper
https://portal.mardi4nfdi.de/entity/Q4994979	2021-06-22	Paper
Populational announcement logic (PPAL)	2021-01-19	Paper
https://portal.mardi4nfdi.de/entity/Q5116417	2020-08-25	Paper
Epistemic logics with structured knowledge	2019-11-13	Paper
A family of graded epistemic logics	2019-11-12	Paper
Propositional dynamic logic for Petri nets	2019-01-08	Paper
PDL for structured data: a graph-calculus approach	2019-01-08	Paper
Towards reasoning about Petri nets: a propositional dynamic logic based approach	2018-09-24	Paper
Bisimilar and logically equivalent programs in PDL with parallel operator	2017-06-15	Paper
On a graph calculus for modalities	2017-06-15	Paper
Propositional Dynamic Logic for Petri Nets with Iteration	2016-12-21	Paper
A Propositional Dynamic Logic for Concurrent Programs Based on the π-Calculus	2016-08-05	Paper
On graph calculi for multi-modal logics	2016-08-01	Paper
Bisimilar and logically equivalent programs in PDL	2016-05-10	Paper
Extending propositional dynamic logic for Petri nets	2016-05-10	Paper
On a graph approach to modal logics	2016-05-10	Paper
Propositional Dynamic Logic with Storing, Recovering and Parallel Composition	2015-03-18	Paper
Propositional dynamic logics for communicating concurrent programs with CCS's parallel operator	2015-01-12	Paper
Product of Graphs and Hybrid Logic	2014-07-23	Paper
A Compositional Automata-based Approach for Model Checking Multi-Agent Systems	2014-01-24	Paper
Modal Expressiveness of Graph Properties	2013-12-13	Paper
A study on multi-dimensional products of graphs and hybrid logics	2011-12-23	Paper
Hybrid Logics and NP Graph Properties	2011-05-27	Paper
On vague notions and modalities: a modular approach	2010-07-26	Paper
Using modal logics to express and check global graph properties	2009-11-12	Paper
A Propositional Dynamic Logic for CCS Programs	2008-07-10	Paper
On fork arrow logic and its expressive power	2007-10-22	Paper
Formalizing Concurrent Common Knowledge as Product of Modal Logics	2006-03-30	Paper
Advances in Artificial Intelligence – SBIA 2004	2005-08-22	Paper
Reasoning about Knowledge in Asynchronous Distributed Systems	2005-08-03	Paper
Squares in fork arrow logic	2003-08-28	Paper
https://portal.mardi4nfdi.de/entity/Q4413986	2003-07-22	Paper
https://portal.mardi4nfdi.de/entity/Q4440829	2003-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4282597	1994-08-28	Paper
A Constructive Presentation for the Modal Connective of Necessity (□)	1992-09-27	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Mario R. F. Benevides