On the public citation graph

Two-dimensional modal logic

0 signed · 274 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/bf02115609openalex-snapshot

Modal logic with subjunctive conditionals and dispositional predicates

inferredcites →https://doi.org/10.1111/j.1755-2567.1967.tb00609.xopenalex-snapshot

On the Logic of “To‐morrow”1

inferredcites →https://doi.org/10.1111/j.1755-2567.1971.tb00071.xopenalex-snapshot

To the memory of Arthur Prior Formal properties of ‘now’

inferredcites →https://doi.org/10.1163/9789004252882_004openalex-snapshot

Formal Properties of ‘Now’

inferredcites →https://doi.org/10.2307/2214320openalex-snapshot

Anselm and Actuality

inferredcites →https://doi.org/10.2307/2214699openalex-snapshot

"Now"

What points at this work

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

inferred← citeshttps://doi.org/10.1002/0470018860.s00142openalex-snapshot

Philosophy of Linguistics

inferred← citeshttps://doi.org/10.1002/9780470758335.ch5openalex-snapshot

Assertion

inferred← citeshttps://doi.org/10.1002/9781118972090.ch36openalex-snapshot

Names and Rigid Designation

inferred← citeshttps://doi.org/10.1002/9781118972090.ch37openalex-snapshot

Two‐Dimensional Semantics

inferred← citeshttps://doi.org/10.1002/malq.19740203003openalex-snapshot

Contributions to the Model Theory for Non‐Classical Logics

inferred← citeshttps://doi.org/10.1007/11559306_1openalex-snapshot

A Comprehensive Framework for Combined Decision Procedures

inferred← citeshttps://doi.org/10.1007/3-540-68804-8_7openalex-snapshot

Local Variations on a Loose Theme: Modal Logic and Decidability

inferred← citeshttps://doi.org/10.1007/978-1-4020-4108-2_9openalex-snapshot

Backwards-Looking Operators in Tense Logic and in Natural Language

inferred← citeshttps://doi.org/10.1007/978-1-4020-5587-4_3openalex-snapshot

Axioms, Algebras and Topology

inferred← citeshttps://doi.org/10.1007/978-1-4020-5587-4_5openalex-snapshot

Modal Logics of Space

inferred← citeshttps://doi.org/10.1007/978-1-4020-8590-1openalex-snapshot

Modalities and Multimodalities

inferred← citeshttps://doi.org/10.1007/978-1-4020-8590-1_1openalex-snapshot

Modal logic and standard logic

inferred← citeshttps://doi.org/10.1007/978-1-4020-8590-1_2openalex-snapshot

The syntax of normal modal systems

inferred← citeshttps://doi.org/10.1007/978-1-4020-8590-1_3openalex-snapshot

The semantics of normal modal systems

inferred← citeshttps://doi.org/10.1007/978-1-4020-8590-1_4openalex-snapshot

Completeness and canonicity

inferred← citeshttps://doi.org/10.1007/978-1-4020-8590-1_5openalex-snapshot

Incompleteness and finite models

inferred← citeshttps://doi.org/10.1007/978-1-4020-8590-1_6openalex-snapshot

Temporal logics

inferred← citeshttps://doi.org/10.1007/978-1-4020-8590-1_7openalex-snapshot

Epistemic logic: knowledge and belief

inferred← citeshttps://doi.org/10.1007/978-1-4020-8590-1_8openalex-snapshot

Multimodal logics

inferred← citeshttps://doi.org/10.1007/978-1-4020-8590-1_9openalex-snapshot

Towards quantified modal logic

inferred← citeshttps://doi.org/10.1007/978-1-4613-0897-3_24openalex-snapshot

Propositional Dynamic Logic in Two- and More Dimensions

inferred← citeshttps://doi.org/10.1007/978-3-030-34485-6_8openalex-snapshot

Demonstratives in First-Order Logic

inferred← citeshttps://doi.org/10.1007/978-3-031-91361-7_17openalex-snapshot

Modal Products and Around

inferred← citeshttps://doi.org/10.1007/978-3-031-94748-3_2openalex-snapshot

Logics for Dynamic Graph Games

inferred← citeshttps://doi.org/10.1007/978-3-0346-0145-0_29openalex-snapshot

Fibring Logics

inferred← citeshttps://doi.org/10.1007/978-3-319-01014-4_10openalex-snapshot

Referring to ‘What Counts as the Referent’: A View from Linguistics

