Sheila R. M. Veloso

Available identifiers

zbMath Open veloso.sheila-r-mMaRDI QIDQ281162

List of research outcomes

Publication	Date of Publication	Type
On Diagrams and General Model Checkers	2023-02-23	Paper
A sphere world semantics for default reasoning	2022-08-30	Paper
https://portal.mardi4nfdi.de/entity/Q4992401	2021-06-08	Paper
https://portal.mardi4nfdi.de/entity/Q5858676	2021-04-14	Paper
https://portal.mardi4nfdi.de/entity/Q5116417	2020-08-25	Paper
https://portal.mardi4nfdi.de/entity/Q3119359	2019-03-11	Paper
PDL for structured data: a graph-calculus approach	2019-01-08	Paper
On graphs for intuitionistic modal logics	2018-04-23	Paper
On a graph calculus for modalities	2017-06-15	Paper
On graph calculi for multi-modal logics	2016-08-01	Paper
On methods for safe introduction of operations	2016-06-09	Paper
On a graph approach to modal logics	2016-05-10	Paper
On the Structure of Natural Deduction Derivations for “Generally”	2015-05-22	Paper
A Tool for Analysing Logics	2015-03-18	Paper
Sequent calculi for `generally'	2013-12-13	Paper
Reasoning with Graphs	2013-05-03	Paper
https://portal.mardi4nfdi.de/entity/Q4918410	2013-04-24	Paper
On vague notions and modalities: a modular approach	2010-07-26	Paper
On graph reasoning	2009-10-09	Paper
Positive Fork Graph Calculus	2009-02-24	Paper
On a Graph Calculus for Algebras of Relations	2008-07-10	Paper
On Positive Relational Calculi	2008-01-18	Paper
Natural Deduction for 'Generally'	2008-01-18	Paper
On fork arrow logic and its expressive power	2007-10-22	Paper
On ‘Most’ and ‘Representative’: Filter Logic and Special Predicates	2006-03-30	Paper
https://portal.mardi4nfdi.de/entity/Q3367290	2006-01-24	Paper
Advances in Artificial Intelligence – SBIA 2004	2005-08-22	Paper
An Application of Logic Engineering	2005-08-03	Paper
On ultrafilter logic and special functions	2005-04-07	Paper
Functional Interpretation of Logics for ‘Generally’	2005-03-11	Paper
https://portal.mardi4nfdi.de/entity/Q4471866	2004-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4461804	2004-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4437963	2003-12-08	Paper
Squares in fork arrow logic	2003-08-28	Paper
On local modularity and interpolation in entailment systems.	2003-01-21	Paper
On local modularity variants and \(\Pi\)-institutions	2002-07-14	Paper
https://portal.mardi4nfdi.de/entity/Q3971258	1992-06-25	Paper
https://portal.mardi4nfdi.de/entity/Q3940881	1982-01-01	Paper

Research outcomes over time

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