First-order logic adds quantifiers and predicates, and can express facts about objects, their properties, and their relations with each other. المنطق الأولى يسمح أيضا باستخدام الكلمات الدالة على الكمية والخبر، ويمكنه التعبير عن حقائق الأشياء، وخواصهم، وعلاقاتهم مع بعضهم البعض.
Later, he worked mainly on game semantics, and on independence-friendly logic, known for its "branching quantifiers", which he believed do better justice to our intuitions about quantifiers than does conventional first-order logic. في العقود الأخيرة ، فقد كان يعمل أساسا على دلالات لعبة ، وعلى منطق الاستقلال ودية ، والمعروف عن محددو الكمية "المتفرعة من" التي يعتقد انها تفعل أفضل العدالة لحدسنا حول محددو الكم من التقليدية لا منطق الرتبة الأولى.
جوال إصدار