inferred← citeshttps://doi.org/10.1007/978-3-319-01014-4_11openalex-snapshot

What is Common Ground?

inferred← citeshttps://doi.org/10.1007/978-3-319-06080-4_9openalex-snapshot

On the Essential Flatness of Possible Worlds

inferred← citeshttps://doi.org/10.1007/978-3-319-18362-6_17openalex-snapshot

Necessarily Maybe: Quantifiers, Modality and Vagueness

inferred← citeshttps://doi.org/10.1007/978-3-319-19815-6_1openalex-snapshot

The Notion of Point of View

inferred← citeshttps://doi.org/10.1007/978-3-319-69917-2_12openalex-snapshot

Segerberg Squares of Modal Logics and Theories of Relation Algebras

inferred← citeshttps://doi.org/10.1007/978-3-319-72044-9_4openalex-snapshot

Asymmetric Combination of Logics is Functorial: A Survey

inferred← citeshttps://doi.org/10.1007/978-3-540-25927-5_3openalex-snapshot

Combinations of Tense and Deontic Modality

inferred← citeshttps://doi.org/10.1007/978-3-642-04222-5_17openalex-snapshot

Products of Modal Logics with Diagonal Constant Lacking the Finite Model Property

inferred← citeshttps://doi.org/10.1007/978-3-642-14977-1_6openalex-snapshot

Combining Logics in Simple Type Theory

inferred← citeshttps://doi.org/10.1007/978-3-642-24130-7_6openalex-snapshot

Schematic Validity in Dynamic Epistemic Logic: Decidability

inferred← citeshttps://doi.org/10.1007/978-3-642-35025-2_9openalex-snapshot

Representable Cylindric Algebras and Many-Dimensional Modal Logics

inferred← citeshttps://doi.org/10.1007/978-3-642-36039-8_4openalex-snapshot

A Note on Axiomatisations of Two-Dimensional Modal Logics

inferred← citeshttps://doi.org/10.1007/978-3-662-22110-5_9openalex-snapshot

Two-Dimensional Temporal Logic

inferred← citeshttps://doi.org/10.1007/978-94-009-5414-4_3openalex-snapshot

Adverbs of Space and Time

inferred← citeshttps://doi.org/10.1007/978-94-009-5414-4_4openalex-snapshot

Interval Semantics and Logical Words

inferred← citeshttps://doi.org/10.1007/978-94-009-6499-0_2openalex-snapshot

We are All Children of God

inferred← citeshttps://doi.org/10.1007/978-94-009-9056-2_23openalex-snapshot

Report on Tense Logic

inferred← citeshttps://doi.org/10.1007/978-94-009-9056-2_24openalex-snapshot

Logical Semiotic

inferred← citeshttps://doi.org/10.1007/978-94-009-9775-2_6openalex-snapshot

Adverbs of Space and Time

inferred← citeshttps://doi.org/10.1007/978-94-009-9825-4_18openalex-snapshot

Backwards-Looking Operators in Tense Logic and in Natural Language

inferred← citeshttps://doi.org/10.1007/978-94-010-1453-3_11openalex-snapshot

Two Dimensional Propositional Tense Logics

inferred← citeshttps://doi.org/10.1007/978-94-010-1756-5_3openalex-snapshot

Incomplete Assertion and Belnap Connectives

inferred← citeshttps://doi.org/10.1007/978-94-010-1876-0_24openalex-snapshot

Two-Dimensional Propositional Tense Logics

inferred← citeshttps://doi.org/10.1007/978-94-011-5524-3_9openalex-snapshot

Situations, Truth and Knowability: A Situation-Theoretic Analysis of A Paradox By Fitch

inferred← citeshttps://doi.org/10.1007/978-94-017-0395-6_10openalex-snapshot

Features in Phonological Theory

inferred← citeshttps://doi.org/10.1007/978-94-017-0395-6_19openalex-snapshot

Synchrony and Composition: Toward a Cognitive Architecture between Classicism and Connectionism

inferred← citeshttps://doi.org/10.1007/978-94-017-0454-0_2openalex-snapshot

Advanced Modal Logic

inferred← citeshttps://doi.org/10.1007/978-94-017-1253-8_67openalex-snapshot

Tense Logic

inferred← citeshttps://doi.org/10.1007/978-94-017-2612-2_22openalex-snapshot

Possible Worlds Semantics and the Liar

inferred← citeshttps://doi.org/10.1007/978-981-15-2221-5_7openalex-snapshot

Graph Games and Logic Design

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

