Results 101 to 110 of about 712,824 (175)
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, processoriented 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
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
Maximality and ontology: how axiom content varies across philosophical frameworks. [PDF]
Synthese, 2020 Barton N, Friedman SD.
europepmc +1 more source
, 2010 We prove that the theory of abelian groups and R-modules even in infinitary logic is stable and understood to some extent.
openaire +2 more sources
Logic, inference, understanding: cross-domain generalization for generative language models. [PDF]
Front Artif IntellBlanck R, Noble B.
europepmc +1 more source
Infinitary combinatory reduction systems
, 2005 Term rewriting is used for the modelling of computation in declarative languages and proof systems. Infinitary term rewriting is a class of mod-els designed to model lazy languages with potentially infinite data struc-tures, and infinitary logic.
Jeroen Ketema +3 more
core
Announcement as effort on topological spaces. [PDF]
Synthese, 2019 van Ditmarsch H, Knight S, Özgün A.
europepmc +1 more source
Logiques infinies et forçage Les principaux résultats de cette thèse sont liés au forcing, mais notre présentation bénéficie de sa mise en relation avec un autre domaine de la logique: la théorie des modèles des logiques infinitaires.
openaire +2 more sources
A mathematical characterization of minimally sufficient robot brains. [PDF]
Int J Rob ResSakcak B +3 more
europepmc +1 more source