Results 341 to 350 of about 491,607 (366)
Some of the next articles are maybe not open access.
On Decidability of Concurrent Kleene Algebra
International Conference on Concurrency Theory, 2017Paul Brunet, D. Pous, G. Struth
semanticscholar +1 more source
1999
Aristotle is often blamed for developing the theory of syllogism instead of writing a Greek version of Frege’s Begriffsschrift. With hindsight, however, one must admit that he had a good reason for doing so: syllogism, and more generally monadic logic, is decidable whereas polyadic and even dyadic logic is undecidable. As van Heijenoort [10] points out,
openaire +3 more sources
Aristotle is often blamed for developing the theory of syllogism instead of writing a Greek version of Frege’s Begriffsschrift. With hindsight, however, one must admit that he had a good reason for doing so: syllogism, and more generally monadic logic, is decidable whereas polyadic and even dyadic logic is undecidable. As van Heijenoort [10] points out,
openaire +3 more sources
Operational State Complexity and Decidability of Jumping Finite Automata
International Conference on Developments in Language Theory, 2017Simon Beier, M. Holzer, Martin Kutrib
semanticscholar +1 more source
On Decidability of Intermediate Levels of Concatenation Hierarchies
International Conference on Developments in Language Theory, 2015J. Almeida +3 more
semanticscholar +1 more source
Decidability of model checking multi-agent systems against a class of EHS specifications
European Conference on Artificial Intelligence, 2014A. Lomuscio, Jakub Michaliszyn
semanticscholar +1 more source
A Survey of Decidability Results for Elementary Object Systems
Fundamenta Informaticae, 2014Michael Köhler-Bussmeier
semanticscholar +1 more source
Decidability of Circumscribed Description Logics Revisited
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2014P. Bonatti +4 more
semanticscholar +1 more source