Handbook of philosophical logic. Vol. 8

No author found.

Publication date: 11 January 2005

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

deontic logic sequent calculi logic of questions contrary-to-duties display calculi proof theory of modal logic

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

Related Items

A relevant logic of questions ⋮ Relation algebra reducts of cylindric algebras and an application to proof theory ⋮ An inconsistency-adaptive deontic logic for normative conflicts ⋮ A semantics for hyperintensional belief revision based on information bases ⋮ Pooling modalities and pointwise intersection: semantics, expressivity, and dynamics ⋮ Realism, Antirealism, and Paraconsistency ⋮ Weighted modal logic in epistemic and deontic contexts ⋮ The Birth of quantum logic ⋮ An Introduction to the Special Issue on Question Processing ⋮ Generalized Entailments ⋮ ABSOLUTE CONTRADICTION, DIALETHEISM, AND REVENGE ⋮ Variants of multi-relational semantics for propositional non-normal modal logics ⋮ Cut elimination in coalgebraic logics ⋮ An axiomatic account of question evocation: the propositional case ⋮ Sequent Calculi for Varieties of Topological Quasi-Boolean Algebras ⋮ Analytic Non-Labelled Proof-Systems for Hybrid Logic: Overview and a couple of striking facts ⋮ FRACTIONAL-VALUED MODAL LOGIC ⋮ Sequent Calculi for Orthologic with Strict Implication ⋮ Falsification-aware calculi and semantics for normal modal logics including S4 and S5 ⋮ Why classical logic is privileged: justification of logics based on translatability ⋮ Trust and Norms in the Context of Computer Security: A Logical Formalization ⋮ On the Strong Completeness of Åqvist’s Dyadic Deontic Logic G ⋮ Semantics of structured normal logic programs ⋮ The class of all natural implicative expansions of Kleene's strong logic functionally equivalent to Łukasiewicz's 3-valued logic Ł3 ⋮ Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support ⋮ SUBSTRUCTURAL INQUISITIVE LOGICS ⋮ The categorical imperative: category theory as a foundation for deontic logic ⋮ Living up to one's commitments: Agency, strategies and trust ⋮ A Non-classical Logical Approach to Social Software ⋮ A simple logic of functional dependence ⋮ A conflict between some semantic conditions of Carmo and Jones for contrary-to-duty obligations ⋮ Modal extension of ideal paraconsistent four-valued logic and its subsystem ⋮ 2006 Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '06 ⋮ A deontic logic framework allowing for factual detachment ⋮ INTUITIONISTIC EPISTEMIC LOGIC ⋮ A Temporal Logic of Normative Systems ⋮ Temporal Alethic Dyadic Deontic Logic and the Contrary-to-Duty Obligation Paradox ⋮ Enabling reasoning with LegalRuleML ⋮ Epistemic formulae, argument structures, and a narrative on identity and deception: a formal representation from the AJIT subproject within AURANGZEB ⋮ THE RELEVANT FRAGMENT OF FIRST ORDER LOGIC ⋮ Extendability and Paradox ⋮ A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics ⋮ Atomic ontology ⋮ PLURALISM IN LOGIC ⋮ The Method of Socratic Proofs Meets Correspondence Analysis ⋮ An analytic calculus for the intuitionistic logic of proofs ⋮ COMPLETENESS OF ÅQVIST’S SYSTEMS E AND F ⋮ Combinations of tense and deontic modality: On the \(R_{t}\) approach to temporal logic with historical necessity and conditional obligation ⋮ Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus ⋮ Paradox, truth and logic. I. Paradox and truth ⋮ Three dual ontologies ⋮ On Blass translation for Leśniewski's propositional ontology and modal logics ⋮ CALCULIZING CLASSICAL INFERENTIAL EROTETIC LOGIC