Results 281 to 290 of about 16,571,812 (297)
Some of the next articles are maybe not open access.
Automating first-order relational logic
Software Engineering Notes: an Informal Newsletter of the Special Interest Committee on Software Engineering / ACM, 2000Daniel Jackson
exaly
First-order conditional logic for default reasoning revisited
ACM Transactions on Computational Logic, 2000Joseph Halpern +2 more
exaly
Somehow Things Do Not Relate: On the Interpretation of Polyadic Second-Order Logic
Journal of Philosophical Logic, 2014Marcus Rossberg
exaly
The number of proof lines and the size of proofs in first order logic
Archive for Mathematical Logic, 1988Jan Krajíček, Pavel Pudlák
exaly
ON SEMANTICS OF L-VALUED FIRST-ORDER LOGIC Lvft
International Journal of General Systems, 2000exaly
Natural Deduction for First-Order Hybrid Logic
Journal of Logic, Language and Information, 2005exaly