Results 251 to 260 of about 114,330 (265)

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
Otávio Bueno, Bueno Otávio
exaly  

Higher-order logics

2023
openaire   +1 more source

Reducing liveness to safety in first-order logic

2018
Jochen Hoenicke, Sharon Shoham Buchbinder   +1 more
exaly  

Higher‐order Logic

2009
Stewart Shapiro, Shapiro Stewart
exaly  

Higher-Order Logic

2012
openaire   +1 more source