Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Mathematical logic --- Time --- Ontology --- Tense (Grammar) --- Tense (Logic) --- Hours (Time) --- Geodetic astronomy --- Nautical astronomy --- Horology --- Logic, Tense --- Grammar, Comparative and general --- Logic --- Being --- Philosophy --- Metaphysics --- Necessity (Philosophy) --- Substance (Philosophy) --- Tense --- Ontology. --- Tense (Logic). --- Time. --- Tense (Grammar). --- Ontologie --- Temps (philosophie)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Lexicology. Semantics --- Philosophy of language --- Semantics --- Semantics (Philosophy) --- Sémantique --- Sémantique (Philosophie) --- Semantics. --- 800.92 --- 801.56 --- Intension (Philosophy) --- Logical semantics --- Semantics (Logic) --- Semeiotics --- Significs --- Syntactics --- Unified science --- Language and languages --- Logic, Symbolic and mathematical --- Logical positivism --- Meaning (Psychology) --- Philosophy, Modern --- Semiotics --- Signs and symbols --- Symbolism --- Analysis (Philosophy) --- Definition (Philosophy) --- Formal semantics --- Semasiology --- Semiology (Semantics) --- Comparative linguistics --- Information theory --- Lexicology --- Informatietalen. Formele talen --- Syntaxis. Semantiek --- 801.56 Syntaxis. Semantiek --- 800.92 Informatietalen. Formele talen --- Semantics (Philosophy). --- Sémantique --- Sémantique (Philosophie) --- Semantiek [Wijsbegeerte]. --- Sémantique [Philosophie]. --- Semantiek.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Strategic behavior is the key to social interaction, from the ever-evolving world of living beings to the modern theatre of designed computational agents. Strategies can make or break participants’ aspirations, whether they are selling a house, playing the stock market, or working toward a treaty that limits global warming. This book aims at understanding the phenomenon of strategic behavior in its proper width and depth. A number of experts have combined forces in order to create a comparative view of the different frameworks for strategic reasoning in social interactions that have been developed in game theory, computer science, logic, linguistics, philosophy, and cognitive and social sciences. The chapters are organized in three topic-based sections, namely reasoning about games; formal frameworks for strategies; and strategies in social situations. The book concludes with a discussion on the future of logical studies of strategies.

Mathematical Theory --- Mathematics --- Physical Sciences & Mathematics --- Computer science. --- Computer communication systems. --- Software engineering. --- Algorithms. --- Computer logic. --- Mathematical logic. --- Computer Science. --- Mathematical Logic and Formal Languages. --- Logics and Meanings of Programs. --- Computer Communication Networks. --- Software Engineering. --- Information Systems Applications (incl. Internet). --- Algorithm Analysis and Problem Complexity. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer science logic --- Logic, Symbolic and mathematical --- Algorism --- Algebra --- Arithmetic --- Computer software engineering --- Engineering --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Electronic data processing --- Network computers --- Informatics --- Science --- Foundations --- Distributed processing --- Logic design. --- Computer software. --- Software, Computer --- Computer systems --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Games of strategy (Mathematics) --- Games with rational pay-off (Mathematics) --- Rational games (Mathematics) --- Strategy, Games of (Mathematics) --- Game theory --- Group theory --- Mathematical optimization --- Matrices --- Topology --- Application software. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- Machine theory. --- Computer networks. --- Formal Languages and Automata Theory. --- Computer Science Logic and Foundations of Programming. --- Computer and Information Systems Applications. --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Recursive functions --- Robotics

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Intensional logic, as understood here, is based on the broad presupposition that so-called "intensional contexts" in natural language can be explained semantically by the idea of multiple reference. The text reviews tense, modality, and conditionals, then presents developments in intensional theory, including partiality and generalized quantifiers.

Logic --- Logique --- Logic. --- Argumentation --- Deduction (Logic) --- Deductive logic --- Dialectic (Logic) --- Logic, Deductive --- Intellect --- Philosophy --- Psychology --- Science --- Reasoning --- Thought and thinking --- Methodology