The following pages link to Logic Journal of the IGPL (Q3061274):
Displayed 50 items.
- Time-stamped claim logic (Q5020357) (← links)
- A note on the system <i>GRW</i> with the intensional contraction rule (Q5020358) (← links)
- Boolean negation and non-conservativity I: Relevant modal logics (Q5020359) (← links)
- Boolean negation and non-conservativity II: The variable-sharing property (Q5020360) (← links)
- Boolean negation and non-conservativity III: the Ackermann constant (Q5020361) (← links)
- 26th Workshop on Logic, Language, Information and Computation(WoLLIC 2019) (Q5020362) (← links)
- Nelson’s logic 𝒮 (Q5022331) (← links)
- Sample logic (Q5046718) (← links)
- Type Theory with Opposite Types: A Paraconsistent Type Theory (Q5046719) (← links)
- Fragments of Quasi-Nelson: The Algebraizable Core (Q5046720) (← links)
- Algebraic Properties of Paraorthomodular Posets (Q5046721) (← links)
- Logics of Ignorance and Being Wrong (Q5046722) (← links)
- The Algebra of Non-deterministic Programs: Demonic Operations, Orders and Axioms (Q5046723) (← links)
- Saturated models of first-order many-valued logics (Q5066796) (← links)
- A remark on functional completeness of binary expansions of Kleene’s strong 3-valued logic (Q5066797) (← links)
- Lyndon’s interpolation property for the logic of strict implication (Q5066799) (← links)
- ‘Sometime a paradox’, now proof: Yablo is not first order (Q5066800) (← links)
- Logics of (In)sane and (Un)reliable Beliefs (Q5066801) (← links)
- Extensions in graph normal form (Q5066802) (← links)
- An infinitary axiomatization of dynamic topological logic (Q5066804) (← links)
- The logic of orthomodular posets of finite height (Q5066805) (← links)
- Frame-validity Games and Lower Bounds on the Complexity of Modal Axioms (Q5066806) (← links)
- On bivalent semantics and natural deduction for some infectious logics (Q5066807) (← links)
- Logical foundations: Personal perspective (Q5071026) (← links)
- Editorial: Special issue HAIS17-IGPL (Q5082319) (← links)
- Analysing knowledge transfer in SHADE via complex network (Q5082320) (← links)
- An alternative view for incorporating more scaled differences to differential evolution (Q5082321) (← links)
- A proof-search system for the logic of likelihood (Q5082322) (← links)
- Modal logic with non-deterministic semantics: Part I—Propositional case (Q5082324) (← links)
- Dually hemimorphic semi-Nelson algebras (Q5082325) (← links)
- The perfect surprise: a new analysis in dynamic epistemic logic (Q5082326) (← links)
- The logic of imaginary scenarios (Q5082329) (← links)
- A restricted second-order logic for non-deterministic poly-logarithmic time (Q5082331) (← links)
- A proof-search system for the logic of likelihood (Q5082332) (← links)
- Editorial: Special issue SOCO-CISIS 2017-IGPL (Q5082333) (← links)
- Recovering Decimation-Based Cryptographic Sequences by Means of Linear CAs (Q5082334) (← links)
- Editorial (Q5082335) (← links)
- Between sentential and model-based abductions: a dialogical approach (Q5082336) (← links)
- Abduction and diagrams (Q5082337) (← links)
- Transepistemic abduction: reasoning across epistemic domains (Q5082338) (← links)
- Minimal abductive solutions with explicit justification (Q5082340) (← links)
- BDI logic applied to a dialogical interpretation of human–machine cooperative dialogues (Q5082342) (← links)
- Knowledge in action: logico-philosophical approach to linguistic evidentiality (Q5082343) (← links)
- On epistemic and ontological interpretations of intuitionistic and paraconsistent paradigms (Q5082344) (← links)
- Pragmatic logics for hypotheses and evidence (Q5082345) (← links)
- Awareness of and awareness that: their combination and dynamics (Q5082346) (← links)
- Probability as a modal operator: the possibilities of its combination with other modalities (Q5082347) (← links)
- A Semantic Approach to Non-prioritized Belief Revision (Q5082348) (← links)
- Argument evaluation in multi-agent justification logics (Q5082349) (← links)
- Representing <i>n</i>-ary relations in the Semantic Web (Q5082351) (← links)