Results 251 to 260 of about 16,840,789 (262)

Zero–one laws for k-variable first-order logic of sparse random graphs

Discrete Applied Mathematics, 2020
Maksim Zhukovskiĭ
exaly  

Automating first-order relational logic

Software Engineering Notes: an Informal Newsletter of the Special Interest Committee on Software Engineering / ACM, 2000
Daniel Jackson
exaly  

First-order conditional logic for default reasoning revisited

ACM Transactions on Computational Logic, 2000
Nir Friedman, Daphne Koller
exaly  

Somehow Things Do Not Relate: On the Interpretation of Polyadic Second-Order Logic

Journal of Philosophical Logic, 2014
Marcus Rossberg
exaly  

Natural Deduction for First-Order Hybrid Logic

Journal of Logic, Language and Information, 2005
Brauner Torben
exaly  

An Example of two Cardinals that are Equivalent in the n-Order Logic and not Equivalent in the (n + 1)-Order Logic

Journal of Mathematical Sciences, 2014
BUNINA E I, E I BUNINA
exaly  

The number of proof lines and the size of proofs in first order logic

Archive for Mathematical Logic, 1988
Jan Krajíček, Pavel Pudlák, Pudlák Pavel   +2 more
exaly  

Boolean-Valued Second-Order Logic

Notre Dame Journal of Formal Logic, 2015
Jouko Väänänen
exaly  

A Defense of Second-Order Logic

Axiomathes, 2010
Bueno Otávio
exaly  

Reducing liveness to safety in first-order logic

2018
Jochen Hoenicke, Sharon Shoham Buchbinder   +1 more
exaly