|
You are here:
AiML.NET :
Workshops :
AiML-ICTL 2000 :
Accepted Papers
Here is the list of papers accepted for AiML-ICTL 2000. Acceptance is
subject to one of the authors presenting the paper at AiML-ICTL 2000.
AiML Papers
Fabrice Correia:
Simple three-valued modal propositional logics
Larisa Maksimova:
Projective Beth's Properties in Infinite Slice
Extensions of the Modal Logic K4
Valentin Goranko and Dimiter Vakarelov:
Sahlqvist Formulas Unleashed in Polyadic Modal Languages
Ruili Ye:
Belief, Names and Modes of Presentation:
A First-Order Logic Formalization
Torben Brauner:
Homophonic Theory of Truth for Tense Logic
Agnes Kurucz:
S5 x S5 x S5 lacks the finite model property
Marcelo Finger:
Algorithmic Correspondence Theory for Substructural Categorial Logic
Carsten Lutz and Ulrike Sattler:
The Complexity of Reasoning with Boolean Modal Logics
Mamoru Kaneko and Nobu-Yuki Suzuki:
Epistemic Logics of Shallow Depths and Game Theoretical Applications
Tim Fernando:
Towards a many-dimensional modal logic for semantic processing
Norman Foo and Dongmo Zhang:
Dealing with the Ramification Problem in
Extended Propositional Dynamic Logic
Yasusi Hasimoto:
Normal Products of Modal Logics
Marcus Kracht and Oliver Kutz:
Elementary Models for Modal Predicate Logic
Rostislav E. Yavorsky:
First order logic of the standard proof predicate
Colin Hirsch and Stephan Tobies:
A Tableau Algorithm for the Clique Guarded Fragment
Szabolcs Mikulas:
Decidability of relativized products of modal
logics
J. M. Davoren and R.P. Goré:
Bimodal logics for reasoning about continuous dynamics
Maarten Marx:
The validity problem for intuitionistic predicate logic ...
Alfredo Burrieza and Jose-Luis Perez-de-la-Cruz:
Nested Tableaux: Automated Theorem Proving for
Modal Logics with Minimal Models
Carlos Areces and Maarten de Rijke:
Description and /or Hybrid Logics
ICTL Papers
Dimitar P. Guelev:
Interval-Related Interpolation in Interval Temporal Logics
Andrzej Indrzejczak:
Multiple Sequent Calculus for Tense Logics
Bernhard Heinemann:
Increasing Sets and Linear Tense Logic
Michael Balser, Christoph Duelli, Wolfgang Reif and Gerhard Schellhorn:
Verifying Concurrent Systems with Symbolic Execution
Martin Lange and Colin Stirling:
Model Checking Games for CTL
Clare Dixon and Michael Fisher:
Clausal Resolution for Logics of Time and Knowledge with
Synchrony and Perfect Recall
Bridget Copley:
Modeling the futurate
Massimo Franceschet, Angelo Montanari and Maarten de Rijke:
Model Checking for Combined Logics
N. V. Shilov:
A New Decidability Proof for Full Branching Time Logic CPL
Claudio Castellini and Alain Smaill:
A modular, tactic-based approach to first-order temporal theorem proving
Alice G. B. ter Meulen:
Situated inference in dynamic tense logic
A. Montanari, A. Peron, and A. Policriti:
Extending Kamp Theorem with Binary Operators to Model Time Granularity
David N. Jansen and Roel Wieringa:
Extending CTL with Actions and Real-Time
Alexander Bolotov, Clare Dixon, and Michael Fisher:
On the Relationship between omega-Automata and Temporal Logic
Normal Forms
Marcelo Finger and M. Angela Weiss:
The unrestricted addition of a temporal dimension to
a logic system.
|
|
