Pages that link to "Item:Q703304"
From MaRDI portal
The following pages link to Handbook of philosophical logic. Vol. 8 (Q703304):
Displaying 50 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)
- Trust and Norms in the Context of Computer Security: A Logical Formalization (Q3522042) (← links)
- On the Strong Completeness of Åqvist’s Dyadic Deontic Logic G (Q3522050) (← links)
- A Temporal Logic of Normative Systems (Q3600564) (← links)
- Relation algebra reducts of cylindric algebras and an application to proof theory (Q4532609) (← links)
- An Introduction to the Special Issue on Question Processing (Q4568328) (← links)
- Generalized Entailments (Q4568330) (← links)
- Variants of multi-relational semantics for propositional non-normal modal logics (Q4583357) (← links)
- Temporal Alethic Dyadic Deontic Logic and the Contrary-to-Duty Obligation Paradox (Q4683215) (← links)
- CALCULIZING CLASSICAL INFERENTIAL EROTETIC LOGIC (Q5027673) (← links)
- Enabling reasoning with LegalRuleML (Q5197743) (← links)
- Extendability and Paradox (Q5214675) (← links)
- The Method of Socratic Proofs Meets Correspondence Analysis (Q5241406) (← links)
- COMPLETENESS OF ÅQVIST’S SYSTEMS <b>E</b> AND <b>F</b> (Q5247347) (← links)
- The Birth of quantum logic (Q5308988) (← links)
- SUBSTRUCTURAL INQUISITIVE LOGICS (Q5381041) (← links)
- 2006 Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '06 (Q5421032) (← links)
- INTUITIONISTIC EPISTEMIC LOGIC (Q5741614) (← 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)
