Advances in Modal Logic

, , & (eds.)
CSLI Publications (1998)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

2000, 2002, 2003, 2005, 2006, 2008, 2010, 2012

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 86,273

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Chapters

Logics with an existential modality.Natasha Alechina & Dmitry Shkatov
Logics with an existential modality.Natasha Alechina & Dmitry Shkatov
Relating Categorical and Kripke Semantics for Intuitionistic Modal Logics.Natasha Alechina, Valeria de Paiva & Eike Ritter
Relating Categorical and Kripke Semantics for Intuitionistic Modal Logics.Natasha Alechina, Valeria de Paiva & Eike Ritter
Partially-ordered Modalities.Gerard Allwein & William L. Harrison
Partially-ordered Modalities.Gerard Allwein & William L. Harrison
From Description to Hybrid Logics, and Back.Carlos Areces & Maarten de Rijke
From Description to Hybrid Logics, and Back.Carlos Areces & Maarten de Rijke
Interpolation, Definability and Fixed Points in Interpretability Logics.Carlos Areces, Eva Hoogland & Dick de Jongh
Interpolation, Definability and Fixed Points in Interpretability Logics.Carlos Areces, Eva Hoogland & Dick de Jongh
Operations on Proofs that can be Specified by Means of Modal Logic.Sergei N. Artemov
Operations on Proofs that can be Specified by Means of Modal Logic.Sergei N. Artemov
Shakespearian Modal Logic: A Labelled Treatment of Modal Identity.Ablerto Artosi, Paola Benassi, Guido Governatori & Antonino Rotolo
Topological Completeness of First-Order Modal Logics.Steve Awodey & Kohei Kishida
Topological Completeness of First-Order Modal Logics.Steve Awodey & Kohei Kishida
Computing Minimal EL-unifiers is Hard.Franz Baader, Stefan Borgwardt & Barbara Morawska
Computing Minimal EL-unifiers is Hard.Franz Baader, Stefan Borgwardt & Barbara Morawska
An expressive two-sorted spatial logic for plane projective geometry.Philippe Balbiani
An expressive two-sorted spatial logic for plane projective geometry.Philippe Balbiani
Completeness and Definability of a Modal Logic Interpreted over Iterated Strict Partial Orders.Philippe Baldiani & Levan Uridia
Completeness and Definability of a Modal Logic Interpreted over Iterated Strict Partial Orders.Philippe Baldiani & Levan Uridia
Every world can see a Sahlqvist world.Philippe Balbiani, I. Shapirovsky & V. Shshtman
Every world can see a Sahlqvist world.Philippe Balbiani, I. Shapirovsky & V. Shshtman
STS: A Structural Theory of Sets.Alexandru Baltag
STS: A Structural Theory of Sets.Alexandru Baltag
Some Truths Are Best Left Unsaid.Philippe Baldiani, Hans van Ditmarsch, Andreas Herzig & Tiago de Lima
Some Truths Are Best Left Unsaid.Philippe Baldiani, Hans van Ditmarsch, Andreas Herzig & Tiago de Lima
Sahlqvist Theorems for Precontact Logics.Philippe Balbiani & Stanislav Kikot
Terminological Modal Logic.Philippe Balbiani
Terminological Modal Logic.Philippe Balbiani
Calibrating Provability Logic: From Modal Logic to Reflection Calculus.Lev Beklemishev
Calibrating Provability Logic: From Modal Logic to Reflection Calculus.Lev Beklemishev
Double Time References: Speech-act Reports as a Modalitites in an Indeterminist Setting.Nuel D. Belnap
Double Time References: Speech-act Reports as a Modalitites in an Indeterminist Setting.Nuel D. Belnap
Locally Tabular Extensions of MIPC.Guram Bexhanishvili & Revaz Girgolia
Locally Tabular Extensions of MIPC.Guram Bexhanishvili & Revaz Girgolia
First Steps in Synthetic Guarded Domain Theory.Lars Birkedal
First Steps in Synthetic Guarded Domain Theory.Lars Birkedal
Indexical Hybrid Tense Logic.Patrick Blackburn & Klaus Frovin Jørgensen
Indexical Hybrid Tense Logic.Patrick Blackburn & Klaus Frovin Jørgensen
What Are Hybrid Languages?Patrick Blackburn & Jerry Seligman
What Are Hybrid Languages?Patrick Blackburn & Jerry Seligman
Distributive Substructural Logics as Coalgebraic Logics over Posets.Marta Bílková, Rostislav Horčik & Jiří Velebil
Distributive Substructural Logics as Coalgebraic Logics over Posets.Marta Bílková, Rostislav Horčik & Jiří Velebil
Proof systems for the coalgebraic cover modality.Marta Bílková, Alessandra Palmigiano & Yde Venema
Proof systems for the coalgebraic cover modality.Marta Bílková, Alessandra Palmigiano & Yde Venema
Relevant Agents.Marta Bílková, Ondrej Majer, Michal Peliš & Greg Restall
Relevant Agents.Marta Bílková, Ondrej Majer, Michal Peliš & Greg Restall
Complexity of Strict Implication.F. Bou
Complexity of Strict Implication.F. Bou
Functional Completenes for a Natural Deduction Formulation of Hybridized S5.Torben Braüner
Functional Completenes for a Natural Deduction Formulation of Hybridized S5.Torben Braüner
Homophonic Theory of Truth for Tense Logic.Torben Braüner
Homophonic Theory of Truth for Tense Logic.Torben Braüner
A Syntactic Realization Theorem for Justification Logics.Kai Brünnler, Remo Goerschi & Roman Kuznets
A Syntactic Realization Theorem for Justification Logics.Kai Brünnler, Remo Goerschi & Roman Kuznets
Deep Sequent Systems for Modal Logic.Kai Brünnler
Deep Sequent Systems for Modal Logic.Kai Brünnler
Conditional and Unconditional Obligation for Agents in Time.Mark A. Brown
Conditional and Unconditional Obligation for Agents in Time.Mark A. Brown
Relativized Action Complement for Dynamic Logics.Jan Broersen
Relativized Action Complement for Dynamic Logics.Jan Broersen
Beyond Regularity for Presburger Modal Logic.Facundo Carreiro & Stéphane Demri
Beyond Regularity for Presburger Modal Logic.Facundo Carreiro & Stéphane Demri
Nominal Substitution at Work with the Global and Converse Modalities.Serenella Cerrito & Marta Cialdea Mayer
Nominal Substitution at Work with the Global and Converse Modalities.Serenella Cerrito & Marta Cialdea Mayer
How Many Variables Does One Need to Prove PSPACE-hardness of Modal Logics.A. V. Chagrov & M. N. Rybakov
How Many Variables Does One Need to Prove PSPACE-hardness of Modal Logics.A. V. Chagrov & M. N. Rybakov
On the Degree of Neighborhood Incompleteness of Normal Modal Logics.Lilia Chagrova
On the Degree of Neighborhood Incompleteness of Normal Modal Logics.Lilia Chagrova
The Truth About Algorithmic Problems in Correspondence Theory.Alexander Chagrov & Lilia Chagrova
The Truth About Algorithmic Problems in Correspondence Theory.Alexander Chagrov & Lilia Chagrova
Elementary Canonical Formulae: A Survey on Syntactic, Algorithmic, and Modeltheoretic Aspects.W. Conradie, V. Goranko & D. Vakarelov
Elementary Canonical Formulae: A Survey on Syntactic, Algorithmic, and Modeltheoretic Aspects.W. Conradie, V. Goranko & D. Vakarelov
Weak Necessity on Weak Kleene Matrices.Fabrice Correia
Weak Necessity on Weak Kleene Matrices.Fabrice Correia
How to Complete Some Modal Predicate Logics.Max J. Cresswell
How to Complete Some Modal Predicate Logics.Max J. Cresswell
Uniform Interpolation, Automata and the Modal mu-Calculus.Giovanna D'Agostino & Marco Hollenberg
Uniform Interpolation, Automata and the Modal mu-Calculus.Giovanna D'Agostino & Marco Hollenberg
Bimodal Logics for Reasoning About Continuous Dynamics.Jen M. Davoren & Rajeev P. Goré
Bimodal Logics for Reasoning About Continuous Dynamics.Jen M. Davoren & Rajeev P. Goré
Modal Logics with Weak Forms of Recursion: PSPACE Specimens.Stéphane Demri
Modal Logics with Weak Forms of Recursion: PSPACE Specimens.Stéphane Demri
Modal Logics with a Linear Hierarchy of Local Propositional Quantifiers.Kai Engelhardt, Ron van der Meyden & Kaile Su
Modal Logics with a Linear Hierarchy of Local Propositional Quantifiers.Kai Engelhardt, Ron van der Meyden & Kaile Su
Non-normal Modalisation.Rogerio A. S. Fajardo & Marcelo Finer
Non-normal Modalisation.Rogerio A. S. Fajardo & Marcelo Finer
Absolute Completeness of S4u for Its Measure-Theoretic Semantics.David Fernández-Duque
Absolute Completeness of S4u for Its Measure-Theoretic Semantics.David Fernández-Duque
Kripke Models of Transfinite Provability Logic.David Fernández-Duque & Joost J. Joosten
Kripke Models of Transfinite Provability Logic.David Fernández-Duque & Joost J. Joosten
Non-finite Axiomatizability of Dynamic Topological Logic.David Fernández-Duque
Non-finite Axiomatizability of Dynamic Topological Logic.David Fernández-Duque
Towards a Many-Dimensional Modal Logic for Substructural Categorial Logic.Tim Fernando
Towards a Many-Dimensional Modal Logic for Substructural Categorial Logic.Tim Fernando
On the Size of Shortest Modal Descriptions.Santiago Figueira & Gorín
On the Size of Shortest Modal Descriptions.Santiago Figueira & Gorín
Algorithmic Correspondence Theory for Substructural Categorial Logic.Marcelo Finger
Algorithmic Correspondence Theory for Substructural Categorial Logic.Marcelo Finger
Bisimulations and Boolean Vectors.Melvin Fitting
Bisimulations and Boolean Vectors.Melvin Fitting
Dealing with the Ramification Problem in Extended Propositional Dynamic Logic.Norman Foo & Dongmo Zhang
Dealing with the Ramification Problem in Extended Propositional Dynamic Logic.Norman Foo & Dongmo Zhang
Axioms for Logics of Knowledge and Past Time: Synchrony and Unique Initial States.T. French, R. van der Meyden & M. Reynolds
Axioms for Logics of Knowledge and Past Time: Synchrony and Unique Initial States.T. French, R. van der Meyden & M. Reynolds
A Sound and Complete Proof System for QPTL.Tim French & Mark Reynolds
A Sound and Complete Proof System for QPTL.Tim French & Mark Reynolds
Bisimulation Quantified Modal Logics: Decidability.Tim French
Bisimulation Quantified Modal Logics: Decidability.Tim French
Synthesis for Temporal Logic over the Reals.Tim French, John McCabe-Dansted & Mark Reynolds
Synthesis for Temporal Logic over the Reals.Tim French, John McCabe-Dansted & Mark Reynolds
Undecidablity for arbitrary public announcement logic.Tim French & Hans van Dirmarsch
Undecidablity for arbitrary public announcement logic.Tim French & Hans van Dirmarsch
Dynamics of Practical Reasoning: A Position Paper.Dov M. Gabbay
Dynamics of Practical Reasoning: A Position Paper.Dov M. Gabbay
ML is not finitely axiomatizable over Cheq.Fontaine Gaëlle
ML is not finitely axiomatizable over Cheq.Fontaine Gaëlle
A Resolution-Based Decision Procedure for Extensions of K4.Harald Ganzinger, Ullrich Hustadt, Christoph Meyer & Renate A. Schmidt
A Resolution-Based Decision Procedure for Extensions of K4.Harald Ganzinger, Ullrich Hustadt, Christoph Meyer & Renate A. Schmidt
Terminating modal tableaux with simple completeness proof.Olivier Gasquet, Andreas Herzig & Mohamad Sahade
Terminating modal tableaux with simple completeness proof.Olivier Gasquet, Andreas Herzig & Mohamad Sahade
Complete Axiomatization of the Sutter-invariant Fragment of the Linear Time μ-calculus.Amélie Gheerbrant
Complete Axiomatization of the Sutter-invariant Fragment of the Linear Time μ-calculus.Amélie Gheerbrant
Conservative extensions in modal logic.S. Ghilardi, C. Lutz, F. Wolter & M. Zaharyaschev
From Bisimulation Quantifiers to Classifying Toposes.Silvio Ghilardi & Marek Zawadowski
From Bisimulation Quantifiers to Classifying Toposes.Silvio Ghilardi & Marek Zawadowski
General Dynamic Dynamic Logic.Patrick Girard, Jeremy Seligman & Fenrong Liu
General Dynamic Dynamic Logic.Patrick Girard, Jeremy Seligman & Fenrong Liu
The Complexity of Monotone Hybrid Logics over Linear Frames and the Natural Numbers.Stefan Göller, Arne Meier, Martin Mundhenk, Thomas Schneider, Michael Thomas & Felix Weiß
The Complexity of Monotone Hybrid Logics over Linear Frames and the Natural Numbers.Stefan Göller, Arne Meier, Martin Mundhenk, Thomas Schneider, Michael Thomas & Felix Weiß
A General Semantic for Quantified Modal Logic.Robert Goldblatt & Edwin D. Mares
A General Semantics for Quantified Modal Logic.Robert Goldblatt & Edwin D. Mares
A Kripke-Joyal Semantics for Noncommutative Logic in Quantales.Robert Goldblatt
A Kripke-Joyal Semantics for Noncommutative Logic in Quantales.Robert Goldblatt
Equational Logic of Polynominal Coalgerbras.Robert Goldblatt
Equational Logic of Polynominal Coalgerbras.Robert Goldblatt
A decidable modal logic that is finitely undecidable.Igor Gorbunoc
A decidable modal logic that is finitely undecidable.Igor Gorbunoc
Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents.Rajeev Goré, Linda Postniece & Alwen Tiu
Cut-elimination and Proof Search for Bi-Intuitionistic Tense Logic.Rajeev Goré, Linda Postniece & Alwen Tiu
Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents.Rajeev Goré, Linda Postniece & Alwen Tiu
Cut-elimination and Proof Search for Bi-Intuitionistic Tense Logic.Rajeev Goré, Linda Postniece & Alwen Tiu
Extending ALCQ with Bounded Self-Reference.Daniel Gorín & Lutz Schröder
Extending ALCQ with Bounded Self-Reference.Daniel Gorín & Lutz Schröder
Labelled Tree Sequents, Tree Hypersequents and Nested Sequents.Rajeev Goré & Revantha Ramanayake
Labelled Tree Sequents, Tree Hypersequents and Nested Sequents.Rajeev Goré & Revantha Ramanayake
Modal Logic and Universal Algebra I: Modal Axiomatizations of Structures.Valentin Goranko & Dimiter Vakarelov
Modal Logic and Universal Algebra I: Modal Axiomatizations of Structures.Valentin Goranko & Dimiter Vakarelov
Sahlqvist Formulas Unleashed in Polyadic Modal Languages.Valentin Goranko & Dimiter Vakarelov
Sahlqvist Formulas Unleashed in Polyadic Modal Languages.Valentin Goranko & Dimiter Vakarelov
Valentini's cut-elimination for provability logic resloved.Rajeev Goré & Revantha Ramanayake
Valentini's cut-elimination for provability logic resloved.Rajeev Goré & Revantha Ramanayake
Abductive Reasoning over Temporal Specifications of Objects.Paula Gouveia & Cristina Sernadas
Abductive Reasoning over Temporal Specifications of Objects.Paula Gouveia & Cristina Sernadas
Labelled modal tableaux.Guido Governatori
Labelled modal tableaux.Guido Governatori
Fischer Servi's Intuitionistic Modal Logic has the Finite Modal Property.Carsten Grefe
Fischer Servi's Intuitionistic Modal Logic has the Finite Modal Property.Carsten Grefe
Refinement Quantified Logics of Knowledge and Belief for Multiple Agents.James Hales, Tim French & Rowan Davies
Refinement Quantified Logics of Knowledge and Belief for Multiple Agents.James Hales, Tim French & Rowan Davies
On Modal Products with th Logic of 'Elsewhere'.Christopher Hampson & Agi Kurucz
On Modal Products with th Logic of 'Elsewhere'.Christopher Hampson & Agi Kurucz
Many-valued hybrid logic.Jens Ulrik Hansen, Thomas Bolander & Torben Braüner
Many-valued hybrid logic.Jens Ulrik Hansen, Thomas Bolander & Torben Braüner
Normal Products of Modal Logics.Yasusi Hasimoto
Normal Products of Modal Logics.Yasusi Hasimoto
A Twosoted Hybrid Logics Including Guarded Jumps.Bernhard Heinemann
A Twosoted Hybrid Logics Including Guarded Jumps.Bernhard Heinemann
Regarding Overlaps in 'Topologic'.Bernhard Heinemann
Regarding Overlaps in 'Topologic'.Bernhard Heinemann
Topological Nexttime Logic.Bernhard Heinemann
Topological Nexttime Logic.Bernhard Heinemann
Towards Uniform Reasoning via Structured Subset Spaces.Bernhard Heinemann
Towards Uniform Reasoning via Structured Subset Spaces.Bernhard Heinemann
On the Modularity of Theories.A. Herzig & I. Varzinczak
On the Modularity of Theories.A. Herzig & I. Varzinczak
Properties of logics of individual and group agency.Andreas Herzig & François Schwarzentruber
Properties of logics of individual and group agency.Andreas Herzig & François Schwarzentruber
A Tableau Algorithm for the Clique Guarded Fragment.Colin Hirsch & Stephan Tobies
A Tableau Algorithm for the Clique Guarded Fragment.Colin Hirsch & Stephan Tobies
A Uniform Logic of Information Dynamics.Wesley H. Holliday, Tomohiro Hoshi & Thomas F. Icard Iii
Weaker-to-Stronger Translational Embeddings in Modal Logic.Lloyd Humberstone
Weaker-to-Stronger Translational Embeddings in Modal Logic.Lloyd Humberstone
Decidability of IF Modal Logic of Perfect Recall.T. Hyttinen & T. Tulenheimo
Decidability of IF Modal Logic of Perfect Recall.T. Hyttinen & T. Tulenheimo
A Modal Analysis of Some Principles of the Provability of Logic of Heyting Arithmetic.Rosalie Iemhoff
A Modal Analysis of Some Principles of the Provability of Logic of Heyting Arithmetic.Rosalie Iemhoff
Controlled Model Exploration.Gabriel G. Infante-Lopez, Carlos Areces & Maarten de Rijke
Controlled Model Exploration.Gabriel G. Infante-Lopez, Carlos Areces & Maarten de Rijke
Epistemic Logic of Shallow Depths and Game Theoretical Applications.Mamoru Kaneko & Nobu-Yuki Suzuki
Epistemic Logic of Shallow Depths and Game Theoretical Applications.Mamoru Kaneko & Nobu-Yuki Suzuki
Expressiveness of Positive Colgebraic Logic.Krzysztof Kapulkin, Alexander Kurz & Jiří Velevil
Expressiveness of Positive Colgebraic Logic.Krzysztof Kapulkin, Alexander Kurz & Jiří Velevil
Completeness Proof by Semantic Diagrams for Transitive Closure of Accessibility Relation.Ryo Kashima
Completeness Proof by Semantic Diagrams for Transitive Closure of Accessibility Relation.Ryo Kashima
Semantic Characterization of Krancht Formulas.Stanislav Kikot
Semantic Characterization of Krancht Formulas.Stanislav Kikot
An interval logic for natural language semantics.Savas Konur
An interval logic for natural language semantics.Savas Konur
Dynamic topological logics over spaces with continuous functions.B. Konev, R. Kontchakov, F. Wolter & M. Zakharyaschev
Dynamic topological logics over spaces with continuous functions.B. Konev, R. Kontchakov, F. Wolter & M. Zakharyaschev
Topology, connectedness, and modal logic.Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter & Michael Zakharyaschev
Topology, connectedness, and modal logic.Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter & Michael Zakharyaschev
Logic and Syntax.Marcus Kracht
Logic and Syntax.Marcus Kracht
Notes on the Space Requirements for Checking Satisgiability in Modal Logics.Marcus Kracht
Notes on the Space Requirements for Checking Satisgiability in Modal Logics.Marcus Kracht
The Semantics of Modal Predicate Logic I. Counterpart-Frames.Marcus Kracht & Oliver Kutz
The Semantics of Modal Predicate Logic I. Counterpart-Frames.Marcus Kracht & Oliver Kutz
Modal Logic of Some Products of Neighborhood Frames.Andrey Kudinov
Modal Logic of Some Products of Neighborhood Frames.Andrey Kudinov
On Modal Logics of Hamming Spaces.Andrey Kudinov, Ilya Shapirovsky & Valentin Shehtman
On Modal Logics of Hamming Spaces.Andrey Kudinov, Ilya Shapirovsky & Valentin Shehtman
Topological Modal Logics with Difference Modality.Andrey Kudinov
Topological Modal Logics with Difference Modality.Andrey Kudinov
Completeness of the finitary Moss logic.Clemens Kupke, Alexander Kurz & Yde Venema
Completeness of the finitary Moss logic.Clemens Kupke, Alexander Kurz & Yde Venema
On Modal Logics of Linear Inequalities.Clemens Kupke & Dirk Pattinson
On Modal Logics of Linear Inequalities.Clemens Kupke & Dirk Pattinson
A Co-Variety-Theorem for Modal Logic.Alexander Kurz
A Co-Variety-Theorem for Modal Logic.Alexander Kurz
A Note on Relativised Products of Modal Logics.Agi Kurucz & Michael Zakharyaschev
A Note on Relativised Products of Modal Logics.Agi Kurucz & Michael Zakharyaschev
Coalgerbraic Lindströom Theorems.Alexander Kurz & Yde Venema
Coalgerbraic Lindströom Theorems.Alexander Kurz & Yde Venema
Finite Frames for K4.3 x S5 Are Decidable.Agi Kurucz & Sérgio Marcelino
Finite Frames for K4.3 x S5 Are Decidable.Agi Kurucz & Sérgio Marcelino
Islands of Tractability for Relational Constraints: Towards Dichotomy Results for the Description of Logic EL.Agi Kurucz, Frank Wolter & Michael Zakharyaschev
Islands of Tractability for Relational Constraints: Towards Dichotomy Results for the Description of Logic EL.Agi Kurucz, Frank Wolter & Michael Zakharyaschev
On axiomatisting products of Kripke frames, part II.Agi Kurucz
On axiomatisting products of Kripke frames, part II.Agi Kurucz
On the Complexity of Modal Axiomatisations over Many-dimensional Structures.Agi Kurucz
On the Complexity of Modal Axiomatisations over Many-dimensional Structures.Agi Kurucz
S5 x S5 x S5 Lacks the Finite Model Property.Agnes Kurucz
S5 x S5 x S5 Lacks the Finite Model Property.Agnes Kurucz
A modal perspective on monadic second-order alternation hierarchies.Antti Kuusisto
A modal perspective on monadic second-order alternation hierarchies.Antti Kuusisto
Justifications, Ontology, and Conservativity.Roman Kuznets & Thomas Studer
Justifications, Ontology, and Conservativity.Roman Kuznets & Thomas Studer
A Lower Complexity Bound for Propositional Dynamic Logic with Intersection.M. Lange
A Lower Complexity Bound for Propositional Dynamic Logic with Intersection.M. Lange
On the Incompleteness of Modal Logics of Space: Advancing Complete Modal Logics of Place.Oliver Lemon & Ian Pratt
On the Incompleteness of Modal Logics of Space: Advancing Complete Modal Logics of Place.Oliver Lemon & Ian Pratt
Isomorphism via translation.Tadeusz Litak
Isomorphism via translation.Tadeusz Litak
On Notions of Completeness Weaker than Kripke Completeness.T. Litak
On Notions of Completeness Weaker than Kripke Completeness.T. Litak
Description Logics with Concrete Domains- A Survey.Carsten Lutz
Description Logics with Concrete Domains- A Survey.Carsten Lutz
The Complexity of Reasoning with Boolean Modal Logics.Carsten Lutz & Ulrike Sattler
The Complexity of Reasoning with Boolean Modal Logics.Carsten Lutz & Ulrike Sattler
Interpolation and Beth Definability over the Minimal Logic.Larisa Maksimova
Interpolation and Beth Definability over the Minimal Logic.Larisa Maksimova
Interpolation in Superintuitionistic and Modal Predicate Logics with Equality.Larisa Maksimova
Interpolation in Superintuitionistic and Modal Predicate Logics with Equality.Larisa Maksimova
Projective Beth;s Properties in Infinite Slice Extensions of the Modal Logic K4.Larisa Maksimova
Projective Beth;s Properties in Infinite Slice Extensions of the Modal Logic K4.Larisa Maksimova
Restricted Interpolation in Modal Logics.Larisa Maksimova
Restricted Interpolation in Modal Logics.Larisa Maksimova
Mosaics and Cylindric Modal Logic of Dimension 2.Maarten Marx
Mosaics and Cylindric Modal Logic of Dimension 2.Maarten Marx
Quantification over names and moalities.Eric Martin
Quantification over names and moalities.Eric Martin
Finite Satifiability of Modal Logic over Horn Definable Classes of Frames.Jakub Michaliszyn & Emanuel Kieroński
Finite Satifiability of Modal Logic over Horn Definable Classes of Frames.Jakub Michaliszyn & Emanuel Kieroński
Binary Logics, Orthologics, and their Relations to Normal Modal Logics.Yutaka Miyazaki
Binary Logics, Orthologics, and their Relations to Normal Modal Logics.Yutaka Miyazaki
Normal Modal Logics Contianing KTB with some Finiteness Conditions.Yutaka Miyazaki
Normal Modal Logics Contianing KTB with some Finiteness Conditions.Yutaka Miyazaki
On the Formal Structure of Continuous Action.T. Müller
On the Formal Structure of Continuous Action.T. Müller
Utilitarian Deontic Logic.Yuko Murakami
Utilitarian Deontic Logic.Y. Murakami
Utilitarian Deontic Logic.Y. Murakami
Resolution for Synchrony and No Learning.C. Nalon, C. Dixon & M. Fisher
Resolution for Synchrony and No Learning.C. Nalon, C. Dixon & M. Fisher
Modal logics for mereotopological relations.Yavor Nenov & Dimiter Vakarelov
Modal logics for mereotopological relations.Yavor Nenov & Dimiter Vakarelov
On the Complexity of Fragments of Modal Logics.L. A. Nguyen
On the Complexity of Fragments of Modal Logics.L. A. Nguyen
On the Deterministic Horn Fragment of Test-free PDL.Linh Anh Nguyen
On the Deterministic Horn Fragment of Test-free PDL.Linh Anh Nguyen
Completion of Algebras and Completeness of Modal and Substructural Logics.Hiroakira Ono
Completion of Algebras and Completeness of Modal and Substructural Logics.Hiroakira Ono
A Lindström characterisation of the guarded fragment and of modal logic with a global modality.Martin Otto & Robert Piro
A Lindström characterisation of the guarded fragment and of modal logic with a global modality.Martin Otto & Robert Piro
Propositions, Propositional Attitudes and Belief Revision.Rohit Parikh
Propositions, Propositional Attitudes and Belief Revision.Rohit Parikh
Complexity of the Lambek Calculus and Its Fragments.Mati Pentus
Complexity of the Lambek Calculus and Its Fragments.Mati Pentus
Cut-Free Indexed Calcui for Modal Logics Containing the Barcan Axiom.Aida Pliuskeviviene
Cut-Free Indexed Calcui for Modal Logics Containing the Barcan Axiom.Aida Pliuskeviviene
An Axiomatization of Prior's Ockhamist Logic of Historical Necessity.Mark Reynolds
An Axiomatization of Prior's Ockhamist Logic of Historical Necessity.Mark Reynolds
Minimal Knowledge States in Nonmonotonic Modal Logics.Riccardo Rosati
Minimal Knowledge States in Nonmonotonic Modal Logics.Riccardo Rosati
Complexity of intuitionistic and Visser's basic and formal logics in finitely many variables.Mikhail Rybakov
Complexity of intuitionistic and Visser's basic and formal logics in finitely many variables.Mikhail Rybakov
Goldblatt-Thomason-style Theorems for Graded Modal Language.Katsuhiko Sano & Minghui Ma
Uniform Interpolation for Monotone Modal Logic.Luigi Santocanales & Yde Venema
Uniform Interpolation for Monotone Modal Logic.Luigi Santocanales & Yde Venema
Combining Dynamic Logic with Doxastic Modal Logics.Renate A. Schmidt & Dmitry Tishkovsky
Combining Dynamic Logic with Doxastic Modal Logics.Renate A. Schmidt & Dmitry Tishkovsky
Developing Modal Tableaux and Resolution Methods via First-Order Resolution.Renate A. Schmidt
Developing Modal Tableaux and Resolution Methods via First-Order Resolution.Renate A. Schmidt
Resolution is a Decision Procedure for Many Propositional Modal Logics.Renate A. Schmidt
Resolution is a Decision Procedure for Many Propositional Modal Logics.Renate A. Schmidt
The Complexity of Temporal Logic Model Checking.Ph Schoebelen
The Complexity of Temporal Logic Model Checking.Ph Schoebelen
Outline of a Logic of Action.Krister Segerberg
Outline of a Logic of Action.Krister Segerberg
Chronological Future Modality in Minkowski Spacetime.Ilya Shapirovsky & Valentin Shehtman
Chronological Future Modality in Minkowski Spacetime.Ilya Shapirovsky & Valentin Shehtman
Downward-directed transitive frames with Unviersal relations.Ilya Shapirovsky
Downward-directed transitive frames with Unviersal relations.Ilya Shapirovsky
On PSPACE-decidability in Transitive Modal Logic.Ilya Shapirovsky
On PSPACE-decidability in Transitive Modal Logic.Ilya Shapirovsky
On the intermediate logic of open subsets of metric spaces.Timofei Shatrov
On the intermediate logic of open subsets of metric spaces.Timofei Shatrov
PSPACE-decidability of Japaridze's polymodal logic.Ilya Shapirovsky
PSPACE-decidability of Japaridze's polymodal logic.Ilya Shapirovsky
Simulation of Two Dimensions in Unimodal Logics.Ilya Shapirovsky
Simulation of Two Dimensions in Unimodal Logics.Ilya Shapirovsky
Completeness and incompleteness in first-order modal logic: an overview.Valentin Shehtman
Completeness and incompleteness in first-order modal logic: an overview.Valentin Shehtman
From topology to metric: modal logic and quantification in metric spaces.M. Sheremet, D. Tishkovsky, F. Wolter & M. Zakharyaschev
From topology to metric: modal logic and quantification in metric spaces.M. Sheremet, D. Tishkovsky, F. Wolter & M. Zakharyaschev
Filtration via Bisimulation.Valentin Shehtman
Filtration via Bisimulation.Valentin Shehtman
On Strong Neighbourhood Completeness of Modal and Intermediate Propositional Logics.Valentin Shehtman
On Strong Neighbourhood Completeness of Modal and Intermediate Propositional Logics.Valentin Shehtman
Duality in Superintuitionistic and Modal Predicate Logics.Hiroyuki Shirasu
Duality in Superintuitionistic and Modal Predicate Logics.Hiroyuki Shirasu
Modality, Paraconsistency and Paracompleteness.Ricardo Sousa Silvestre
An Incompleteness Result for Predicate Extensions of Intermediate Propositional Logics.D. Skvortsov
An Incompleteness Result for Predicate Extensions of Intermediate Propositional Logics.D. Skvortsov
A Remark on Propositional Kripke Frames Sound for Intuitionistic Logic.Dmitrij Skvortsov
A Remark on Peculiarity in the Functor Semantic for Superintuitionistic Predicate Logics with Equality.Dmitrij Skvortsov
A Remark on Propositional Kripke Frames Sound for Intuitionistic Logic.Dmitrij Skvortsov
A Remark on Peculiarity in the Functor Semantic for Superintuitionistic Predicate Logics with Equality.Dmitrij Skvortsov
Locality and subsumption testing in EL and some of its extensions.Viorica Sofronie-Stokkermans
Locality and subsumption testing in EL and some of its extensions.Viorica Sofronie-Stokkermans
On the Relationship between Models of Parallel Computations.Vladimir V. Spanopulo & Vladimir A. Zakharov
On the Relationship between Models of Parallel Computations.Vladimir V. Spanopulo & Vladimir A. Zakharov
A Systematic Proof Theory for Several Modal Logics.C. Stewart & P. Stouppa
A Systematic Proof Theory for Several Modal Logics.C. Stewart & P. Stouppa
On Isomorphisms between Canonical Frames.Timothy J. Surendonk
On Isomorphisms between Canonical Frames.Timothy J. Surendonk
Bi-approximation Semantics for Substructural Logic at Work.Tomoyuki Suzuki
Bi-approximation Semantics for Substructural Logic at Work.Tomoyuki Suzuki
Morphisms on Bi-approximation Semantics.Tomoyuki Suzuki
Morphisms on Bi-approximation Semantics.Tomoyuki Suzuki
The variety of modal FLew-algebras is generated by its finite simple members.Hiroki Takamura
The variety of modal FLew-algebras is generated by its finite simple members.Hiroki Takamura
A decision procedure for alternation-free modal μ-calculi.Yoshinori Tannabe, Koichi Takahashi & Masami Hagiya
A decision procedure for alternation-free modal μ-calculi.Yoshinori Tannabe, Koichi Takahashi & Masami Hagiya
Rasiowa-Sokorski Lemma and Kripke Completeness of Predicate and Infinitary Modal Logics.Yoshihito Tanaka & Hiroakira Ono
Rasiowa-Sokorski Lemma and Kripke Completeness of Predicate and Infinitary Modal Logics.Yoshihito Tanaka & Hiroakira Ono
Guarded Negation.Balder ten Care
Guarded Negation.Balder ten Care
Logics of Space with Connectedness Predicates: Complete Axiomatizations.Tinko Tinchev & Dimiter Vakarelov
Logics of Space with Connectedness Predicates: Complete Axiomatizations.Tinko Tinchev & Dimiter Vakarelov
Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures.Alwen Tiu, Egor Ianovski & Rajeev Goré
Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures.Alwen Tiu, Egor Ianovski & Rajeev Goré
Modal logic of time division.Tero Tulenheimo
Modal logic of time division.Tero Tulenheimo
On IF Modal Logic and its Expressive Power.Tero Tulenheimo
On IF Modal Logic and its Expressive Power.Tero Tulenheimo
On Modal Logics, IF Logic, and IF Modal Logic.Tero Tulenheimo & Merlijn Sevenster
On Modal Logics, IF Logic, and IF Modal Logic.Tero Tulenheimo & Merlijn Sevenster
A simple semantics for Aristotelian apodeictic syllogistics.Sara L. Uckelman & Spencer Johnston
A Simple Semantics for Aristotelian Apodeictic Syllogistics.Sara L. Uckelman & Spencer Johnston
A Simple Semantics for Aristotelian Apodeictic Syllogistics.Sara L. Uckelman & Spencer Johnston
Three 13th-century views of quantified modal logic.Sara L. Uckelman
A Complete Proof System for a Dynamic Epistemic Logic Based upon Finite π-Calculus Processes.Eric Ufferman & Pedro Arturo' Hernández-Quiroz Góngora
A Complete Proof System for a Dynamic Epistemic Logic Based upon Finite π-Calculus Processes.Eric Ufferman & Pedro Arturo' Hernández-Quiroz Góngora
Dynamic Mereotopology II: Axiomatixing some Whiteheadean Type Space-time Logics.Dimiter Vakarelov
Dynamic Mereotopology II: Axiomatixing some Whiteheadean Type Space-time Logics.Dimiter Vakarelov
Hyper Arrow Structures. Arrow Logics III.Dimiter Vakarelov
Hyper Arrow Structures. Arrow Logics III.Dimiter Vakarelov
Modal Definability in Languages with a Finite Number of Propositional Variables and a New Extension of the Sahlqvist's Class.Dimiter Vakarelov
Modal Definability in Languages with a Finite Number of Propositional Variables and a New Extension of the Sahlqvist's Class.Dimiter Vakarelov
Ecidence Logic: A New Look at Neighborhood Structures.Johan van Benthem, David Fernández-Duque & Eric Pacuit
Evidence Logic: A New Look at Neighborhood Structures.Johan van Benthem, David Fernández-Duque & Eric Pacuit
Future Event Logic- Axioms and Complexity.Hans van Ditmarsch, Tim French & Sophie Pinchinate
Future Event Logic- Axioms and Complexity.Hans van Ditmarsch, Tim French & Sophie Pinchinate
Foundational Issues in Logical Dynamics.Johan van Benthem
Foundational Issues in Logical Dynamics.Johan van Benthem
Modal Logic in Two Gestalts.Johan van Benthem
Modal Logic in Two Gestalts.Johan van Benthem
Public Announcements and Belief Expansion.H. van Ditmarsch, W. van der Hoek & B. Kooi
Public Announcements and Belief Expansion.H. van Ditmarsch, W. van der Hoek & B. Kooi
The Tree of Knowledge in Action: Towards a Common Perspective.Johan van Benthem & Eric Pacuit
The Tree of Knowledge in Action: Towards a Common Perspective.Johan van Benthem & Eric Pacuit
Atom Structures.Yde Venema
Atom Structures.Yde Venema
Canonical Pseudo-Correspondence.Yde Venema
Canonical Pseudo-Correspondence.Yde Venema
An Overview of Interpretability Logic.Albert Visser
An Overview of Interpretability Logic.Albert Visser
Consistency Proofs for Systems of Multiagent Only Knowing.A. Waaler
Consistency Proofs for Systems of Multiagent Only Knowing.A. Waaler
Connexive Modal Logic.H. Wansing
Connexive Modal Logic.H. Wansing
Not All Those Who Wander Are Lost: Dynamic Epistemic Reasoning in Navigation.Yanjing Wang & Yanjun Li
Not All Those Who Wander Are Lost: Dynamic Epistemic Reasoning in Navigation.Yanjing Wang & Yanjun Li
Proofs, Disproofs, and Their Duals.Heinrich Wansing
Proofs, Disproofs, and Their Duals.Heinrich Wansing
Tableaux for multi-agent deliberative-stit logic.Heinrich Wansing
Tableaux for multi-agent deliberative-stit logic.Heinrich Wansing
Dynamic Description Logics.Frank Wolter & Michael Zakharyaschev
Dynamic Description Logics.Frank Wolter & Michael Zakharyaschev
Fusions of Modal Logics Revisited.Frank Wolter
Fusions of Modal Logics Revisited.Frank Wolter
On Arithemtical Completeness of First-Order Logics of Provability.Rostislav E. Yavorsky
On Arithemtical Completeness of First-Order Logics of Provability.Rostislav E. Yavorsky
Belief, Names, and Modes of Presentation.Ruili Ye & Melvin Fitting
Belief, Names, and Modes of Presentation.Ruili Ye & Melvin Fitting