A note on the tense logic of dominoes

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

The domino relation: Flattening a two-dimensional logic

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

Two notions of necessity

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

Discrete tense logic with infinitary inference rules and systematic frame constants: A Hilbert-style axiomatization

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

Quantifiers as modal operators

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

Actual truth, possible knowledge

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

The logic of viewpoints

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

Modal logics of domains on the real plane

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

Two-dimensional modal logic

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

Scope and subjunctivity

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

Admissible inference rules for polymodal logicS5 n C

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

Time, logic and computation

inferred← citeshttps://doi.org/10.1007/s00012-002-8203-2openalex-snapshot

Varieties of two-dimensional cylindric algebras.¶Part I: Diagonal-free case

inferred← citeshttps://doi.org/10.1007/s00012-004-1856-2openalex-snapshot

Varieties of two-dimensional cylindric algebras II

inferred← citeshttps://doi.org/10.1007/s10469-005-0024-xopenalex-snapshot

Decidability of the Admissibility Problem for Inference Rules in Some S5t-Logics

inferred← citeshttps://doi.org/10.1007/s10472-011-9249-7openalex-snapshot

Combining and automating classical and non-classical logics in classical higher-order logics

inferred← citeshttps://doi.org/10.1007/s10472-015-9468-4openalex-snapshot

An NP-complete fragment of fibring logic

inferred← citeshttps://doi.org/10.1007/s10670-007-9057-yopenalex-snapshot

Conceivability and Epistemic Possibility

inferred← citeshttps://doi.org/10.1007/s10670-010-9216-4openalex-snapshot

Analyticity and Possible-World Semantics

inferred← citeshttps://doi.org/10.1007/s10670-017-9896-0openalex-snapshot

Actuality, Tableaux, and Two-Dimensional Modal Logics

inferred← citeshttps://doi.org/10.1007/s10670-018-0035-3openalex-snapshot

Propositional Quantification in Bimodal $$\mathbf {S5}$$S5

inferred← citeshttps://doi.org/10.1007/s10992-008-9090-6openalex-snapshot

‘Now’ and ‘Then’ in Tense Logic

inferred← citeshttps://doi.org/10.1007/s10992-009-9122-xopenalex-snapshot

Temporal Reference in Linear Tense Logic

inferred← citeshttps://doi.org/10.1007/s10992-011-9209-zopenalex-snapshot

Predicate Metric Tense Logic for ‘Now’ and ‘Then’

inferred← citeshttps://doi.org/10.1007/s10992-013-9311-5openalex-snapshot

On Possible Worlds with Modal Parts

inferred← citeshttps://doi.org/10.1007/s10992-020-09561-wopenalex-snapshot

Agential Free Choice

inferred← citeshttps://doi.org/10.1007/s11225-004-6044-zopenalex-snapshot

All Normal Extensions of S5-squared Are Finitely Axiomatizable

inferred← citeshttps://doi.org/10.1007/s11225-006-9013-xopenalex-snapshot

Multimo dal Logics of Products of Topologies

inferred← citeshttps://doi.org/10.1007/s11225-015-9647-7openalex-snapshot

The Decision Problem of Modal Product Logics with a Diagonal, and Faulty Counter Machines

inferred← citeshttps://doi.org/10.1007/s11229-010-9866-4openalex-snapshot

Two dimensional Standard Deontic Logic [including a detailed analysis of the 1985 Jones–Pörn deontic logic system]

inferred← citeshttps://doi.org/10.1007/s11229-011-9940-6openalex-snapshot

Prior on an insolubilium of Jean Buridan

inferred← citeshttps://doi.org/10.1007/s11229-013-0260-xopenalex-snapshot

A logic for epistemic two-dimensional semantics

inferred← citeshttps://doi.org/10.1007/s11229-013-0278-0openalex-snapshot

Information dynamics and uniform substitution

inferred← citeshttps://doi.org/10.1007/s11229-013-0365-2openalex-snapshot

On the axiomatizability of some first-order spatio-temporal theories

inferred← citeshttps://doi.org/10.1007/s11229-020-02574-7openalex-snapshot

A two-dimensional logic for diagonalization and the a priori

inferred← citeshttps://doi.org/10.1007/s11229-023-04104-7openalex-snapshot

Completeness theorems for $$\exists \Box $$-bundled fragment of first-order modal logic

inferred← citeshttps://doi.org/10.1007/s11229-023-04274-4openalex-snapshot

