Discover open access scientific publications

Search, annotate, share and cite publications

Publications by R. Brafman

A First-Order Conditional Logic With Qualitative Statistical Semantics

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
1997English

Related publications

A Denotational Semantics for First-Order Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

A First-Order Inquisitive Semantics

2018English

A Statistical Learning Method for Logic Programs With Distribution Semantics

1995English

First-Order Dynamic Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1979English

A Short Tutorial on Order-Invariant First-Order Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Geometrisation of First-Order Logic

Bulletin of Symbolic Logic
PhilosophyLogic
2015English

A Phase Semantics for Polarized Linear Logic and Second Order Conservativity

Journal of Symbolic Logic
PhilosophyLogic
2010English

Semigroups Underlying First-Order Logic

Memoirs of the American Mathematical Society
MathematicsApplied Mathematics
2006English

Game Semantics in Teaching of Classical First Order Predicate Logic to Stu- Dents of Computer Science

MATEC Web of Conferences
Materials ScienceEngineeringChemistry
2018English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy