scientific article; zbMATH DE number 6283596
From MaRDI portal
Publication:5409126
zbMath1284.03002MaRDI QIDQ5409126
Publication date: 14 April 2014
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)
Related Items (16)
Logic reduced to bare (proof-theoretical) bones ⋮ Proof-theory and semantics for a theory of definite descriptions ⋮ The reversibility objection against the second law of thermodynamics viewed, and avoided, from a logical point of view ⋮ Counterparts, Essences and Quantified Modal Logic ⋮ Varieties of Relevant S5 ⋮ Compositionality solves Carnap's problem ⋮ Proof theory for functional modal logic ⋮ Modal interpolation via nested sequents ⋮ Tracing the early history of algebra: testimonies on Diophantus in the Greek-speaking world (4th--7th century CE) ⋮ Translations between Gentzen-Prawitz and Jaśkowski-Fitch natural deduction proofs ⋮ Explicating logical independence ⋮ Classical harmony and separability ⋮ Definite Descriptions in Intuitionist Positive Free Logic ⋮ On the modal interpretation of the connective of realisation ⋮ The co-occurrence test for non-monotonic inference ⋮ A binary quantifier for definite descriptions for cut free free logics
This page was built for publication:
