deontic logicsequent calculilogic of questionscontrary-to-dutiesdisplay calculiproof theory of modal logic
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)
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
Cited in
(65)- SUBSTRUCTURAL INQUISITIVE LOGICS
- Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support
- An inconsistency-adaptive deontic logic for normative conflicts
- A relevant logic of questions
- Three dual ontologies
- Handbook of philosophical logic. Vol. 4.
- Temporal alethic dyadic deontic logic and the contrary-to-duty obligation paradox
- A semantics for hyperintensional belief revision based on information bases
- INTUITIONISTIC EPISTEMIC LOGIC
- 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
- FRACTIONAL-VALUED MODAL LOGIC
- Living up to one's commitments: Agency, strategies and trust
- 2006 Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '06
- An analytic calculus for the intuitionistic logic of proofs
- Relation algebra reducts of cylindric algebras and an application to proof theory
- A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics
- Why classical logic is privileged: justification of logics based on translatability
- Variants of multi-relational semantics for propositional non-normal modal logics
- Handbook of philosophical logic. Vol. 14
- Generalized entailments
- Handbook of philosophical logic. Vol. 6
- PLURALISM IN LOGIC
- Extendability and paradox
- Realism, Antirealism, and Paraconsistency
- The method of Socratic proofs meets correspondence analysis
- 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
- Semantics of structured normal logic programs
- Falsification-aware calculi and semantics for normal modal logics including S4 and S5
- Completeness of Åqvist's systems \(\mathbf E\) and \(\mathbf F\)
- 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
- 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
- Handbook of deontic logic and normative systems. Volume 2
- Counterfactual assumptions and counterfactual implications
- Dyadic deontic logic in HOL: faithful embedding and meta-theoretical experiments
- Trust and Norms in the Context of Computer Security: A Logical Formalization
- The relevant fragment of first order logic
- The categorical imperative: category theory as a foundation for deontic logic
- Calculizing classical inferential erotetic logic
- The logic of ``must and ``have to
- Time and actual obligations
- A deontic logic framework allowing for factual detachment
- Enabling reasoning with LegalRuleML
- Atomic ontology
- Sequent Calculi for Orthologic with Strict Implication
- Cut elimination in coalgebraic logics
- Agency, Norms, Inquiry, and Artifacts: Essays in Honor of Risto Hilpinen
- 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
- Normalisation for some infectious logics and their relatives
- 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
- 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)