Similar books and articles

Advances in Modal Logic.Edwin D. Mares - 2002 - Bulletin of Symbolic Logic 8 (1):95-97.
Advances in Modal Logic, Vol. 1.Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev - 2000 - Studia Logica 65 (3):440-442.
Review: Marcus Kracht, Maarten de Rijke, Heinrich Wansing, Michael Zakharyaschev, Advances in Modal Logic. [REVIEW]Edwin D. Mares - 2002 - Bulletin of Symbolic Logic 8 (1):95-97.
Advances in Modal Logic, Volume 2: Papers From the Second Aiml Conference, Held at the University of Uppsala, Sweden, October 1998.Michael Zakharyaschev, Krister Segerberg, Maarten de Rijke & Heinrich Wansing (eds.) - 2001 - Stanford, CA, USA: Center for the Study of Language and Inf.
The Semantics of Modal Predicate Logic I. Counterpart-Frames.Marcus Kracht & Oliver Kutz - 2002 - In Frank Wolter, Heinrich Wansing, Maarten de Rijke & Michael Zakharyaschev (eds.), Advances in Modal Logic, Volume 3. CSLI Publications. pp. 299-320.
Topology, connectedness, and modal logic.Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter & Michael Zakharyaschev - 2008 - In Carlos Areces & Robert Goldblatt (eds.), Advances in Modal Logic, Volume 7. CSLI Publications. pp. 151-176.
Notes on the Space Requirements for Checking Satisgiability in Modal Logics.Marcus Kracht - 2003 - In Philippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter & Michael Zakharyaschev (eds.), Advances in Modal Logic, Volume 4. CSLI Publications. pp. 243-264.
A Note on Relativised Products of Modal Logics.Agi Kurucz & Michael Zakharyaschev - 2003 - In Philippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter & Michael Zakharyaschev (eds.), Advances in Modal Logic, Volume 4. CSLI Publications. pp. 221-242.
Logic and Syntax.Marcus Kracht - 2000 - In Michael Zakharyaschev, Krister Segerberg, Maarten de Rijke & Heinrich Wansing (eds.), Advances in Modal Logic, Volume 2. CSLI Publications. pp. 355-384.
Tableaux for multi-agent deliberative-stit logic.Heinrich Wansing - 2006 - In Guido Governatori, Ian Hodkinson & Yde Venema (eds.), Advances in Modal Logic, Volume 6. CSLI Publications. pp. 503-520.
Review: Patrick Blackburn, Maarten de Rijke, Yde Venema, Modal Logic. [REVIEW]Marcus Kracht - 2002 - Bulletin of Symbolic Logic 8 (2):299-301.
From Description to Hybrid Logics, and Back.Carlos Areces & Maarten de Rijke - 2002 - In Frank Wolter, Heinrich Wansing, Maarten de Rijke & Michael Zakharyaschev (eds.), Advances in Modal Logic, Volume 3. CSLI Publications. pp. 17-36.
Mosaics and Cylindric Modal Logic of Dimension 2.Maarten Marx - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic, Volume 1. CSLI Publications. pp. 141-156.
Proofs, Disproofs, and Their Duals.Heinrich Wansing - 2010 - In Lev Beklemishev, Valentin Goranko & Valentin Shehtman (eds.), Advances in Modal Logic, Volume 8. CSLI Publications. pp. 483-505.
From topology to metric: modal logic and quantification in metric spaces.M. Sheremet, D. Tishkovsky, F. Wolter & M. Zakharyaschev - 2006 - In Guido Governatori, Ian Hodkinson & Yde Venema (eds.), Advances in Modal Logic, Volume 6. CSLI Publications. pp. 429-448.

Analytics

Added to PP
2018-02-17

Downloads
2 (#1,572,888)

6 months
1 (#864,772)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Heinrich Wansing
Ruhr-Universität Bochum

Citations of this work

Add more citations

References found in this work

No references found.

Add more references