On the public citation graph

Intuitionistic basis for non-monotonic logic

0 signed · 45 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.

Claim with ORCID

Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.

See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/978-94-010-1453-3openalex-snapshot

Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics

inferredcites →https://doi.org/10.1007/978-94-017-2977-2openalex-snapshot

Semantical Investigations in Heyting’s Intuitionistic Logic

inferredcites →https://doi.org/10.1016/0004-3702(80)90011-9openalex-snapshot

Circumscription—A form of non-monotonic reasoning

inferredcites →https://doi.org/10.1016/0004-3702(80)90012-0openalex-snapshot

Non-monotonic logic I

inferredcites →https://doi.org/10.1016/0004-3702(80)90014-4openalex-snapshot

A logic for default reasoning

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/int.10139openalex-snapshot

Formal semantics of meta-level architectures: Temporal epistemic reflection

inferred← citeshttps://doi.org/10.1007/11408017_7openalex-snapshot

Assertions, Conditionals, and Defaults

inferred← citeshttps://doi.org/10.1007/3-540-54712-6_214openalex-snapshot

Some notes on cumulative reasoning

inferred← citeshttps://doi.org/10.1007/3-540-55092-5_31openalex-snapshot

Formal specification of fault tolerant real time systems using minimal 3-sorted modal logic

inferred← citeshttps://doi.org/10.1007/3-540-58792-6_21openalex-snapshot

Formal semantics of temporal epistemic reflection

inferred← citeshttps://doi.org/10.1007/3-540-59487-6_27openalex-snapshot

Nonmonotonicity and answer set inference

inferred← citeshttps://doi.org/10.1007/978-1-4612-4984-9_10openalex-snapshot

Applied Logic

inferred← citeshttps://doi.org/10.1007/978-3-030-29436-6_10openalex-snapshot

A Tableaux Calculus for Default Intuitionistic Logic

inferred← citeshttps://doi.org/10.1007/978-3-642-82453-1_15openalex-snapshot

Theoretical Foundations for Non-Monotonic Reasoning in Expert Systems

inferred← citeshttps://doi.org/10.1007/978-94-009-2699-8_10openalex-snapshot

When is Reasoning Nonmonotonic?

inferred← citeshttps://doi.org/10.1007/978-94-011-4574-9_2openalex-snapshot

Research Themes of Dov Gabbay

inferred← citeshttps://doi.org/10.1007/978-94-011-5638-7_1openalex-snapshot

Recent Issues in Logic, Language and Computation

inferred← citeshttps://doi.org/10.1007/978-94-017-0458-8_5openalex-snapshot

Partial Logic

inferred← citeshttps://doi.org/10.1007/bf01053021openalex-snapshot

A uniform tableau method for intuitionistic modal logics I

inferred← citeshttps://doi.org/10.1007/bf01099201openalex-snapshot

Plausible inferences and plausible reasoning

inferred← citeshttps://doi.org/10.1007/bfb0021979openalex-snapshot

Temporal theories of reasoning

inferred← citeshttps://doi.org/10.1007/bfb0028187openalex-snapshot

A temporal model theory for default logic

inferred← citeshttps://doi.org/10.1007/bfb0035969openalex-snapshot

Implication connectives for logics with right weakening

inferred← citeshttps://doi.org/10.1007/s11225-023-10067-0openalex-snapshot

Combining Intuitionistic and Classical Propositional Logic: Gentzenization and Craig Interpolation

inferred← citeshttps://doi.org/10.1007/s11225-025-10210-zopenalex-snapshot

Cut-free Sequent Calculi for Wansing’s Expansions of Nelson’s Logics

inferred← citeshttps://doi.org/10.1016/0020-0255(92)90073-hopenalex-snapshot

An explication of reasoning in multiple inheritance systems through non-monotonic horn clause logic

inferred← citeshttps://doi.org/10.1016/0950-7051(94)90021-3openalex-snapshot

Multi-agent conflict resolution: a computational framework for an intelligent argumentation program

inferred← citeshttps://doi.org/10.1017/s0269888900004586openalex-snapshot

Default non-monotonic logic

inferred← citeshttps://doi.org/10.1023/a:1004999417699openalex-snapshot

Intuitionistic Autoepistemic Logic

inferred← citeshttps://doi.org/10.1023/a:1008243611454openalex-snapshot

An Interpretation of Default Logic in Minimal Temporal Epistemic Logic

inferred← citeshttps://doi.org/10.1080/11663081.1995.10510845openalex-snapshot

Temporal theories of reasoning

inferred← citeshttps://doi.org/10.1080/11663081.1995.10510858openalex-snapshot

Temporal theories of reasoning

inferred← citeshttps://doi.org/10.1093/logcom/exad020openalex-snapshot

Nonmonotonic inferences: Classical conclusions in an intuitionistic modal framework

inferred← citeshttps://doi.org/10.1109/time.1996.555699openalex-snapshot

Nonmonotonic reasoning on a constructive time structure

inferred← citeshttps://doi.org/10.1145/115234.115350openalex-snapshot

Nonmonotonic default modal logics

inferred← citeshttps://doi.org/10.1184/r1/6609674openalex-snapshot

Some theories of reasoned assumptions : an essay in rational psychology

inferred← citeshttps://doi.org/10.1305/ndjfl/1040308828openalex-snapshot

Semantics-based Nonmonotonic Inference

inferred← citeshttps://doi.org/10.1305/ndjfl/1040308832openalex-snapshot

Partial Up and Down Logic

inferred← citeshttps://doi.org/10.17771/pucrio.acad.65956openalex-snapshot

LAW AND ORDER(ING): PROVIDING A NATURAL DEDUCTION SYSTEM AND NON-MONOTONIC REASONING TO AN INTUITIONISTIC DESCRIPTION LOGIC

inferred← citeshttps://doi.org/10.18778/0138-0680.2024.14openalex-snapshot

Exploring the Definition of Non-Monotonicity – Logical and Psychological Considerations

inferred← citeshttps://doi.org/10.2307/2275004openalex-snapshot

European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988

inferred← citeshttps://doi.org/10.2307/2275363openalex-snapshot

Nonmonotonic consequence based on intuitionistic logic

inferred← citeshttps://doi.org/10.2307/2586798openalex-snapshot

Displaying the modal logic of consistency

inferred← citeshttps://doi.org/10.3182/20130619-3-ru-3018.00643openalex-snapshot

Intelligent Control of Industrial Processes

inferred← citeshttps://doi.org/10.70675/e30888e1za10cz4e58z9812z4826cb8de462openalex-snapshot

Modélisation du comportement humain dans les simulations de combat naval

Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.