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

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: Sheila R. M. Veloso