Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Displaying Modal Logic / Heinrich Wansing
| Displaying Modal Logic / Heinrich Wansing |
| Autore | Wansing, Heinrich |
| Pubbl/distr/stampa | Dordrecht, : Springer, : Kluwer, 1998 |
| Descrizione fisica | xi, 252 p. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03B44 - Temporal logic [MSC 2020] 03B45 - Modal logic (including the logic of norms) [MSC 2020] 03B47 - Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) [MSC 2020] 03B53 - Paraconsistent logics [MSC 2020] 03F03 - Proof theory, general (including proof-theoretic semantics) [MSC 2020] |
| Soggetto non controllato |
Cut-elimination theorem
Extensions Logic Modal Logic Nonmonotonic reasoning Predicate logic Proofs Semantics Sequent Calculus |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00298387 |
Wansing, Heinrich
|
||
| Dordrecht, : Springer, : Kluwer, 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Logics in Artificial Intelligence [Risorsa elettronica] : 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings / edited by Jaime G. Carbonell, Jörg Siekmann, Steffen Hölldobler, Carsten Lutz, Heinrich Wansing
| Logics in Artificial Intelligence [Risorsa elettronica] : 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings / edited by Jaime G. Carbonell, Jörg Siekmann, Steffen Hölldobler, Carsten Lutz, Heinrich Wansing |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2008 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783540878032 |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009257370403321 |
| Berlin ; Heidelberg : Springer, 2008 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proof Theory of Modal Logic / edited by Heinrich Wansing
| Proof Theory of Modal Logic / edited by Heinrich Wansing |
| Pubbl/distr/stampa | Dordrecht, : Springer, : Kluwer, 1996 |
| Descrizione fisica | x, 317 p. ; 24 cm |
| Soggetto topico |
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] |
| Soggetto non controllato |
Automated deduction
Knowledge Knowledge representations Logic Modal Logic Predicate logic Proof Theory Proofs Sequent Calculus |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00296438 |
| Dordrecht, : Springer, : Kluwer, 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Recent trends in philosophical logic / Roberto Ciuni, Heinrich Wansing, Caroline Willkommen editors
| Recent trends in philosophical logic / Roberto Ciuni, Heinrich Wansing, Caroline Willkommen editors |
| Pubbl/distr/stampa | Cham, : Springer, 2014 |
| Descrizione fisica | VIII, 209 p. : ill. ; 24 cm |
| Soggetto topico | 03Axx - Philosophical aspects of logic and foundations [MSC 2020] |
| Soggetto non controllato |
Advances in Philosophical Logic
Knowability Paradox Mathematical logic Natural deduction Non-classical logic Paraconsistent Logic Proof systems Trends in Logic |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0103429 |
| Cham, : Springer, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Recent trends in philosophical logic / Roberto Ciuni, Heinrich Wansing, Caroline Willkommen editors
| Recent trends in philosophical logic / Roberto Ciuni, Heinrich Wansing, Caroline Willkommen editors |
| Pubbl/distr/stampa | Cham, : Springer, 2014 |
| Descrizione fisica | VIII, 209 p. : ill. ; 24 cm |
| Soggetto topico | 03Axx - Philosophical aspects of logic and foundations [MSC 2020] |
| Soggetto non controllato |
Advances in Philosophical Logic
Knowability Paradox Mathematical logic Natural deduction Non-classical logic Paraconsistent Logic Proof systems Trends in Logic |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00103429 |
| Cham, : Springer, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Recent trends in philosophical logic / Roberto Ciuni, Heinrich Wansing, Caroline Willkommen editors
| Recent trends in philosophical logic / Roberto Ciuni, Heinrich Wansing, Caroline Willkommen editors |
| Edizione | [Cham : Springer, 2014] |
| Pubbl/distr/stampa | VIII, 209 p., : ill. ; 24 cm |
| Descrizione fisica | Pubblicazione in formato elettronico |
| Soggetto topico | 03Axx - Philosophical aspects of logic and foundations [MSC 2020] |
| ISBN | 8-3-319-06079-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0103429 |
| VIII, 209 p., : ill. ; 24 cm | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
The logic of information structures / Heinrich Wansing
| The logic of information structures / Heinrich Wansing |
| Autore | Wansing, Heinrich |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1993 |
| Descrizione fisica | IX, 163 p. : ill. ; 24 cm |
| Disciplina | 004 |
| Collana | Lecture notes in artificial intelligence |
| Soggetto non controllato |
elaboratori elettronici
intelligenza artificiale logica matematica logica simbolica |
| ISBN | 3-540-56734-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000201840203316 |
|
Wansing, Heinrich
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
The logic of information structures / Heinrich Wansing
| The logic of information structures / Heinrich Wansing |
| Autore | Wansing, Heinrich |
| Pubbl/distr/stampa | Berlin [etc.], : Springer, c1993 |
| Descrizione fisica | IX, 163 p. ; 25 cm |
| Disciplina | 006.3 |
| Collana | Lecture notes in computer science, . Lecture notes in artificial intelligence |
| Soggetto topico | Intelligenza artificiale |
| ISBN |
0387567348
3540567348 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-AQ10003022 |
|
Wansing, Heinrich
|
||
| Berlin [etc.], : Springer, c1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
What is Negation? / edited by Dov M. Gabbay and Heinrich Wansing
| What is Negation? / edited by Dov M. Gabbay and Heinrich Wansing |
| Pubbl/distr/stampa | Dordrecht, : Springer, : Kluwer, 1999 |
| Descrizione fisica | xii, 333 p. ; 24 cm |
| Soggetto non controllato |
Artificial Intelligence
Classification Intelligence Language Linguistics Logic Modal Logic Programming |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00300142 |
| Dordrecht, : Springer, : Kluwer, 1999 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||