Structuralism and informal provability

inferred← citeshttps://doi.org/10.1007/s11229-025-05051-1openalex-snapshot

Beyond minimality: mixed inferences as an anti-collapse problem for standard combination mechanisms

inferred← citeshttps://doi.org/10.1007/s13218-024-00832-1openalex-snapshot

Report on “Axiomatizing Conditional Normative Reasoning”

inferred← citeshttps://doi.org/10.1016/0003-4843(75)90003-0openalex-snapshot

Model theory for tense logics

inferred← citeshttps://doi.org/10.1016/0890-5401(91)90026-xopenalex-snapshot

An essay in combinatory dynamic logic

inferred← citeshttps://doi.org/10.1016/b0-08-044854-2/04469-2openalex-snapshot

Semantic Value

inferred← citeshttps://doi.org/10.1016/b0-08-044854-2/04865-3openalex-snapshot

Two-Dimensional Semantics

inferred← citeshttps://doi.org/10.1016/b978-1-4832-1453-5.50012-xopenalex-snapshot

ACTUAL TRUTH, POSSIBLE KNOWLEDGE

inferred← citeshttps://doi.org/10.1016/j.apal.2006.01.001openalex-snapshot

Non-primitive recursive decidability of products of modal logics with expanding domains

inferred← citeshttps://doi.org/10.1016/j.apal.2020.102786openalex-snapshot

Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations

inferred← citeshttps://doi.org/10.1016/j.jal.2005.04.002openalex-snapshot

Combinations of tense and deontic modality: On the R t approach to temporal logic with historical necessity and conditional obligation

inferred← citeshttps://doi.org/10.1016/j.scico.2016.03.001openalex-snapshot

Proof theory for hybrid(ised) logics

inferred← citeshttps://doi.org/10.1016/s0049-237x(03)80019-8openalex-snapshot

Bibliography

inferred← citeshttps://doi.org/10.1016/s1570-2464(07)80004-8openalex-snapshot

1 Modal logic: a semantic perspective

inferred← citeshttps://doi.org/10.1016/s1570-2464(07)80010-3openalex-snapshot

7 Modal decision problems

inferred← citeshttps://doi.org/10.1016/s1570-2464(07)80012-7openalex-snapshot

9 First-order modal logic

inferred← citeshttps://doi.org/10.1016/s1570-2464(07)80018-8openalex-snapshot

15 Combining modal logics

inferred← citeshttps://doi.org/10.1017/9781316716816.010openalex-snapshot

Two-Dimensional Temporal Logic

inferred← citeshttps://doi.org/10.1017/9781316755822.010openalex-snapshot

Modality, mood, and descriptions

inferred← citeshttps://doi.org/10.1017/9781316779651openalex-snapshot

The Cambridge History of Philosophy, 1945–2015

inferred← citeshttps://doi.org/10.1017/9781316779651.001openalex-snapshot

Preface and Acknowledgments

inferred← citeshttps://doi.org/10.1017/9781316779651.002openalex-snapshot

Introduction

inferred← citeshttps://doi.org/10.1017/9781316779651.004openalex-snapshot

Analytic Philosophy of Language

inferred← citeshttps://doi.org/10.1017/9781316779651.005openalex-snapshot

Analyticity

inferred← citeshttps://doi.org/10.1017/9781316779651.006openalex-snapshot

Philosophy of Linguistics

inferred← citeshttps://doi.org/10.1017/9781316779651.007openalex-snapshot

Varieties of Externalism, Linguistic and Mental

inferred← citeshttps://doi.org/10.1017/9781316779651.008openalex-snapshot

An Analytic-Hermeneutic History of Consciousness

inferred← citeshttps://doi.org/10.1017/9781316779651.009openalex-snapshot

Computational Philosophies of Mind

inferred← citeshttps://doi.org/10.1017/9781316779651.010openalex-snapshot

Philosophy of Action

inferred← citeshttps://doi.org/10.1017/9781316779651.011openalex-snapshot

Contemporary Responses to Radical Skepticism

inferred← citeshttps://doi.org/10.1017/9781316779651.012openalex-snapshot

Post-Gettier Epistemology

inferred← citeshttps://doi.org/10.1017/9781316779651.013openalex-snapshot

Logic in the Second Half of the Twentieth Century

inferred← citeshttps://doi.org/10.1017/9781316779651.014openalex-snapshot

(Re)discovering Ground

inferred← citeshttps://doi.org/10.1017/9781316779651.015openalex-snapshot

