Results 21 to 30 of about 6,233 (257)

A modal-Hamiltonian interpretation of quantum mechanics [PDF]

, 2008
The aim of this paper is to introduce a new member of the family of the modal interpretations of quantum mechanics. In this modal-Hamiltonian interpretation, the Hamiltonian of the quantum system plays a decisive role in the property-ascription rule that
Castagnino, Mario, Lombardi, Olimpia, Olimpia Lombardi, Mario Castagnino   +3 more
core   +1 more source

Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity [PDF]

Journal of Logic and Computation, 2020
AbstractWe present some hypersequent calculi for all systems of the classical cube and their extensions with axioms ${T}$, ${P}$ and ${D}$ and for every $n \geq 1$, rule ${RD}_n^+$. The calculi are internal as they only employ the language of the logic, plus additional structural connectives.
Tiziano Dalmonte, Björn Lellmann, Nicola Olivetti, Elaine Pimentel   +3 more
openaire   +3 more sources

Free Choice in Modal Inquisitive Logic

, 2023
This paper investigates inquisitive extensions of normal modal logic with an existential modal operator taken as primitive. The semantics of the existential modality is generalized to apply to questions, as well as statements.
Nygren, Karl,
core   +1 more source

Logical Omniscience as a Conditionality Issue. A Multi-Modal Approach

Crítica
Many solutions to the problem of Logical Omniscience assume that this arises from the behavior of the epistemic operators. However, few proposals have criticized the assumption that material implication accurately accounts for conditionality. This paper
Juan Carlos Sánchez Hernández
doaj   +1 more source

Uniting Normal and Non-Normal Modal Logics by One Axiomatic System of Philosophical Epistemology

Дискурс Пи, 2017
For the first time in analytic philosophy the universal theory of knowledge is precisely formulated and defined as an axiomatic system ?. For formulating it four axiom schemes are used.
V.O. Lobovikov
doaj   +1 more source

Uniform Lyndon Interpolation for Basic Non-normal Modal Logics

, 2021
In this paper, a proof-theoretic method to prove uniform Lyndon interpolation for non-normal modal logics is introduced and applied to show that the logics E, M, MC, EN, MN have that property. In particular, these logics have uniform interpolation. Although for some of them the latter is known, the fact that they have uniform Lyndon interpolation is ...
Amirhossein Akbar Tabatabai, Rosalie Iemhoff, Raheleh Jalali   +2 more
openaire   +2 more sources

Modal Logics are Coalgebraic

, 2008
Applications of modal logics are abundant in computer science, and a large number of structurally different modal logics have been successfully employed in a diverse spectrum of application contexts.
Yde Venema, Schröder, Lutz, Dirk Pattinson, Cirstea, Corina, Lutz Werner Schröder, Kurz, Alexander, Venema, Y., Corina Cirstea, Pattinson, D., Pattinson, Dirk, Kurz, A., Schröder, L., Venema, Yde, Cirstea, C., Alexander Kurz   +14 more
core   +1 more source

CARNAP’S PROBLEM FOR MODAL LOGIC

, 2023
We take Carnap's problem to be to what extent standard consequence relations in various formal languages fix the meaning of their logical vocabulary, alone or together with additional constraints on the form of the semantics.
DENIS BONNAY, Westerståhl, Dag,, DAG WESTERSTÅHL, Bonnay, Denis   +3 more
core   +1 more source

Semantic Incompleteness of Liberman et al. (2020)’s Hilbert-style Systems for Term-modal Logics with Equality and Non-rigid Terms

Bulletin of the Section of Logic
In this paper, we prove the semantic incompleteness of some expansions of the Hilbert-style system for the minimal normal term-modal logic with equality and non-rigid terms that were proposed in Liberman et al.
Takahiro Sawasaki
doaj   +1 more source

Permission-based separation logic for message-passing concurrency [PDF]

, 2010
We develop local reasoning techniques for message passing concurrent programs based on ideas from separation logics and resource usage analysis. We extend processes with permission-resources and define a reduction semantics for this extended language ...
Julian Rathke, Francalanza, Adrian, Julian Rathke B, Rathke, Julian, Adrian Francalanza A, Vladimiro Sassone, Sassone, Vladimiro, Vladimiro Sassone C, Adrian Francalanza   +8 more
core   +1 more source