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.
Handbook of modal logic [[electronic resource] /] / edited by Patrick Blackburn, Johan van Benthem, Frank Wolter
| Handbook of modal logic [[electronic resource] /] / edited by Patrick Blackburn, Johan van Benthem, Frank Wolter |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Amsterdam ; ; Boston, : Elsevier, 2007 |
| Descrizione fisica | 1 online resource (1261 p.) |
| Disciplina |
160
160 22 |
| Altri autori (Persone) |
BlackburnPatrick <1959->
BenthemJ. F. A. K. van <1949-> WolterFrank |
| Collana | Studies in logic and practical reasoning |
| Soggetto topico |
Modality (Logic)
Logic |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-280-72916-3
9786610729166 0-08-046666-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Front Cover; Handbook of Modal Logic; Copyright Page; Table of Contents; List of Contributors; Preface; Part 1. Basic Theory; Chapter 1 Modal Logic: A Semantic Perspective; 1 Introduction; 2 Basic modal logic; 2.1 First steps in relational semantics; 2.2 The standard translation; 3 Bisimulation and definability; 3.1 Drawing distinctions; 3.2 Bisimulation; 3.3 Invariance and definability in first-order logic; 3.4 Invariance and definability in modal logic; 3.5 Modal logic and first-order logic compared; 3.6 Bisimulation as a game; 4 Computation and complexity; 4.1 Model checking
4.2 Satisfiability and validity: decidability4.3 Satisfiability and validity: complexity; 4.4 Other reasoning tasks; 5 Richer logics; 5.1 Axioms and relational frame properties; 5.2 Frame definability and undefinability; 5.3 Frame correspondence and second-order logic; 5.4 First-order frame definability; 5.5 Correspondence in richer languages; 5.6 Remarks on computability; 6 Richer languages; 6.1 The universal modality; 6.2 Hybrid logic; 6.3 Temporal logic with Until and Since operators; 6.4 Conditional logic; 6.5 The guarded fragment; 6.6 Propositional Dynamic Logic; 6.7 The modal μ-calculus 6.8 Combined logics6.9 First-order modal logic; 6.10 General perspectives; 7 Alternative semantics; 7.1 Algebraic semantics; 7.2 Neighbourhood semantics; 7.3 Topological semantics; 8 Modal logic and its changing environment; Acknowledgements; Bibliography; Chapter 2 Modal Proof Theory; 1 Introduction; 2 Modal Axiomatics; 2.1 Normal Axiom Systems; 2.2 Soundness and Completeness; 2.3 Difficulties, and GL; 2.4 Sahlqvist Formulas; 3 Deduction, and the Deduction Theorem; 4 Natural Deduction; 4.1 Classical Natural Deduction; 4.2 Modal Natural Deduction; 5 Semantic Tableaus 5.1 A Classical Tableau System5.2 Destructive Modal Tableaus; 5.3 Soundness and Completeness; 5.4 The Logic GL; 5.5 Tableau Remarks; 6 Prefixed Tableaus; 6.1 A Prefixed System for K; 6.2 Soundness and Completeness; 6.3 Other Modal Logics; 7 Gentzen Systems; 7.1 Classical Propositional Sequents; 7.2 Modal Propositional Sequents; 8 Hypersequents; 8.1 Hypersequents for S5; 8.2 Examples; 8.3 Soundness and Completeness; 9 Logics of Knowledge; 9.1 A Basic Logic of Knowledge; 9.2 Common Knowledge; 10 Converse; 11 The Universal Modality and the Difference Modality; 12 What Are the Limitations 13 Quantified Modal Logic13.1 Syntax and Semantics; 13.2 Constant Domain Tableaus; 13.3 Soundness and Completeness; 13.4 Variations; 14 Conclusion; Bibliography; Chapter 3 Complexity of Modal Logic; 1 Introduction; 1.1 Examples of decision problems in modal logic; 1.2 A simple and a hard problem; 1.3 The model checking problem; 1.4 The consequence problem; 1.5 A tiling logic; 2 Decision algorithms; 2.1 Selection of points; 2.2 Filtration; 2.3 Hintikka set elimination; 2.4 Hintikka set elimination without constraints; 2.5 Forcing exponentially deep paths; 2.6 Tree automata; 2.7 Pseudo-models 3 Complexity |
| Record Nr. | UNINA-9910511781803321 |
| Amsterdam ; ; Boston, : Elsevier, 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Handbook of modal logic [[electronic resource] /] / edited by Patrick Blackburn, Johan van Benthem, Frank Wolter
| Handbook of modal logic [[electronic resource] /] / edited by Patrick Blackburn, Johan van Benthem, Frank Wolter |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Amsterdam ; ; Boston, : Elsevier, 2007 |
| Descrizione fisica | 1 online resource (1261 p.) |
| Disciplina |
160
160 22 |
| Altri autori (Persone) |
BlackburnPatrick <1959->
BenthemJ. F. A. K. van <1949-> WolterFrank |
| Collana | Studies in logic and practical reasoning |
| Soggetto topico |
Modality (Logic)
Logic |
| ISBN |
1-280-72916-3
9786610729166 0-08-046666-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Front Cover; Handbook of Modal Logic; Copyright Page; Table of Contents; List of Contributors; Preface; Part 1. Basic Theory; Chapter 1 Modal Logic: A Semantic Perspective; 1 Introduction; 2 Basic modal logic; 2.1 First steps in relational semantics; 2.2 The standard translation; 3 Bisimulation and definability; 3.1 Drawing distinctions; 3.2 Bisimulation; 3.3 Invariance and definability in first-order logic; 3.4 Invariance and definability in modal logic; 3.5 Modal logic and first-order logic compared; 3.6 Bisimulation as a game; 4 Computation and complexity; 4.1 Model checking
4.2 Satisfiability and validity: decidability4.3 Satisfiability and validity: complexity; 4.4 Other reasoning tasks; 5 Richer logics; 5.1 Axioms and relational frame properties; 5.2 Frame definability and undefinability; 5.3 Frame correspondence and second-order logic; 5.4 First-order frame definability; 5.5 Correspondence in richer languages; 5.6 Remarks on computability; 6 Richer languages; 6.1 The universal modality; 6.2 Hybrid logic; 6.3 Temporal logic with Until and Since operators; 6.4 Conditional logic; 6.5 The guarded fragment; 6.6 Propositional Dynamic Logic; 6.7 The modal μ-calculus 6.8 Combined logics6.9 First-order modal logic; 6.10 General perspectives; 7 Alternative semantics; 7.1 Algebraic semantics; 7.2 Neighbourhood semantics; 7.3 Topological semantics; 8 Modal logic and its changing environment; Acknowledgements; Bibliography; Chapter 2 Modal Proof Theory; 1 Introduction; 2 Modal Axiomatics; 2.1 Normal Axiom Systems; 2.2 Soundness and Completeness; 2.3 Difficulties, and GL; 2.4 Sahlqvist Formulas; 3 Deduction, and the Deduction Theorem; 4 Natural Deduction; 4.1 Classical Natural Deduction; 4.2 Modal Natural Deduction; 5 Semantic Tableaus 5.1 A Classical Tableau System5.2 Destructive Modal Tableaus; 5.3 Soundness and Completeness; 5.4 The Logic GL; 5.5 Tableau Remarks; 6 Prefixed Tableaus; 6.1 A Prefixed System for K; 6.2 Soundness and Completeness; 6.3 Other Modal Logics; 7 Gentzen Systems; 7.1 Classical Propositional Sequents; 7.2 Modal Propositional Sequents; 8 Hypersequents; 8.1 Hypersequents for S5; 8.2 Examples; 8.3 Soundness and Completeness; 9 Logics of Knowledge; 9.1 A Basic Logic of Knowledge; 9.2 Common Knowledge; 10 Converse; 11 The Universal Modality and the Difference Modality; 12 What Are the Limitations 13 Quantified Modal Logic13.1 Syntax and Semantics; 13.2 Constant Domain Tableaus; 13.3 Soundness and Completeness; 13.4 Variations; 14 Conclusion; Bibliography; Chapter 3 Complexity of Modal Logic; 1 Introduction; 1.1 Examples of decision problems in modal logic; 1.2 A simple and a hard problem; 1.3 The model checking problem; 1.4 The consequence problem; 1.5 A tiling logic; 2 Decision algorithms; 2.1 Selection of points; 2.2 Filtration; 2.3 Hintikka set elimination; 2.4 Hintikka set elimination without constraints; 2.5 Forcing exponentially deep paths; 2.6 Tree automata; 2.7 Pseudo-models 3 Complexity |
| Record Nr. | UNINA-9910784599403321 |
| Amsterdam ; ; Boston, : Elsevier, 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Handbook of modal logic / / edited by Patrick Blackburn, Johan van Benthem, Frank Wolter
| Handbook of modal logic / / edited by Patrick Blackburn, Johan van Benthem, Frank Wolter |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Amsterdam ; ; Boston, : Elsevier, 2007 |
| Descrizione fisica | 1 online resource (1261 p.) |
| Disciplina | 160 |
| Altri autori (Persone) |
BlackburnPatrick <1959->
BenthemJ. F. A. K. van <1949-> WolterFrank |
| Collana | Studies in logic and practical reasoning |
| Soggetto topico |
Modality (Logic)
Logic |
| ISBN |
1-280-72916-3
9786610729166 0-08-046666-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Front Cover; Handbook of Modal Logic; Copyright Page; Table of Contents; List of Contributors; Preface; Part 1. Basic Theory; Chapter 1 Modal Logic: A Semantic Perspective; 1 Introduction; 2 Basic modal logic; 2.1 First steps in relational semantics; 2.2 The standard translation; 3 Bisimulation and definability; 3.1 Drawing distinctions; 3.2 Bisimulation; 3.3 Invariance and definability in first-order logic; 3.4 Invariance and definability in modal logic; 3.5 Modal logic and first-order logic compared; 3.6 Bisimulation as a game; 4 Computation and complexity; 4.1 Model checking
4.2 Satisfiability and validity: decidability4.3 Satisfiability and validity: complexity; 4.4 Other reasoning tasks; 5 Richer logics; 5.1 Axioms and relational frame properties; 5.2 Frame definability and undefinability; 5.3 Frame correspondence and second-order logic; 5.4 First-order frame definability; 5.5 Correspondence in richer languages; 5.6 Remarks on computability; 6 Richer languages; 6.1 The universal modality; 6.2 Hybrid logic; 6.3 Temporal logic with Until and Since operators; 6.4 Conditional logic; 6.5 The guarded fragment; 6.6 Propositional Dynamic Logic; 6.7 The modal μ-calculus 6.8 Combined logics6.9 First-order modal logic; 6.10 General perspectives; 7 Alternative semantics; 7.1 Algebraic semantics; 7.2 Neighbourhood semantics; 7.3 Topological semantics; 8 Modal logic and its changing environment; Acknowledgements; Bibliography; Chapter 2 Modal Proof Theory; 1 Introduction; 2 Modal Axiomatics; 2.1 Normal Axiom Systems; 2.2 Soundness and Completeness; 2.3 Difficulties, and GL; 2.4 Sahlqvist Formulas; 3 Deduction, and the Deduction Theorem; 4 Natural Deduction; 4.1 Classical Natural Deduction; 4.2 Modal Natural Deduction; 5 Semantic Tableaus 5.1 A Classical Tableau System5.2 Destructive Modal Tableaus; 5.3 Soundness and Completeness; 5.4 The Logic GL; 5.5 Tableau Remarks; 6 Prefixed Tableaus; 6.1 A Prefixed System for K; 6.2 Soundness and Completeness; 6.3 Other Modal Logics; 7 Gentzen Systems; 7.1 Classical Propositional Sequents; 7.2 Modal Propositional Sequents; 8 Hypersequents; 8.1 Hypersequents for S5; 8.2 Examples; 8.3 Soundness and Completeness; 9 Logics of Knowledge; 9.1 A Basic Logic of Knowledge; 9.2 Common Knowledge; 10 Converse; 11 The Universal Modality and the Difference Modality; 12 What Are the Limitations 13 Quantified Modal Logic13.1 Syntax and Semantics; 13.2 Constant Domain Tableaus; 13.3 Soundness and Completeness; 13.4 Variations; 14 Conclusion; Bibliography; Chapter 3 Complexity of Modal Logic; 1 Introduction; 1.1 Examples of decision problems in modal logic; 1.2 A simple and a hard problem; 1.3 The model checking problem; 1.4 The consequence problem; 1.5 A tiling logic; 2 Decision algorithms; 2.1 Selection of points; 2.2 Filtration; 2.3 Hintikka set elimination; 2.4 Hintikka set elimination without constraints; 2.5 Forcing exponentially deep paths; 2.6 Tree automata; 2.7 Pseudo-models 3 Complexity |
| Record Nr. | UNINA-9910823052303321 |
| Amsterdam ; ; Boston, : Elsevier, 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Modeling and using context : 4th International and Interdisciplinary Conference, CONTEXT 2003, Stanford, CA, USA, June 23-25, 2003 : proceedings / / edited by Patrick Blackburn [and three others]
| Modeling and using context : 4th International and Interdisciplinary Conference, CONTEXT 2003, Stanford, CA, USA, June 23-25, 2003 : proceedings / / edited by Patrick Blackburn [and three others] |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer, , [2003] |
| Descrizione fisica | 1 online resource (536 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Computer simulation
Context (Linguistics) |
| ISBN | 3-540-44958-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Full Papers -- Presupposition Incorporation in Adverbial Quantification -- A Theory of Contextual Propositions for Indicatives -- Context-Sensitive Weights for a Neural Network -- A Common Sense Theory of Causation -- How to Refer: Objective Context vs. Intentional Context -- A SAT-Based Algorithm for Context Matching -- On the Difference between Bridge Rules and Lifting Axioms -- Context Dynamic and Explanation in Contextual Graphs -- A Deduction Theorem for Normal Modal Propositional Logic -- Natural Deduction and Context as (Constructive) Modality -- Communicative Contributions and Communicative Genres: Language Production and Language Understanding in Context -- Explanation as Contextual Categorization -- Effects of Context on the Description of Olfactory Properties -- Varieties of Contexts -- Ubi-UCAM: A Unified Context-Aware Application Model -- Contextual Effects on Word Order: Information Structure and Information Theory -- A Generic Framework for Context-Based Distributed Authorizations -- Unpacking Meaning from Words: A Context-Centered Approach to Computational Lexicon Design -- A Contextual Approach to the Logic of Fiction -- Predictive Visual Context in Object Detection -- Copular Questions and the Common Ground -- Contextual Coherence in Natural Language Processing -- Local Relational Model: A Logical Formalization of Database Coordination -- What to Say on What Is Said -- Modelling “but” in Task-Oriented Dialogue -- Dynamic Contextual Intensional Logic: Logical Foundations and an Application -- Comparatively True Types: A Set-Free Ontological Model of Interpretation and Evaluation Contexts -- Discourse Context and Indexicality -- A Mathematical Model for Context and Word-Meaning -- Demonstratives, Reference, and Perception -- Perceiving Action from Static Images: The Role of Spatial Context -- Short Papers -- How to Define the Communication Situation: Determining Context Cues in Mobile Telephony -- How to Use Enriched Browsing Context to Personalize Web Site Access -- Modular Partial Models: A Formalism for Context Representation -- Contextual Modeling Using Context-Dependent Feedforward Neural Nets -- Context-Based Commonsense Reasoning in the DALI Logic Programming Language -- An Ontology for Mobile Device Sensor-Based Context Awareness -- The Use of Contextual Information in a Proactivity Model for Conversational Agents -- GloBuddy, a Dynamic Broad Context Phrase Book -- Exploiting Dynamicity for the Definition and Parsing of Context Sensitive Grammars -- Co-text Loss in Textual Chat Tools -- Context Proceduralization in Decision Making -- GRAVA: An Architecture Supporting Automatic Context Transitions and Its Application to Robust Computer Vision -- Speaking One’s Mind -- Connecting Route Segments Given in Route Descriptions. |
| Record Nr. | UNINA-9910143870103321 |
| Berlin, Germany ; ; New York, New York : , : Springer, , [2003] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Modeling and using context : 4th International and Interdisciplinary Conference, CONTEXT 2003, Stanford, CA, USA, June 23-25, 2003 : proceedings / / edited by Patrick Blackburn [and three others]
| Modeling and using context : 4th International and Interdisciplinary Conference, CONTEXT 2003, Stanford, CA, USA, June 23-25, 2003 : proceedings / / edited by Patrick Blackburn [and three others] |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer, , [2003] |
| Descrizione fisica | 1 online resource (536 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Computer simulation
Context (Linguistics) |
| ISBN | 3-540-44958-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Full Papers -- Presupposition Incorporation in Adverbial Quantification -- A Theory of Contextual Propositions for Indicatives -- Context-Sensitive Weights for a Neural Network -- A Common Sense Theory of Causation -- How to Refer: Objective Context vs. Intentional Context -- A SAT-Based Algorithm for Context Matching -- On the Difference between Bridge Rules and Lifting Axioms -- Context Dynamic and Explanation in Contextual Graphs -- A Deduction Theorem for Normal Modal Propositional Logic -- Natural Deduction and Context as (Constructive) Modality -- Communicative Contributions and Communicative Genres: Language Production and Language Understanding in Context -- Explanation as Contextual Categorization -- Effects of Context on the Description of Olfactory Properties -- Varieties of Contexts -- Ubi-UCAM: A Unified Context-Aware Application Model -- Contextual Effects on Word Order: Information Structure and Information Theory -- A Generic Framework for Context-Based Distributed Authorizations -- Unpacking Meaning from Words: A Context-Centered Approach to Computational Lexicon Design -- A Contextual Approach to the Logic of Fiction -- Predictive Visual Context in Object Detection -- Copular Questions and the Common Ground -- Contextual Coherence in Natural Language Processing -- Local Relational Model: A Logical Formalization of Database Coordination -- What to Say on What Is Said -- Modelling “but” in Task-Oriented Dialogue -- Dynamic Contextual Intensional Logic: Logical Foundations and an Application -- Comparatively True Types: A Set-Free Ontological Model of Interpretation and Evaluation Contexts -- Discourse Context and Indexicality -- A Mathematical Model for Context and Word-Meaning -- Demonstratives, Reference, and Perception -- Perceiving Action from Static Images: The Role of Spatial Context -- Short Papers -- How to Define the Communication Situation: Determining Context Cues in Mobile Telephony -- How to Use Enriched Browsing Context to Personalize Web Site Access -- Modular Partial Models: A Formalism for Context Representation -- Contextual Modeling Using Context-Dependent Feedforward Neural Nets -- Context-Based Commonsense Reasoning in the DALI Logic Programming Language -- An Ontology for Mobile Device Sensor-Based Context Awareness -- The Use of Contextual Information in a Proactivity Model for Conversational Agents -- GloBuddy, a Dynamic Broad Context Phrase Book -- Exploiting Dynamicity for the Definition and Parsing of Context Sensitive Grammars -- Co-text Loss in Textual Chat Tools -- Context Proceduralization in Decision Making -- GRAVA: An Architecture Supporting Automatic Context Transitions and Its Application to Robust Computer Vision -- Speaking One’s Mind -- Connecting Route Segments Given in Route Descriptions. |
| Record Nr. | UNISA-996466067603316 |
| Berlin, Germany ; ; New York, New York : , : Springer, , [2003] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||