Lewis’s Theories of Causation and Their Influence

inferred← citeshttps://doi.org/10.1017/9781316779651.016openalex-snapshot

Naturalism from the Mid-Twentieth Century to the Present

inferred← citeshttps://doi.org/10.1017/9781316779651.017openalex-snapshot

The History of Philosophy of Science

inferred← citeshttps://doi.org/10.1017/9781316779651.018openalex-snapshot

A Modern Synthesis of Philosophy and Biology

inferred← citeshttps://doi.org/10.1017/9781316779651.019openalex-snapshot

The Revival of Virtue Ethics

inferred← citeshttps://doi.org/10.1017/9781316779651.020openalex-snapshot

Kantian Ethics

inferred← citeshttps://doi.org/10.1017/9781316779651.021openalex-snapshot

Consequentialism and Its Critics

inferred← citeshttps://doi.org/10.1017/9781316779651.022openalex-snapshot

The Rediscovery of Metanormativity

inferred← citeshttps://doi.org/10.1017/9781316779651.023openalex-snapshot

Constitutivism

inferred← citeshttps://doi.org/10.1017/9781316779651.024openalex-snapshot

John Rawls’sPolitical Liberalism

inferred← citeshttps://doi.org/10.1017/9781316779651.025openalex-snapshot

The Twilight of the Liberal Social Contract

inferred← citeshttps://doi.org/10.1017/9781316779651.026openalex-snapshot

Feminist Philosophy and Real Politics

inferred← citeshttps://doi.org/10.1017/9781316779651.027openalex-snapshot

Analytic Aesthetics and Philosophy of Art

inferred← citeshttps://doi.org/10.1017/9781316779651.028openalex-snapshot

Philosophy of Religion

inferred← citeshttps://doi.org/10.1017/9781316779651.030openalex-snapshot

Existentialism

inferred← citeshttps://doi.org/10.1017/9781316779651.031openalex-snapshot

Sartre and Merleau-Ponty on Freedom

inferred← citeshttps://doi.org/10.1017/9781316779651.032openalex-snapshot

Heidegger, Critical Theory, and the Critique of Technology

inferred← citeshttps://doi.org/10.1017/9781316779651.033openalex-snapshot

Authenticity and Social Critique

inferred← citeshttps://doi.org/10.1017/9781316779651.034openalex-snapshot

Hermeneutics in Post-War Continental European Philosophy

inferred← citeshttps://doi.org/10.1017/9781316779651.035openalex-snapshot

Feminist Philosophy since 1945

inferred← citeshttps://doi.org/10.1017/9781316779651.036openalex-snapshot

Philosophies of Difference

inferred← citeshttps://doi.org/10.1017/9781316779651.037openalex-snapshot

The Concept of Autonomy in the History of the Frankfurt School

inferred← citeshttps://doi.org/10.1017/9781316779651.038openalex-snapshot

Emerging Ethics

inferred← citeshttps://doi.org/10.1017/9781316779651.039openalex-snapshot

Leo Strauss: Political Philosophy as First Philosophy

inferred← citeshttps://doi.org/10.1017/9781316779651.040openalex-snapshot

Critical Environmental Philosophy

inferred← citeshttps://doi.org/10.1017/9781316779651.041openalex-snapshot

Philosophy of Technology

inferred← citeshttps://doi.org/10.1017/9781316779651.042openalex-snapshot

Philosophy of Education and the “Education of Reason”

inferred← citeshttps://doi.org/10.1017/9781316779651.043openalex-snapshot

The Bearing of Film on Philosophy

inferred← citeshttps://doi.org/10.1017/9781316779651.044openalex-snapshot

Aesthetics, Psychoanalysis, and the Avant-Garde

inferred← citeshttps://doi.org/10.1017/9781316779651.045openalex-snapshot

Continental Philosophy of Religion

inferred← citeshttps://doi.org/10.1017/9781316779651.047openalex-snapshot

Rethinking the Analytic/Continental Divide

inferred← citeshttps://doi.org/10.1017/9781316779651.048openalex-snapshot

Phenomenology and Ordinary Language Philosophy

inferred← citeshttps://doi.org/10.1017/9781316779651.049openalex-snapshot

Phenomenology Meets Philosophy of Mind and Language

inferred← citeshttps://doi.org/10.1017/9781316779651.050openalex-snapshot

The Impact of Pragmatism

inferred← citeshttps://doi.org/10.1017/9781316779651.051openalex-snapshot

