Results 91 to 100 of about 1,681 (204)
A Gentle Introduction to Applications of Algorithmic Metatheorems for Space and Circuit Classes
Algorithms, 2016 Algorithmic metatheorems state that if a problem can be described in a certain logic and the inputs are structured in a certain way, then the problem can be solved with a certain amount of resources.
Till Tantau
doaj +1 more source
Nations and Nationalism, Volume 31, Issue 3, Page 757-771, July 2025.Abstract To get a better picture of the relation between nationalism and global environmental problems within the state‐dominated situation, I present the inherent logic of international environmental politics as a version of the famous Prisoner's Dilemma.
Minna‐Kerttu M Kekki
wiley +1 more source
The Threefold Essence of Consciousness: Brentano versus Pfänder
European Journal of Philosophy, Volume 33, Issue 2, Page 591-612, June 2025.Abstract Building on Uriah Kriegel's recent work on the varieties of consciousness, I consider the question of how many irreducible and fundamental kinds of consciousness there are. This is the project of a fundamental classification of consciousness (C‐taxonomy), which will be approached with reference to two figures from the (early) phenomenological ...
Christopher Erhard
wiley +1 more source
Second-order logic : ontological and epistemological problems
, 2015 In this thesis I provide a survey over different approaches to second-order logic and its interpretation, and introduce a novel approach. Of special interest are the questions whether (a particular form of) second-order logic can count as logic in some
Rossberg, Marcus
core
Datalog-Expressibility for Monadic and Guarded Second-Order Logic
ACM Transactions on Computational LogicWe characterise the sentences in Monadic Second-Order Logic (MSO) that are over finite structures equivalent to a Datalog program, in terms of an existential pebble game. We also show that for every class \({\mathcal{C}}\) of finite structures that ...
Manuel Bodirsky +2 more
openaire +4 more sources
Defending The Open Future: Replies to MacFarlane, Green, Wasserman, and Bigg & Miller
Analytic Philosophy, Volume 66, Issue 2, Page 249-277, June 2025.Abstract In this symposium piece, I reply to the diverse and wide‐ranging set of objections to my book (The Open Future: Why Future Contingents are All False) set forth by MacFarlane, Green, Wasserman, and Bigg & Miller.
Patrick Todd
wiley +1 more source
Groups, graphs, languages, automata, games and second-order monadic logic
, 2012 In this paper we survey some surprising connections between group theory, the theory of automata and formal languages, the theory of ends, infinite games of perfect information, and monadic second-order ...
Fiorenzi, Francesca +4 more
core +1 more source
Sequentiality, Monadic Second-Order Logic and Tree Automata
Information and Computation, 2000 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
On the Decidability of Monadic Second-Order Logic with Arithmetic Predicates
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer ScienceWe investigate the decidability of the monadic second-order (MSO) theory of the structure ❬N;
Berthé, Valérie +5 more
openaire +3 more sources
The monadic second-order logic of graphs VIII: Orientations
Annals of Pure and Applied Logic, 1995 [For Part VII of this series of papers see Theor. Comput. Sci. 101, No. 1, 3-33 (1992; Zbl 0809.03006).] Two natural ways of representing graphs and hypergraphs as logical structures are investigated and compared. Including both the vertices and the edges in the domains of the logical structures representing (hyper)graphs leads to a monadic second ...
openaire +2 more sources