You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
A sentence of first-order logic is satisfiable if it is true in some structure, and finitely satisfiable if it is true in some finite structure. The question arises as to whether there exists an algorithm for determining whether a given formula of first-order logic is satisfiable, or indeed finitely satisfiable. This question was answered negatively in 1936 by Church and Turing (for satisfiability) and in 1950 by Trakhtenbrot (for finite satisfiability).In contrast, the satisfiability and finite satisfiability problems are algorithmically solvable for restricted subsets—-or, as we say, fragments—-of first-order logic, a fact which is today of considerable interest in Computer Science. Th...
One of the most important characteristics of present day ontological research is the growing interest in, and emphasis on, the dynamic aspects of being and the process-relational character of being itself. However, many important questions still await detailed answers. For example, what is the meaning of the concepts of “dynamics,” “dynamicity,” and “dynamic ontology,” among others? Are they identical to, or similar with, respectively, “processes,” “process ontology,” “process-relational ontology”? Is “process ontology” a type of “dynamic ontology”? Dynamic Being: Essays in Process-Relational Ontology examines these and many other questions, and suggests fruit...
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.
The second edition of The Handbook of Contemporary Semantic Theory presents a comprehensive introduction to cutting-edge research in contemporary theoretical and computational semantics. Features completely new content from the first edition of The Handbook of Contemporary Semantic Theory Features contributions by leading semanticists, who introduce core areas of contemporary semantic research, while discussing current research Suitable for graduate students for courses in semantic theory and for advanced researchers as an introduction to current theoretical work
This Festschrift volume, published in honor of Nissim Francez on the occasion of his 65th birthday, contains 15 papers, written by friends and colleagues, many of whom congregated at a celebratory symposium held on May 2009, in Haifa, Israel.
This book constitutes the refereed proceedings of the 9th European Conference on Logics in Artificial Intelligence, JELIA 2004, held in Lisbon, Portugal, in September 2004. The 52 revised full papers and 15 revised systems presentation papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from a total of 169 submissions. The papers are organized in topical sections on multi-agent systems; logic programming and nonmonotonic reasoning; reasoning under uncertainty; logic programming; actions and causation; complexity; description logics; belief revision; modal, spatial, and temporal logics; theorem proving; and applications.
This book collects the refereed proceedings of the 8th Indian Conference on Logic and Its Applications, ICLA 2019, held in Delhi, India, in March 2019. The volume contains 13 full revised papers along with 6 invited talks presented at the conference. The aim of this conference series is to bring together researchers from a wide variety of fields in which formal logic plays a significant role. Areas of interest include mathematical and philosophical logic, computer science logic, foundations and philosophy of mathematics and the sciences, use of formal logic in areas of theoretical computer science and artificial intelligence, logic and linguistics, and the relationship between logic and other branches of knowledge. Of special interest are studies in systems of logic in the Indian tradition, and historical research on logic.
The articles in this volume are the outcome of the successful BRIDGE Workshop held in Düsseldorf in 2014. The workshop gathered a number of distinguished researchers from formal semantics and conceptual semantics and aimed to initiate a deeper conversation and collaboration instead of separating the two sides as competing views. The workshop provided a platform to further discuss parallelisms on specific semantic issues on the one hand and on the other hand to confront opposed claims from the two different perspectives. This volume represents a selected number of high-quality papers presented at the workshop featuring various approaches to meaning from linguistics, logic and philosophy of language. This series explores issues of mental representation, linguistic structure and representation, and their interplay. The research presented in this series is grounded in the idea explored in the Collaborative Research Center 'The structure of representations in language, cognition and science' (SFB 991) that there is a universal format for the representation of linguistic and cognitive concepts.
This state-of-the-art survey comprises a selection of the material presented at the International Dagstuhl Seminar on Annotating, Extracting and Reasoning about Time and Events, held in Dagstuhl Castle, Germany, in April 2005. The seminar centered around an emerging de facto standard for time and event annotation: TimeML. It features nine papers that detail current research and discuss open problems concerning annotation, temporal reasoning, and event identification.