Sheila R. M. Veloso

From MaRDI portal
Person:281162

Available identifiers

zbMath Open veloso.sheila-r-mMaRDI QIDQ281162

List of research outcomes





PublicationDate of PublicationType
On Diagrams and General Model Checkers2023-02-23Paper
A sphere world semantics for default reasoning2022-08-30Paper
https://portal.mardi4nfdi.de/entity/Q49924012021-06-08Paper
https://portal.mardi4nfdi.de/entity/Q58586762021-04-14Paper
https://portal.mardi4nfdi.de/entity/Q51164172020-08-25Paper
https://portal.mardi4nfdi.de/entity/Q31193592019-03-11Paper
PDL for structured data: a graph-calculus approach2019-01-08Paper
On graphs for intuitionistic modal logics2018-04-23Paper
On a graph calculus for modalities2017-06-15Paper
On graph calculi for multi-modal logics2016-08-01Paper
On methods for safe introduction of operations2016-06-09Paper
On a graph approach to modal logics2016-05-10Paper
On the Structure of Natural Deduction Derivations for “Generally”2015-05-22Paper
A Tool for Analysing Logics2015-03-18Paper
Sequent calculi for `generally'2013-12-13Paper
Reasoning with Graphs2013-05-03Paper
https://portal.mardi4nfdi.de/entity/Q49184102013-04-24Paper
On vague notions and modalities: a modular approach2010-07-26Paper
On graph reasoning2009-10-09Paper
Positive Fork Graph Calculus2009-02-24Paper
On a Graph Calculus for Algebras of Relations2008-07-10Paper
On Positive Relational Calculi2008-01-18Paper
Natural Deduction for 'Generally'2008-01-18Paper
On fork arrow logic and its expressive power2007-10-22Paper
On ‘Most’ and ‘Representative’: Filter Logic and Special Predicates2006-03-30Paper
https://portal.mardi4nfdi.de/entity/Q33672902006-01-24Paper
Advances in Artificial Intelligence – SBIA 20042005-08-22Paper
An Application of Logic Engineering2005-08-03Paper
On ultrafilter logic and special functions2005-04-07Paper
Functional Interpretation of Logics for ‘Generally’2005-03-11Paper
https://portal.mardi4nfdi.de/entity/Q44718662004-07-30Paper
https://portal.mardi4nfdi.de/entity/Q44618042004-05-18Paper
https://portal.mardi4nfdi.de/entity/Q44379632003-12-08Paper
Squares in fork arrow logic2003-08-28Paper
On local modularity and interpolation in entailment systems.2003-01-21Paper
On local modularity variants and \(\Pi\)-institutions2002-07-14Paper
https://portal.mardi4nfdi.de/entity/Q39712581992-06-25Paper
https://portal.mardi4nfdi.de/entity/Q39408811982-01-01Paper

Research outcomes over time

This page was built for person: Sheila R. M. Veloso