Results 241 to 250 of about 114,330 (265)
Some of the next articles are maybe not open access.
Concerning the semantic consequence relation in first-order temporal logic
Theoretical Computer Science, 1986Andrzej Szalas
exaly
Expressing Second-order Sentences in Intuitionistic Dependence Logic
Studia Logica, 2013Fan Yang
exaly
ON SEMANTICS OF L-VALUED FIRST-ORDER LOGIC Lvft
International Journal of General Systems, 2000Qin Keyun
exaly
Where First-Order and Monadic Second-Order Logic Coincide
ACM Transactions on Computational Logic, 2016Martin Grohé
exaly
Reasoning about taxonomies in first-order logic
Ecological Informatics, 2007Bertram Ludäscher, David Thau
exaly
Zero–one laws for k-variable first-order logic of sparse random graphs
Discrete Applied Mathematics, 2020Maksim Zhukovskiĭ
exaly
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, 2000Nir Friedman, Daphne Koller
exaly