Choose an application

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

This book offers a state-of-the-art introduction to the basic techniques and results of neighborhood semantics for modal logic. In addition to presenting the relevant technical background, it highlights both the pitfalls and potential uses of neighborhood models – an interesting class of mathematical structures that were originally introduced to provide a semantics for weak systems of modal logic (the so-called non-normal modal logics). In addition, the book discusses a broad range of topics, including standard modal logic results (i.e., completeness, decidability and definability); bisimulations for neighborhood models and other model-theoretic constructions; comparisons with other semantics for modal logic (e.g., relational models, topological models, plausibility models); neighborhood semantics for first-order modal logic, applications in game theory (coalitional logic and game logic); applications in epistemic logic (logics of evidence and belief); and non-normal modal logics with dynamic modalities. The book can be used as the primary text for seminars on philosophical logic focused on non-normal modal logics; as a supplemental text for courses on modal logic, logic in AI, or philosophical logic (either at the undergraduate or graduate level); or as the primary source for researchers interested in learning about the uses of neighborhood semantics in philosophical logic and game theory.

Mathematical logic --- Logic --- Mathematics --- Applied physical engineering --- Engineering sciences. Technology --- Computer science --- Computer. Automation --- ICT (informatie- en communicatietechnieken) --- computers --- economie --- informatica --- ontwerpen --- programmeren (informatica) --- wiskunde --- ingenieurswetenschappen --- logica --- computerkunde --- Philosophy. --- Logic. --- Computer logic. --- Logic, Symbolic and mathematical. --- Mathematics. --- Computer science—Mathematics. --- Mathematical logic. --- Applied mathematics. --- Engineering mathematics. --- Mathematics of Computing. --- Mathematical Logic and Foundations. --- Mathematical and Computational Engineering. --- Logics and Meanings of Programs. --- Computer science logic --- Logic, Symbolic and mathematical --- Engineering --- Engineering analysis --- Mathematical analysis --- Algebra of logic --- Logic, Universal --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Argumentation --- Deduction (Logic) --- Deductive logic --- Dialectic (Logic) --- Logic, Deductive --- Intellect --- Philosophy --- Psychology --- Science --- Reasoning --- Thought and thinking --- Methodology --- Computer science. --- Mathematical and Computational Engineering Applications. --- Computer Science Logic and Foundations of Programming. --- Informatics --- Computer mathematics --- Electronic data processing --- Data processing.

Choose an application

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

The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe. The papers cover vastly dierent topics, but each fall in the intersection of the three primary topics of ESSLLI: Logic, Language and Computation. The 14 papers presented in this volume have been selected among 24 papers presented by talks or posters at the Student Sessions of the 30th edition of ESSLLI, held in 2018 in Sofia, Bulgaria. The Student Session is a forum for PhD and Master students to present their research at the interfaces of logic, language and computation. It features three tracks: Logic and Computation (LoCo), Logic and Language (LoLa), and Language and Computation (LaCo).

Computer science. --- Knowledge representation (Information theory). --- Natural language processing (Computer science). --- Information storage and retrieval systems. --- Mathematical Logic and Formal Languages. --- Knowledge based Systems. --- Natural Language Processing (NLP). --- Information Storage and Retrieval. --- Automatic data storage --- Automatic information retrieval --- Automation in documentation --- Computer-based information systems --- Data processing systems --- Data storage and retrieval systems --- Discovery systems, Information --- Information discovery systems --- Information processing systems --- Information retrieval systems --- Machine data storage and retrieval --- Mechanized information storage and retrieval systems --- Computer systems --- Electronic information resources --- Data libraries --- Digital libraries --- Information organization --- Information retrieval --- NLP (Computer science) --- Artificial intelligence --- Electronic data processing --- Human-computer interaction --- Semantic computing --- Representation of knowledge (Information theory) --- Information theory --- Informatics --- Science --- Computer science --- Mathematical logic. --- Knowledge representation (Information theory) . --- Information storage and retrieval. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Machine theory. --- Expert systems (Computer science). --- Formal Languages and Automata Theory. --- Knowledge Based Systems. --- Data centers --- Knowledge-based systems (Computer science) --- Systems, Expert (Computer science) --- Soft computing --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Logic, Symbolic and mathematical --- Recursive functions --- Robotics

Choose an application

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

Choose an application

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

Philosophy --- Mathematical logic --- Logic --- Operational research. Game theory --- games --- filosofie --- speltheorie --- wiskunde --- logica

Choose an application

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

Games, Norms, and Reasons: Logic at the Crossroads provides an overview of modern logic focusing on its relationships with other disciplines, including new interfaces with rational choice theory, epistemology, game theory and informatics. This book continues a series called "Logic at the Crossroads" whose title reflects a view that the deep insights from the classical phase of mathematical logic can form a harmonious mixture with a new, more ambitious research agenda of understanding and enhancing human reasoning and intelligent interaction. The editors have gathered together articles from active authors in this new area that explore dynamic logical aspects of norms, reasons, preferences and beliefs in human agency, human interaction and groups. The book pays a special tribute to Professor Rohit Parikh, a pioneer in this movement.

Logic, Symbolic and mathematical. --- Logic. --- Reasoning. --- Philosophy --- Philosophy & Religion --- Logic --- Argumentation --- Deduction (Logic) --- Deductive logic --- Dialectic (Logic) --- Logic, Deductive --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Philosophy. --- Game theory. --- Mathematical logic. --- Mathematical Logic and Foundations. --- Game Theory. --- Game Theory, Economics, Social and Behav. Sciences. --- Intellect --- Psychology --- Science --- Reasoning --- Thought and thinking --- Methodology --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Mathematics. --- Math --- Games, Theory of --- Theory of games --- Mathematical models --- Parikh, Rohit, --- Parikh, R.