Modal logics and philosophy / / Rod Girle |
Autore | Girle Rod. |
Edizione | [2nd ed.] |
Pubbl/distr/stampa | London ; ; New York : , : Routledge, , 2014 |
Descrizione fisica | 1 online resource (257 p.) |
Disciplina | 160 |
Soggetto topico |
Modality (Logic)
Philosophy - Mathematical models |
Soggetto genere / forma | Electronic books. |
ISBN |
1-317-49216-1
1-317-49217-X 1-315-71151-6 1-283-45685-0 9786613456854 1-84465-453-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Cover; Half Title; Title Page; Copyright Page; Table of Contents; Preface; 1 Argument and modality; Part 1 Formal systems; 2 A simple modal logic; 3 The normal modal logics; 4 The non-normal modal logics; 5 Natural deduction and axiomatics; 6 Conditional logic; 7 Modal predicate logics; 8 Quantifiers and existence; Part 2 Applications; 9 Alethic modality; 10 Temporal logic; 11 Dynamic logic; 12 Epistemic logic; 13 Deontic logic; 14 Conditionals and reliability; 15 Synthesis and worlds; Answers; Index |
Record Nr. | UNINA-9910457771103321 |
Girle Rod. | ||
London ; ; New York : , : Routledge, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Modal logics and philosophy / / Rod Girle |
Autore | Girle Rod. |
Edizione | [Second edition.] |
Pubbl/distr/stampa | London ; ; New York : , : Routledge, , 2014 |
Descrizione fisica | 1 online resource (viii, 248 pages) : digital, PDF file(s) |
Disciplina | 160 |
Soggetto topico |
Modality (Logic)
Philosophy - Mathematical models |
ISBN |
1-317-49216-1
1-317-49217-X 1-315-71151-6 1-283-45685-0 9786613456854 1-84465-453-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Cover; Half Title; Title Page; Copyright Page; Table of Contents; Preface; 1 Argument and modality; Part 1 Formal systems; 2 A simple modal logic; 3 The normal modal logics; 4 The non-normal modal logics; 5 Natural deduction and axiomatics; 6 Conditional logic; 7 Modal predicate logics; 8 Quantifiers and existence; Part 2 Applications; 9 Alethic modality; 10 Temporal logic; 11 Dynamic logic; 12 Epistemic logic; 13 Deontic logic; 14 Conditionals and reliability; 15 Synthesis and worlds; Answers; Index |
Altri titoli varianti | Modal Logics & Philosophy |
Record Nr. | UNINA-9910778802903321 |
Girle Rod. | ||
London ; ; New York : , : Routledge, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Modal logics and philosophy / / Rod Girle |
Autore | Girle Rod. |
Edizione | [Second edition.] |
Pubbl/distr/stampa | London ; ; New York : , : Routledge, , 2014 |
Descrizione fisica | 1 online resource (viii, 248 pages) : digital, PDF file(s) |
Disciplina | 160 |
Soggetto topico |
Modality (Logic)
Philosophy - Mathematical models |
ISBN |
1-317-49216-1
1-317-49217-X 1-315-71151-6 1-283-45685-0 9786613456854 1-84465-453-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Cover; Half Title; Title Page; Copyright Page; Table of Contents; Preface; 1 Argument and modality; Part 1 Formal systems; 2 A simple modal logic; 3 The normal modal logics; 4 The non-normal modal logics; 5 Natural deduction and axiomatics; 6 Conditional logic; 7 Modal predicate logics; 8 Quantifiers and existence; Part 2 Applications; 9 Alethic modality; 10 Temporal logic; 11 Dynamic logic; 12 Epistemic logic; 13 Deontic logic; 14 Conditionals and reliability; 15 Synthesis and worlds; Answers; Index |
Altri titoli varianti | Modal Logics & Philosophy |
Record Nr. | UNINA-9910814904603321 |
Girle Rod. | ||
London ; ; New York : , : Routledge, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Modality / / Joseph Melia |
Autore | Melia Joseph |
Pubbl/distr/stampa | Abingdon, Oxon : , : Routledge, , 2014 |
Descrizione fisica | 1 online resource (311 p.) |
Disciplina | 160 |
Collana | Central problems of philosophy |
Soggetto topico | Modality (Logic) |
Soggetto genere / forma | Electronic books. |
ISBN |
1-317-48967-5
1-317-48968-3 1-315-71068-4 1-282-92135-5 9786612921353 1-84465-334-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Cover; Half Title; Title; Copyright; Contents; Acknowledgements; 1 Introduction to modality; 2 Modal language and modal logic; 3 Quinian scepticism; 4 Modalism; 5 Extreme realism; 6 Quiet moderate realism; 7 Possible worlds as sets of sentences; Notes; Further reading; Index |
Record Nr. | UNINA-9910458785103321 |
Melia Joseph | ||
Abingdon, Oxon : , : Routledge, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Modality / / Joseph Melia |
Autore | Melia Joseph |
Pubbl/distr/stampa | Abingdon, Oxon : , : Routledge, , 2014 |
Descrizione fisica | 1 online resource (viii, 190 pages) : digital, PDF file(s) |
Disciplina | 160 |
Collana | Central problems of philosophy |
Soggetto topico | Modality (Logic) |
ISBN |
0-7735-2480-0
0-7735-8338-6 1-317-48967-5 1-317-48968-3 1-315-71068-4 1-282-92135-5 9786612921353 1-84465-334-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Cover; Half Title; Title; Copyright; Contents; Acknowledgements; 1 Introduction to modality; 2 Modal language and modal logic; 3 Quinian scepticism; 4 Modalism; 5 Extreme realism; 6 Quiet moderate realism; 7 Possible worlds as sets of sentences; Notes; Further reading; Index |
Record Nr. | UNINA-9910785445103321 |
Melia Joseph | ||
Abingdon, Oxon : , : Routledge, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Modality / / Joseph Melia |
Autore | Melia Joseph |
Pubbl/distr/stampa | Abingdon, Oxon : , : Routledge, , 2014 |
Descrizione fisica | 1 online resource (viii, 190 pages) : digital, PDF file(s) |
Disciplina | 160 |
Collana | Central problems of philosophy |
Soggetto topico | Modality (Logic) |
ISBN |
0-7735-2480-0
0-7735-8338-6 1-317-48967-5 1-317-48968-3 1-315-71068-4 1-282-92135-5 9786612921353 1-84465-334-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Cover; Half Title; Title; Copyright; Contents; Acknowledgements; 1 Introduction to modality; 2 Modal language and modal logic; 3 Quinian scepticism; 4 Modalism; 5 Extreme realism; 6 Quiet moderate realism; 7 Possible worlds as sets of sentences; Notes; Further reading; Index |
Record Nr. | UNINA-9910820922803321 |
Melia Joseph | ||
Abingdon, Oxon : , : Routledge, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Modality, Semantics and Interpretations [[electronic resource] ] : The Second Asian Workshop on Philosophical Logic / / edited by Shier Ju, Hu Liu, Hiroakira Ono |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (192 p.) |
Disciplina | 160 |
Collana | Logic in Asia: Studia Logica Library |
Soggetto topico |
Logic
Artificial intelligence Artificial Intelligence |
ISBN | 3-662-47197-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Contents; 1 Embedding Coalition Logic in the Minimal Normal Multimodal Logic with Intersection; 1.1 Introduction; 1.2 Background; 1.2.1 Coalition Logic; 1.2.2 Multimodal K with Intersection of Modalities; 1.3 Injective Games; 1.3.1 Effectivity Functions and Representation; 1.4 Multimodal K with Intersection for Games; 1.4.1 Joint Action Models; 1.4.2 Embedding of CL ; 1.5 Axiomatization of Joint Action Models; 1.6 Complexity; 1.7 Discussion; References; 2 Some Syntactic Interpretations in Different Systems of Full Lambek Calculus; 2.1 Introduction and Preliminaries
2.2 An Interpretation of FNLastS in FNLS2.3 Multiplicative Fragments; 2.4 Distributive and Modal Logics; 2.5 Applications; References; 3 Conditional Probability Logic over Conditional Probability Spaces; 3.1 Introduction; 3.2 Conditional Probability Belief Logic; 3.3 Axioms; 3.3.1 Soundness; 3.3.2 Completeness; 3.4 Public Announcement Logic; 3.5 Conclusion; References; 4 Finite-Chain Graded Modal Logic; 4.1 Introduction; 4.2 Language and Semantics; 4.3 Hilbert-Style Axiomatization; 4.4 Normal Finite-Chain Graded Modal Logics; 4.5 Algebraic Completeness; 4.6 Applications 4.7 Conclusion and Future DirectionsReferences; 5 Knowledge and Local Actions; 5.1 Overview; 5.1.1 In Praise of Local Action; 5.1.2 This Study; 5.2 Single Agent Systems; 5.3 Systems with Many Agents; 5.3.1 Distributed Alphabets; 5.3.2 Knowledge Transition Systems; 5.4 Undecidability; 5.5 Discussion; References; 6 Avoiding Impossibility Theorems in Radical Inquisitive Semantics; 6.1 Introduction; 6.2 Conservative Inquisitive Semantics; 6.2.1 The Inquisitive Model; 6.2.2 Inductive Definition of Inquisitive Meaning; 6.3 Radical Inquisitive Semantics 6.4 Impossibility Theorems in Radical Inquisitive Semantics6.5 Approximating Negative Inquisitive Meaning of Implication; 6.6 Concluding Remark; References; 7 Epistemic Informativeness; 7.1 Introduction; 7.2 Formalization and Proofs; 7.3 Conclusion; References; 8 Formalizing the IMA Language: Toward the Minimalist Program for Compositional Semantics; 8.1 Introduction; 8.2 English as a Formal Language Revisited; 8.3 The IMA Language as a Prototype; 8.4 A Logic for the IMA Language; 8.4.1 Syntax; 8.4.2 Semantics; 8.4.3 Proof System; 8.4.4 Soundness and Completeness; 8.5 Possible Extensions 8.5.1 Adding Constraints on R8.5.2 Adding Function Words; 8.5.3 Adding More Grammars; 8.5.4 Adding Contexts; 8.6 Concluding Remarks; References; 9 Similarity of States in Modal Logic; 9.1 Motivation; 9.2 Models of Restricted Flux Generated by Assignments; 9.2.1 The Change Between Adjacent States; 9.2.2 The Models; 9.2.3 The Properties of Models; 9.2.4 Axioms; 9.2.5 Soundness; 9.2.6 Canonical Model; 9.2.7 Step-by-Step; 9.2.8 Applications; 9.3 Many Dimensions Model Generated by an Assignment; 9.3.1 Language and Model; 9.3.2 Axioms; 9.3.3 Soundness and Completeness 9.3.4 Some Strategies of Data Analysis Based on MFXE |
Record Nr. | UNINA-9910484429903321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Modalità e multimodalità / Walter A.Carnielli, Claudio Pizzi |
Autore | CARNIELLI, Walter A. |
Pubbl/distr/stampa | Milano : F.Angeli, copyr.2001 |
Descrizione fisica | 184 p. ; 23 cm |
Disciplina | 160 |
Altri autori (Persone) | PIZZI, Claudio |
Collana | Collana di filosofia |
Soggetto topico | Logica |
ISBN | 88-464-3102-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNISA-990000789830203316 |
CARNIELLI, Walter A. | ||
Milano : F.Angeli, copyr.2001 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Modalités : logique, linguistique, sémiotique / par Ivan Darrault ... [et al.] |
Pubbl/distr/stampa | Paris : Didier-Larousse, 1976 |
Descrizione fisica | 123 p. : ill. ; 24 cm |
Disciplina | 160 |
Altri autori (Persone) | Darrault, Ivanauthor |
Collana | Langages ; 43 |
Soggetto topico | Logica modale |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | fre |
Record Nr. | UNISALENTO-991000121879707536 |
Paris : Didier-Larousse, 1976 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Model Theory / C.C. Chang and H.J. Keisler |
Autore | Chang, Chen Chung |
Pubbl/distr/stampa | Amsterdam [etc.] : North-Holland, 1973 |
Descrizione fisica | XII, 550 p. ; 23 cm |
Disciplina | 160 |
Collana | Studies in logic and the foundations of mathematics |
Soggetto non controllato |
Logica
Ricorsività |
ISBN | 0-7204-2273-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990000974180403321 |
Chang, Chen Chung | ||
Amsterdam [etc.] : North-Holland, 1973 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|