Titlebook: Logic, Rationality, and Interaction; 9th International Wo Natasha Alechina,Andreas Herzig,Fei Liang Conference proceedings 2023 The Editor(

詼諧

無(wú)力更進(jìn)

Arrhythmia

bioavailability

Epistemic Monadic Boolean Algebras,c fragment of first-order epistemic logic is introduced for talking about knowing things. A Halmos-style representation of epistemic monadic Boolean algebras is established. Relativizations of epistemic monadic algebras are given for modelling updates. These logics are semantically complete.

Indelible

半球

,Metaphor Comprehension in?Situations,ntial. From the view of cognitive metaphor studies, the focus of metaphor formalization is no longer to describe the substitution of metaphorical meaning for literal meaning, but to consider the cognitive frames of concepts in conventional situations and the selection of information in specific cont

contrast-medium

,A Temporal Logic for?Successive Events,ear temporal logic with a new modality to capture the case that a sequence of events successively occurs. We compared the expressivity between this extended linear temporal logic and the standard linear temporal logic.

GLIB

,Non-labelled Sequent Calculi of?Public Announcement Expansions of?, and?,cursion axioms of PAL into left and right rules for the sequent calculi. For ., the cut elimination theorem is shown using the complexity measure introduced by van Ditmarsch et al. (2007). This measure was originally employed to establish semantic completeness via recursion axioms. While the cut eli

CHOIR

Proponent

,Belief Base: A Minimal Logic of?Fine-Grained Information Dynamics,elief, implicit belief, awareness of and awareness that, where awareness of agents is not treated as a tacit premise. A sound and complete axiomatization of static logic is established, upon which a series of dynamic operations are defined. It is argued that these dynamics adapt different scenarios.