Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Mario R. F. Benevides

◀ ▶ joint publications with Renata P. de Freitas

> Home > Persons > Mario R. F. Benevides

Publications

2010
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/VelosoVVFBD10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/VelosoVVFBD10
Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana, Renata P. de Freitas, Mario R. F. Benevides, Carla A. D. M. Delgado:
On vague notions and modalities: a modular approach. Log. J. IGPL 18(3): 381-402 (2010)
[c21]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BenevidesFV11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BenevidesFV11
Mario R. F. Benevides, Renata P. de Freitas, Jorge Petrucio Viana:
Propositional Dynamic Logic with Storing, Recovering and Parallel Composition. LSFA 2010: 95-107
2007
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/jphil/VelosoFVBV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jphil/VelosoFVBV07
Paulo A. S. Veloso, Renata P. de Freitas, Jorge Petrucio Viana, Mario R. F. Benevides, Sheila R. M. Veloso:
On Fork Arrow Logic and its Expressive Power. J. Philos. Log. 36(5): 489-509 (2007)
2004
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/sbia/BenevidesDFVV04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbia/BenevidesDFVV04
Mario R. F. Benevides, Carla A. D. M. Delgado, Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso:
On Modalities for Vague Notions. SBIA 2004: 1-10
2003
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/jphil/FreitasVBVV03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jphil/FreitasVBVV03
Renata P. de Freitas, Jorge Petrucio Viana, Mario R. F. Benevides, Sheila R. M. Veloso, Paulo A. S. Veloso:
Squares in Fork Arrow Logic. J. Philos. Log. 32(4): 343-355 (2003)

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.