Results 91 to 100 of about 1,524,096 (164)

A Comprehensive Framework for Saturation Theorem Proving. [PDF]

J Autom Reason, 2022
Waldmann U, Tourret S, Robillard S, Blanchette J.   +3 more
europepmc   +1 more source

Affine systems of equations and counting infinitary logic

, 2007
We study the definability of constraint satisfaction problems (CSP) in various fixed-point and infinitary logics. We show that testing the solvability of systems of equations over a finite Abelian group, a tractable CSP that was previously known not to ...
Andrei Bulatov, Albert Atserias, Anuj Dawar   +2 more
core  

Reconciling First-Order Logic to Algebra

, 2018
We start from the algebraic method of theorem-proving based on the translation of logic formulas into polynomials over finite fields, and adapt the case of first-order formulas by employing certain rings equipped with infinitary operations.
Mariana Matulovic, Carnielli, Walter, Luiz Mariano, Hugo, Hugo Luiz Mariano, Walter Carnielli, Matulovic, Mariana [UNESP]   +5 more
core   +1 more source

Destructibility and axiomatizability of Kaufmann models. [PDF]

Arch Math Log, 2022
Switzer CB.
europepmc   +1 more source

Infinitary S5-Epistemic Logic

t is known that a theory in S5-epistemic logic with several agents may have numerous models. This is because each such model specifies also what an agent knows about infinite intersections of events, while the expressive power of the logic is limited to ...
HEIFETZ , Aviad
core  

An infinitary probability logic for type spaces

, 2001
Type spaces in the sense of Harsanyi (1967/68) can be considered as the probabilistic analog of Kripke structures. By an infinitary propositional language with additional operators "individual i assigns probability at least to" and infinitary inference ...
Meier, Martin
core  

Modality, Bisimulation and Interpolation in Infinitary Logic

, 1997
Rohit Parikh has been one of the pioneers at the interface of modal and dynamic logic. Bringing dynamic, process­oriented concerns into modal logic has been a major move, whose repercussions are still being felt today. In this contribution, I consider
van Benthem, Johan
core  

Maximality and ontology: how axiom content varies across philosophical frameworks. [PDF]

Synthese, 2020
Barton N, Friedman SD.
europepmc   +1 more source

Logic, inference, understanding: cross-domain generalization for generative language models. [PDF]

Front Artif Intell
Blanck R, Noble B.
europepmc   +1 more source

Generalized Revenge. [PDF]

Australas J Philos, 2020
Murzi J, Rossi L.
europepmc   +1 more source