Logical Tools for Handling Change in Agent-Based Systems More Books Like This
Coherent Systems
2004
Revision, Acceptability and Context
2010
Algebraic and Proof-theoretic Aspects of Non-classical Logics
2007
Mathematical Aspects of Logic Programming Semantics
2016
Revolutions and Revelations in Computability
2022
Universal Algebra
2011
Logical Foundations of Computer Science
2009
Transactions on Rough Sets XXII
2020
Computation and Logic in the Real World
2007
Computer Science Logic
2010
Fundamentals of Logic and Computation
2021
Fields of Logic and Computation
2010
Algebraic Informatics
2022
Models of Computation in Context
2011
Temporal Logic and State Systems
2008