All Mathematical Logic and Formal Language Titles
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Yamine Ait Ameur, Klaus-Dieter Schewe
This book constitutes the thoroughly refereed proceedings of the 4th International Conference on Abstract State Machines, B, TLA, VDM and Z, which took place in Toulouse, France, in June 2014. The 13 ...
Agent Technology from a Formal Perspective
Michael Hinchey, James Rash, Walt Truszkowski, Diana F. Gordon-Spears, Christopher Rouff
Stéphane Demri, Deepak Kapur, Christoph Weidenbach
This book constitutes the refereed proceedings of the 7th International Joint Conference on Automated Reasoning, IJCAR 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, i ...
Categories and Types in Logic, Language, and Physics
Claudia Casadio, Bob Coecke, Michael Moortgat, Philip Scott
For more than 60 years, Jim Lambek has been a profoundly inspirational mathematician, with groundbreaking contributions to algebra, category theory, linguistics, theoretical physics, logic and proof t ...
Daniel Kroening, Ofer Strichman, R.E. Bryant
This textbook on decision procedure has been used to teach undergraduate and graduate courses at ETH Zurich and at the Technion, Haifa. The authors focus on theories that are expressive enough to model real problems, but are still decidable.
Deontic Logic and Normative Systems
Fabrizio Cariani, Davide Grossi, Joke Meheus, Xavier Parent
This volume presents the refereed proceedings of the 12th International Conference on Deontic Logic and Normative Systems, DEON 2014, held in Ghent, Belgium, in July 2014. The 17 revised papers and th ...