Completeness for the Classical Antecedent Fragment of Inquisitive First-Order Logic
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1572-9583
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
Completeness for the Classical Antecedent Fragment of Inquisitive First-Order Logic ; volume:30 ; number:4 ; day:7 ; month:10 ; year:2021 ; pages:725-751 ; date:12.2021
Journal of logic, language and information ; 30, Heft 4 (7.10.2021), 725-751, 12.2021
- Urheber
-
Grilletti, Gianluca
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s10849-021-09341-y
- URN
-
urn:nbn:de:101:1-2022011420094405732986
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:37 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
- Grilletti, Gianluca
- SpringerLink (Online service)
Ähnliche Objekte (12)
First-order logic
First-order logic
First-order dynamic logic
On the completeness of some first-order extensions of C
A First-Order Logic with Frames
On weak completeness of intuitionistic predicative logic
The completeness theorem for adapted probability logic
On weak completeness of intuitionistic predicate logic
Internal definability and completeness in modal logic
A topological completeness theorem for transfinite provability logic
A Note on Expressive Completeness of Modal Logic
Fragments of first-order logic over infinite words
First-order logic
First-order logic
First-order dynamic logic
On the completeness of some first-order extensions of C
A First-Order Logic with Frames
On weak completeness of intuitionistic predicative logic
The completeness theorem for adapted probability logic
On weak completeness of intuitionistic predicate logic
Internal definability and completeness in modal logic
A topological completeness theorem for transfinite provability logic
A Note on Expressive Completeness of Modal Logic
Fragments of first-order logic over infinite words
First-order logic
First-order logic
First-order dynamic logic
On the completeness of some first-order extensions of C
A First-Order Logic with Frames
On weak completeness of intuitionistic predicative logic
The completeness theorem for adapted probability logic
On weak completeness of intuitionistic predicate logic
Internal definability and completeness in modal logic
A topological completeness theorem for transfinite provability logic
A Note on Expressive Completeness of Modal Logic