精美食品
发表于 2025-3-23 11:01:41
Term-Sequence-Modal Logics,yle axiomatizations (without Barcan-like axioms) for the logics and establish the strong completeness results for some of the logics. We also propose sequent calculi for the logics and show cut elimination theorems and Craig interpolation theorems for some of the calculi.
认为
发表于 2025-3-23 14:01:35
http://reply.papertrans.cn/59/5881/588080/588080_12.png
CARE
发表于 2025-3-23 21:21:00
http://reply.papertrans.cn/59/5881/588080/588080_13.png
丛林
发表于 2025-3-23 22:20:16
A Discrete Representation of Lattice Frames,a discrete (i.e. topology free) duality for bounded general lattices. We also show that doubly ordered frames are definable neither in a logic endowed with only a possibility operator nor a logic with only a sufficiency operator, but in a logic based on mixed algebras with both a possibility and a sufficiency operator.
Visual-Acuity
发表于 2025-3-24 05:59:00
Multi-agent Knowing How via Multi-step Plans: A Dynamic Epistemic Planning Based Approach,mic epistemic planning studied in the literature. We obtain a sound and complete axiomatization and show that the logic is decidable, although the corresponding multi-agent epistemic planning problem is undecidable.
HUMID
发表于 2025-3-24 07:02:06
http://reply.papertrans.cn/59/5881/588080/588080_16.png
革新
发表于 2025-3-24 13:58:10
0302-9743submissions. They focus on the following topics: agency; argumentation and agreement; belief revision and belief merging; belief representation; cooperation; decision making and planning; natural language; philosophy and philosophical logic; and strategic reasoning. .978-3-662-60291-1978-3-662-60292-8Series ISSN 0302-9743 Series E-ISSN 1611-3349
Melodrama
发表于 2025-3-24 18:01:04
https://doi.org/10.1007/978-3-662-60292-8agents; argumentation; artificial intelligence; belief representation; Epistemic logic; formal logic; game
辩论
发表于 2025-3-24 20:11:20
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/l/image/588080.jpg
大方不好
发表于 2025-3-25 00:06:11
978-3-662-60291-1Springer-Verlag GmbH Germany, part of Springer Nature 2019