Handbook of philosophical logic. Vol. 8

zbMATH Open1055.03002MaRDI QIDQ703304FDOQ703304

Authors:

Publication date: 11 January 2005

Published in: Handbook of Philosophical Logic (Search for Journal in Brave)

Recommendations

• Handbook of philosophical logic. Vol. 18
• Handbook of philosophical logic. Vol. 14
• Handbook of philosophical logic. Vol. 7
• Handbook of philosophical logic. Vol. 1.
• Handbook of philosophical logic. Vol. 9
• Handbook of philosophical logic. Vol. 10
• Handbook of philosophical logic. Vol. 2.
• Handbook of philosophical logic. Vol. 5
• Handbook of philosophical logic. Vol. I: Elements of classical logic
• Handbook of philosophical logic. Vol. 6

zbMATH Keywords

deontic logicsequent calculilogic of questionscontrary-to-dutiesdisplay calculiproof theory of modal logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Knowledge representation (68T30) Philosophical and critical aspects of logic and foundations (03A05) Modal logic (including the logic of norms) (03B45) Logic of natural languages (03B65) Proof theory and constructive mathematics (03F99) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to mathematical logic and foundations (03-00)

Cited In (65)

• Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support
• An inconsistency-adaptive deontic logic for normative conflicts
• Handbook of philosophical logic. Vol. 4.
• A relevant logic of questions
• Three dual ontologies
• Temporal alethic dyadic deontic logic and the contrary-to-duty obligation paradox
• INTUITIONISTIC EPISTEMIC LOGIC
• A semantics for hyperintensional belief revision based on information bases
• On Blass translation for Leśniewski's propositional ontology and modal logics
• Modal extension of ideal paraconsistent four-valued logic and its subsystem
• Paradox, truth and logic. I. Paradox and truth
• Living up to one's commitments: Agency, strategies and trust
• Relation algebra reducts of cylindric algebras and an application to proof theory
• An analytic calculus for the intuitionistic logic of proofs
• A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics
• Variants of multi-relational semantics for propositional non-normal modal logics
• Generalized entailments
• Handbook of philosophical logic. Vol. 14
• Extendability and paradox
• PLURALISM IN LOGIC
• The method of Socratic proofs meets correspondence analysis
• Handbook of philosophical logic. Vol. 6
• Realism, Antirealism, and Paraconsistency
• On the Strong Completeness of Åqvist’s Dyadic Deontic Logic G
• The class of all natural implicative expansions of Kleene's strong logic functionally equivalent to Łukasiewicz's 3-valued logic Ł3
• Completeness of Åqvist's systems \(\mathbf E\) and \(\mathbf F\)
• Semantics of structured normal logic programs
• Pooling modalities and pointwise intersection: semantics, expressivity, and dynamics
• An axiomatic account of question evocation: the propositional case
• Handbook of philosophical logic. Vol. 18
• Epistemic formulae, argument structures, and a narrative on identity and deception: a formal representation from the AJIT subproject within AURANGZEB
• Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus
• Weighted modal logic in epistemic and deontic contexts
• Handbook of deontic logic and normative systems. Volume 2
• Combinations of tense and deontic modality: On the \(R_{t}\) approach to temporal logic with historical necessity and conditional obligation
• A simple logic of functional dependence
• Trust and Norms in the Context of Computer Security: A Logical Formalization
• Calculizing classical inferential erotetic logic
• The relevant fragment of first order logic
• The categorical imperative: category theory as a foundation for deontic logic
• Enabling reasoning with LegalRuleML
• Sequent Calculi for Orthologic with Strict Implication
• Atomic ontology
• A deontic logic framework allowing for factual detachment
• Cut elimination in coalgebraic logics
• The Birth of quantum logic
• A Temporal Logic of Normative Systems
• Absolute contradiction, dialetheism, and revenge
• Sequent Calculi for Varieties of Topological Quasi-Boolean Algebras
• An introduction to the special issue on question processing
• Handbook of philosophical logic. Vol. 10
• A conflict between some semantic conditions of Carmo and Jones for contrary-to-duty obligations
• A non-classical logical approach to social software
• SUBSTRUCTURAL INQUISITIVE LOGICS
• FRACTIONAL-VALUED MODAL LOGIC
• 2006 Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '06
• Why classical logic is privileged: justification of logics based on translatability
• Falsification-aware calculi and semantics for normal modal logics including S4 and S5
• Counterfactual assumptions and counterfactual implications
• Dyadic deontic logic in HOL: faithful embedding and meta-theoretical experiments
• The logic of ``must and ``have to
• Time and actual obligations
• Agency, Norms, Inquiry, and Artifacts: Essays in Honor of Risto Hilpinen
• Normalisation for some infectious logics and their relatives
• Analytic Non-Labelled Proof-Systems for Hybrid Logic: Overview and a couple of striking facts

This page was built for publication: Handbook of philosophical logic. Vol. 8

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q703304)