Results 291 to 300 of about 201,623 (302)

Arithmetic, first-order logic, and counting quantifiers

ACM Transactions on Computational Logic, 2005
Nicole Schweikardt
exaly  

Vertex-minors, monadic second-order logic, and a conjecture by Seese

Journal of Combinatorial Theory Series B, 2007
Bruno Courcelle, Sang-Il Oum
exaly  

Order-sorted logic programming with predicate hierarchy

Artificial Intelligence, 2004
Ken Kaneiwa
exaly  

Higher-order logics

2023
openaire   +1 more source

Plural Logic and Sensitivity to Order

Australasian Journal of Philosophy, 2015
Salvatore Florio, David Nicolas
exaly  

Natural Deduction for First-Order Hybrid Logic

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

ON SEMANTICS OF L-VALUED FIRST-ORDER LOGIC Lvft

International Journal of General Systems, 2000
exaly  

Higher-Order Logic

2012
openaire   +1 more source

Higher-Order Logic

1993
openaire   +1 more source

Higher-order Logics

2013
openaire   +1 more source