Results 281 to 290 of about 201,623 (302)

Concerning the semantic consequence relation in first-order temporal logic

Theoretical Computer Science, 1986
Andrzej Szalas
exaly  

Where First-Order and Monadic Second-Order Logic Coincide

ACM Transactions on Computational Logic, 2016
Martin Grohé, Grohemartin
exaly  

Expressing Second-order Sentences in Intuitionistic Dependence Logic

Studia Logica, 2013
Fan Yang
exaly  

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

Journal of Philosophical Logic, 2014
Marcus Rossberg
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  

A semantic study of the first-order predicate logic with uncertainty involved

Fuzzy Optimization and Decision Making, 2014
Xingfang Zhang
exaly  

Second-Order Logic of Paradox

Notre Dame Journal of Formal Logic, 2018
Francis Jeffry Pelletier
exaly  

The Logic of Finite Order

Notre Dame Journal of Formal Logic, 2012
Simon Hewitt
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
E I BUNINA, BUNINA E I
exaly