Pages that link to "Item:Q703304"

The following pages link to Handbook of philosophical logic. Vol. 8 (Q703304):

Displaying 34 items.

• Semantics of structured normal logic programs (Q444364) (← links)
• The categorical imperative: category theory as a foundation for deontic logic (Q472796) (← links)
• A conflict between some semantic conditions of Carmo and Jones for contrary-to-duty obligations (Q519858) (← links)
• A deontic logic framework allowing for factual detachment (Q545154) (← links)
• Cut elimination in coalgebraic logics (Q618171) (← links)
• Epistemic formulae, argument structures, and a narrative on identity and deception: a formal representation from the AJIT subproject within AURANGZEB (Q735240) (← links)
• Paradox, truth and logic. I. Paradox and truth (Q798312) (← links)
• A relevant logic of questions (Q829829) (← links)
• Living up to one's commitments: Agency, strategies and trust (Q931781) (← links)
• Three dual ontologies (Q1868336) (← links)
• Modal extension of ideal paraconsistent four-valued logic and its subsystem (Q2004955) (← links)
• Atomic ontology (Q2054007) (← links)
• On Blass translation for Leśniewski's propositional ontology and modal logics (Q2115291) (← links)
• A semantics for hyperintensional belief revision based on information bases (Q2144184) (← links)
• Pooling modalities and pointwise intersection: semantics, expressivity, and dynamics (Q2144204) (← links)
• Weighted modal logic in epistemic and deontic contexts (Q2148817) (← links)
• The class of all natural implicative expansions of Kleene's strong logic functionally equivalent to Łukasiewicz's 3-valued logic Ł3 (Q2209169) (← links)
• Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support (Q2211865) (← links)
• A simple logic of functional dependence (Q2240545) (← links)
• An analytic calculus for the intuitionistic logic of proofs (Q2330501) (← links)
• Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus (Q2334111) (← links)
• An inconsistency-adaptive deontic logic for normative conflicts (Q2377190) (← links)
• An axiomatic account of question evocation: the propositional case (Q2422531) (← links)
• Combinations of tense and deontic modality: On the \(R_{t}\) approach to temporal logic with historical necessity and conditional obligation (Q2568340) (← links)
• THE RELEVANT FRAGMENT OF FIRST ORDER LOGIC (Q2804477) (← links)
• A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics (Q2813672) (← links)
• Realism, Antirealism, and Paraconsistency (Q2908763) (← links)
• ABSOLUTE CONTRADICTION, DIALETHEISM, AND REVENGE (Q2940871) (← links)
• A Non-classical Logical Approach to Social Software (Q3299837) (← links)
• PLURALISM IN LOGIC (Q3395330) (← links)
• 2006 Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '06 (Q5421032) (← links)
• FRACTIONAL-VALUED MODAL LOGIC (Q6148465) (← links)
• Falsification-aware calculi and semantics for normal modal logics including S4 and S5 (Q6169323) (← links)
• Why classical logic is privileged: justification of logics based on translatability (Q6180141) (← links)