Knowledge, Proof and Dynamics : The Fourth Asian Workshop on Philosophical Logic / / edited by Fenrong Liu, Hiroakira Ono, Junhua Yu |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Singapore : , : Springer Singapore : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (ix, 217 pages) : illustrations |
Disciplina | 160 |
Collana | Logic in Asia: Studia Logica Library |
Soggetto topico |
Logic
Mathematical logic Mathematical Logic and Foundations Mathematical Logic and Formal Languages |
ISBN | 981-15-2221-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Glivenko-Kuroda translation in logics for knowability paradox -- Formal semantics for the Sally-Anne tasks -- Sequential method in dynamic quantum logic -- Sequent calculi for ordered bisemigroups -- Jin Yuelin “Refuting Carroll's attack” on inference -- Local fact change logic -- The modal logics of the poison game -- A logical characterization of the continuous bar induction -- Decidability of a modal logic with predicate abstraction & functions -- Unary temporal logics, points and intervals -- The Zero-One law for sabotage games. |
Record Nr. | UNINA-9910390859203321 |
Singapore : , : Springer Singapore : , : Imprint : Springer, , 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Monotonicity in Logic and Language [[electronic resource] ] : Second Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning, TLLM 2020, Beijing, China, December 17-20, 2020, Proceedings / / edited by Dun Deng, Fenrong Liu, Mingming Liu, Dag Westerståhl |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (IX, 239 p. 123 illus., 17 illus. in color.) |
Disciplina | 415 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Natural language processing (Computer science)
Software engineering Compilers (Computer programs) Logic programming Computer science Machine theory Natural Language Processing (NLP) Software Engineering Compilers and Interpreters Logic in AI Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory |
ISBN | 3-662-62843-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | New logical perspectives on monotonicity -- Universal free choice from concessive conditions in Tibetan -- Monotonicity in syntax -- Attributive measure phrases in Mandarin: monotonicity and distributivity -- Universal quanti cation in Mandarin -- Monotonicity in minimal change semantics, given Gärdenfors' triviality result -- Are causes ever too strong? Downward monotonicity causal domain -- Morphosyntactic patterns follow monotonic mappings -- Negative polarity additive particles -- A causal analysis of modal syllogisms -- Bipartite exhaustification: evidence from Vietnamese -- Comparatives bring a degree-based NPI licenser. |
Record Nr. | UNISA-996418301803316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Monotonicity in Logic and Language : Second Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning, TLLM 2020, Beijing, China, December 17-20, 2020, Proceedings / / edited by Dun Deng, Fenrong Liu, Mingming Liu, Dag Westerståhl |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (IX, 239 p. 123 illus., 17 illus. in color.) |
Disciplina | 415 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Natural language processing (Computer science)
Software engineering Compilers (Computer programs) Logic programming Computer science Machine theory Natural Language Processing (NLP) Software Engineering Compilers and Interpreters Logic in AI Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory |
ISBN | 3-662-62843-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | New logical perspectives on monotonicity -- Universal free choice from concessive conditions in Tibetan -- Monotonicity in syntax -- Attributive measure phrases in Mandarin: monotonicity and distributivity -- Universal quanti cation in Mandarin -- Monotonicity in minimal change semantics, given Gärdenfors' triviality result -- Are causes ever too strong? Downward monotonicity causal domain -- Morphosyntactic patterns follow monotonic mappings -- Negative polarity additive particles -- A causal analysis of modal syllogisms -- Bipartite exhaustification: evidence from Vietnamese -- Comparatives bring a degree-based NPI licenser. |
Record Nr. | UNINA-9910447248703321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|