scientific article; zbMATH DE number 3885853
From MaRDI portal
Publication:3220545
Recommendations
- Mathematical Logic
- Mathematical logic
- Mathematical logic. With a preface by A. Szerzo.
- scientific article; zbMATH DE number 1278449
- scientific article; zbMATH DE number 2134000
- Sets, models and proofs
- scientific article; zbMATH DE number 193626
- scientific article; zbMATH DE number 1016911
- scientific article; zbMATH DE number 47925
- scientific article; zbMATH DE number 4121954
Cited in
(60)- A first-order axiomatization of the theory of finite trees
- Listing graphs that satisfy first-order sentences
- April the 19th
- A survey of nonstandard sequent calculi
- Zero-place operations and functional completeness, and the definition of new connectives
- The quasi-lattice of indiscernible elements
- Back-and-forth systems for fuzzy first-order models
- How to win a game with features
- On the Ehrenfeucht-Fraïssé game in theoretical computer science (extended abstract)
- What is the coalgebraic analogue of Birkhoff's variety theorem?
- Parametrization over inductive relations of a bounded number of variables
- Closed world assumptions having precedence in predicates
- Modulo-counting quantifiers over finite trees
- scientific article; zbMATH DE number 5309444 (Why is no real title available?)
- On a complete set of generators for dot-depth two
- Logic with trees: an introduction to symbolic logic
- Model-theoretical foundation of action and progression
- Star-free picture expressions are strictly weaker than first-order logic
- On fork arrow logic and its expressive power
- Foundations of a theorem prover for functional and mathematical uses
- A Course in Mathematical Logic for Mathematicians
- Projection and scope-determined circumscription
- The generic filter property in nonstandard analysis
- Back-and-forth for systems of antichains
- Dialectical contradictions and classical formal logic
- Atomic ontology
- Observation equivalence as a testing equivalence
- Finitely representable databases
- A refutation of Penrose's Gödelian case against artificial intelligence
- Is universal computation a myth?
- Mathematical logic. With a preface by A. Szerzo.
- How to win a game with features
- The structure of the models of decidable monadic theories of graphs
- Incompleteness of first-order temporal logic with until
- Abstract state machines and computationally complete query languages
- The mu-calculus and Model Checking
- Algorithmic uses of the Feferman-Vaught theorem
- Recursive definitions and fixed-points
- First-order predicate logic and Gödel's completeness theorem
- Initial failures in distributed computations
- The correctness of nondeterministic programs revisited
- Substitution revisited
- Quantified constraints under perturbation
- On elementary equivalence for equality-free logic
- Large finite structures with few \(L^k\)-types
- First-order logic on finite trees
- On expressive power of basic modal intuitionistic logic as a fragment of classical FOL
- An open formalism against incompleteness
- Possibility and impossibility results in a shared memory environment
- On the complexity of theories of permutations
- Limits of mathematics. A journey through the core subjects of mathematical logic
- Quantified Constraint Satisfaction and the Polynomially Generated Powers Property
- Specification of abstract dynamic-data types: A temporal logic approach
- An algebraic approach to belief contraction and nonmonotonic entailment
- The modal argument for hypercomputing minds
- A note on the number of monadic quantifiers in monadic \(\Sigma ^{1}_{1}\)
- Expressive Power and Decidability for Memory Logics
- Game characterizations for the number of quantifiers
- Finite automata over infinite alphabets: two models with transitions for local change
- scientific article; zbMATH DE number 1968554 (Why is no real title available?)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3220545)