Unruly Readers, Unruly Words

inferred← citeshttps://doi.org/10.1017/9781316779651.052openalex-snapshot

Anglo-American Existential Phenomenology

inferred← citeshttps://doi.org/10.1017/9781316779651.053openalex-snapshot

A Conceptual Genealogy of the Pittsburgh School

inferred← citeshttps://doi.org/10.1017/9781316779651.054openalex-snapshot

Authenticity and the Right to Philosophy

inferred← citeshttps://doi.org/10.1017/9781316779651.055openalex-snapshot

The East in the West

inferred← citeshttps://doi.org/10.1017/9781316779651.056openalex-snapshot

Jewish Philosophy and the Shoah

inferred← citeshttps://doi.org/10.1017/9781316779651.058openalex-snapshot

Developments and Debates in the Historiography of Philosophy

inferred← citeshttps://doi.org/10.1017/9781316779651.059openalex-snapshot

References

inferred← citeshttps://doi.org/10.1017/9781316779651.060openalex-snapshot

Index

inferred← citeshttps://doi.org/10.1017/cbo9781107050884.006openalex-snapshot

Algebras and General Frames

inferred← citeshttps://doi.org/10.1017/cbo9781107050884.008openalex-snapshot

Extended Modal Logic

inferred← citeshttps://doi.org/10.1017/cbo9781107050884.009openalex-snapshot

A Logical Toolkit

inferred← citeshttps://doi.org/10.1017/cbo9781107050884.010openalex-snapshot

An Algebraic Toolkit

inferred← citeshttps://doi.org/10.1017/cbo9781107050884.011openalex-snapshot

A Computational Toolkit

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

A TWO-DIMENSIONAL LOGIC FOR TWO PARADOXES OF DEONTIC MODALITY

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

Ddl Unlimited: Dynamic Doxastic Logic for Introspective Agents

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

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

Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning

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

An Elementary Construction for a Non-elementary Procedure

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

Old Foundations for the Logic of Agency and Action

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

All Proper Normal Extensions of S5-square have the Polynomial Size Model Property

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

Erratum

inferred← citeshttps://doi.org/10.1023/b:phil.0000019540.28979.7aopenalex-snapshot

Introduction

inferred← citeshttps://doi.org/10.1023/b:phil.0000019542.43440.d1openalex-snapshot

Two-Dimensional Adventures

inferred← citeshttps://doi.org/10.1070/rm2012v067n04abeh004805openalex-snapshot

Squares of modal logics with additional connectives

inferred← citeshttps://doi.org/10.1093/0198237073.001.0001openalex-snapshot

Context and content : essays on intentionality in speech and thought

inferred← citeshttps://doi.org/10.1093/0198237073.001.0001.002.004openalex-snapshot

inferred← citeshttps://doi.org/10.1093/0198237073.001.0001.002.005openalex-snapshot

Dedication

inferred← citeshttps://doi.org/10.1093/0198237073.001.0001.002.008openalex-snapshot

Details of First Publication

inferred← citeshttps://doi.org/10.1093/0198237073.003.0001openalex-snapshot

Introduction

inferred← citeshttps://doi.org/10.1093/0198237073.003.0002openalex-snapshot

Pragmatics

inferred← citeshttps://doi.org/10.1093/0198237073.003.0003openalex-snapshot

Pragmatic Presuppositions

inferred← citeshttps://doi.org/10.1093/0198237073.003.0004openalex-snapshot

Indicative Conditionals

inferred← citeshttps://doi.org/10.1093/0198237073.003.0005openalex-snapshot

Assertion

inferred← citeshttps://doi.org/10.1093/0198237073.003.0006openalex-snapshot

On the Representation of Context

inferred← citeshttps://doi.org/10.1093/0198237073.003.0007openalex-snapshot

Semantics for Belief

inferred← citeshttps://doi.org/10.1093/0198237073.003.0008openalex-snapshot

Indexical Belief

inferred← citeshttps://doi.org/10.1093/0198237073.003.0009openalex-snapshot

Belief Attribution and Context

inferred← citeshttps://doi.org/10.1093/0198237073.003.0010openalex-snapshot

On What's in the Head

inferred← citeshttps://doi.org/10.1093/0198237073.003.0011openalex-snapshot

Narrow Content

inferred← citeshttps://doi.org/10.1093/0198237073.003.0012openalex-snapshot

Twin Earth Revisited

showing the first 200 of 268 · page through all 268

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.