直言不讳
发表于 2025-3-30 09:19:26
http://reply.papertrans.cn/59/5881/588047/588047_51.png
流眼泪
发表于 2025-3-30 15:25:38
First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragmrt a completeness result for the monodic fragment of a language that includes LTL modalities as well as distributed and common knowledge. We exemplify possible uses of the formalism by analysing message passing systems, a typical framework for distributed systems, in a first-order setting.
etidronate
发表于 2025-3-30 17:43:59
On-the-Fly Macros of states and does not require previously learned or inferred information, nor prior domain knowledge. The algorithm is used to define new domain-independent tractable classes of classical planning that are proved to include . and ..
FEMUR
发表于 2025-3-30 23:27:10
Abductive Logic Grammarsemantic information is thus defined through extra-grammatical means, and a sentence’s meaning logically follows as a by-product of string rewriting. We formalize these ideas, and exemplify them both within and outside first-order logic, and for both fixed and dynamic knowledge bases. Within the latt
Consequence
发表于 2025-3-31 00:57:31
On the Syntax-Semantics Interface: From Convergent Grammar to Abstract Categorial Grammary years, but has been widely viewed as ad hoc and unprincipled. Recent work by Pollard within the framework of convergent grammar (CVG) took a step in the direction of clarifying the logical status of Cooper storage by encoding its rules within an explicit but nonstandard natural deduction (ND) form
奴才
发表于 2025-3-31 07:01:51
Observational Effort and Formally Open Mappingsorphisms of subset spaces. The motivation for doing so originates from dynamic agent logics. Usually, these logics comprise certain epistemic actions. Our aim is to show that an appropriate extension of the Moss-Parikh system can serve similar purposes. In fact, since the semantics of an action can
hemorrhage
发表于 2025-3-31 09:46:22
Forcing-Based Cut-Elimination for Gentzen-Style Intuitionistic Sequent Calculusantification. We use a cut-free intuitionistic sequent calculus as formal system and by combining soundness with completeness, we obtain an executable cut-elimination procedure. The proof, which has been formalised in the Coq proof assistant, easily extends to the case of the absurdity connective us
书法
发表于 2025-3-31 16:51:26
http://reply.papertrans.cn/59/5881/588047/588047_58.png
悦耳
发表于 2025-3-31 21:35:53
http://reply.papertrans.cn/59/5881/588047/588047_59.png
goodwill
发表于 2025-4-1 01:34:28
Conference proceedings 2009; broad notions of proof and belief; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection..