- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1573-0433
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
On A New Semantics for First-Order Predicate Logic ; day:17 ; month:4 ; year:2017 ; pages:1-9
Journal of philosophical logic ; (17.4.2017), 1-9
- Klassifikation
-
Informatik
- Urheber
- Beteiligte Personen und Organisationen
-
Benthem, Johan van
Németi, István
SpringerLink (Online service)
- DOI
-
10.1007/s10992-017-9429-y
- URN
-
urn:nbn:de:1111-201705013004
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:30 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Andréka, Hajnal
- Benthem, Johan van
- Németi, István
- SpringerLink (Online service)
Ähnliche Objekte (12)
First-order logic
First-order logic
An alternative semantics for modal predicate-logic
First-order dynamic logic
Quantifier elimination in second-order predicate logic
A First-Order Logic with Frames
Zero-One Laws and Almost Sure Valuations of First-Order Logic in Semiring Semantics
Predicate calculus and program semantics
Propositional and Predicate Logic
Fragments of first-order logic over infinite words
Decidable fragments of first-order logic and of first-order linear arithmetic with uninterpreted predicates
HYPER-REF: A General Model of Reference for First-Order Logic and First-Order Arithmetic
First-order logic
First-order logic
An alternative semantics for modal predicate-logic
First-order dynamic logic
Quantifier elimination in second-order predicate logic
A First-Order Logic with Frames
Zero-One Laws and Almost Sure Valuations of First-Order Logic in Semiring Semantics
Predicate calculus and program semantics
Propositional and Predicate Logic
Fragments of first-order logic over infinite words
Decidable fragments of first-order logic and of first-order linear arithmetic with uninterpreted predicates
HYPER-REF: A General Model of Reference for First-Order Logic and First-Order Arithmetic
First-order logic
First-order logic
An alternative semantics for modal predicate-logic
First-order dynamic logic
Quantifier elimination in second-order predicate logic
A First-Order Logic with Frames
Zero-One Laws and Almost Sure Valuations of First-Order Logic in Semiring Semantics
Predicate calculus and program semantics
Propositional and Predicate Logic
Fragments of first-order logic over infinite words
Decidable fragments of first-order logic and of first-order linear arithmetic with uninterpreted predicates