- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1432-0665
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Model theory of monadic predicate logic with the infinity quantifier ; day:27 ; month:10 ; year:2021 ; pages:1-38
Archive for mathematical logic ; (27.10.2021), 1-38
- Creator
-
Carreiro, Facundo
Facchini, Alessandro
Venema, Yde
Zanasi, Fabio
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s00153-021-00797-0
- URN
-
urn:nbn:de:101:1-2022010720204020856939
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:23 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Carreiro, Facundo
- Facchini, Alessandro
- Venema, Yde
- Zanasi, Fabio
- SpringerLink (Online service)
Other Objects (12)
Switching theory : insight through predicate logic
Propositional and Predicate Logic
Translating grated modalities into predicate logic
On weak completeness of intuitionistic predicate logic
Quantifier elimination in second-order predicate logic
mj-Reduction for Proving in Predicate Logic
An alternative semantics for modal predicate-logic
On A New Semantics for First-Order Predicate Logic
Craig interpolation theorem fails in bi-intuitionistic predicate logic
Predicting protein functions by applying predicate logic to biomedical literature
A technological approach to teaching inequalities, propositional and predicate logic
The logic system of concept graphs with negation and its relationship to predicate logic
Switching theory : insight through predicate logic
Propositional and Predicate Logic
Translating grated modalities into predicate logic
On weak completeness of intuitionistic predicate logic
Quantifier elimination in second-order predicate logic
mj-Reduction for Proving in Predicate Logic
An alternative semantics for modal predicate-logic
On A New Semantics for First-Order Predicate Logic
Craig interpolation theorem fails in bi-intuitionistic predicate logic
Predicting protein functions by applying predicate logic to biomedical literature
A technological approach to teaching inequalities, propositional and predicate logic
The logic system of concept graphs with negation and its relationship to predicate logic
Switching theory : insight through predicate logic
Propositional and Predicate Logic
Translating grated modalities into predicate logic
On weak completeness of intuitionistic predicate logic
Quantifier elimination in second-order predicate logic
mj-Reduction for Proving in Predicate Logic
An alternative semantics for modal predicate-logic
On A New Semantics for First-Order Predicate Logic
Craig interpolation theorem fails in bi-intuitionistic predicate logic
Predicting protein functions by applying predicate logic to biomedical literature
A technological approach to teaching inequalities, propositional and predicate logic