主题词:Logic, Reasoning, and Knowledge; Philosophy and Theoretical Science; Advanced Algebra and Logic; Logic, programming, and type systems; Classical Philosophy and Thought; Epistemology, Ethics, and Metaphysics; Philosophy and History of Science; Semantic Web and Ontologies; History and Theory of Mathematics; Philosophy, Science, and History; Multi-Agent Systems and Negotiation; Linguistics and Discourse Analysis; Computability, Logic, AI Algorithms; Quantum Mechanics and Applications; Syntax, Semantics, Linguistic Variation; Medieval and Classical Philosophy; Legal and Social Philosophy; Formal Methods in Verification; Natural Language Processing Techniques; Philosophical Ethics and Theory; linguistics and terminology studies; Critical Realism in Sociology; Political Theory and Influence; Historical Economic and Legal Thought; Legal Language and Interpretation