Results 1 to 10 of about 7,198 (311)
On the regress problem of deciding how to decide
Synthese, 2014 Any decision is made in some way or another. Which way? (Have I worked out enough alternatives to choose from? Which decision rule to apply?) That is a higher-order decision problem, to be dealt with in some way or other. Which way? That is an even higher-order decision problem.
openaire +2 more sources
Decidability in Algebraic Geometry
, 2004 The central theme of our investigation is the concept of Decidability in Algebra/Algebraic Geometry. To the best of our knowledge this seems to be novel in the sense that there is no work known to isolate or to focus on the concept of Decidability in ...
Iskra, John James
core
Decidability in Parameterized Verification [PDF]
, 2016 Parameterized model checking is an active research field that considers automated verification of distributed or concurrent systems, for all numbers of participating processes.
Jacobs, Swen +6 more
core +1 more source
Decidability Issues for Petri Nets
, 1994 This is a survey of some decidability results for Petri nets, covering the last three decades. The presentation is structured around decidability of specific properties, various behavioural equivalences and finally the model checking problem for ...
Esparza, Javier, Nielsen, Mogens
core
On the decidability of the OL-DOL equivalence problem
, 1979 It is shown that decidability of equivalence between an FDOL language and a DOL language implies that of equivalence between a OL language and a DOL language.
Ruohonen, Keijo
core +1 more source
Disability Studies Quarterly, 2006 On the surface, Rosen's study would appear to be the story of the successful advocacy for Deaf culture and language in schools. In this response, I read the subtext of Rosen's article, in which troubling questions arise about systemic structures that work against full access to decision making, the dilemma of diversity, the problem of participatory ...
openaire +1 more source
A Hybrid Intuitionistic Logic: Semantics and Decidability
, 2005 An intuitionistic, hybrid modal logic suitable for reasoning about distribution of resources was introduced by Jia and Walker. The modalities of the logic allow validation of properties in a particular place, in some place and in all places.
Damiano Macedonio +5 more
core
Decidability and Complexity of Tree Share Formulas [PDF]
, 2016 Fractional share models are used to reason about how multiple actors share ownership of resources. We examine the decidability and complexity of reasoning over the "tree share" model of Dockins et al. using first-order logic, or fragments thereof.
Le, Xuan Bach +2 more
core +1 more source
About the Decidability of Theology
, 2021 W pracy przedstawiono syntetyczne, a nie analityczne, ujęcie tytułowego zagadnienia. Od strony metodologicznej jest próbą aplikacji pojęć logicznych jak konsekwencja, dowód, rozstrzygalność do teologii jako całości.
Olszewski, Adam
core +1 more source
Decidability, Introduction Rules and Automata [PDF]
, 2015 International audienceWe present a method to prove the decidability of provability in several well-known inference systems. This method generalizes both cut-elimination and the construction of an automaton recognizing the provable ...
Dowek, Gilles +3 more
core +1 more source