Search
| Issue | Title | |
| Vol 27, No 2 (2018): June | On Displaying Negative Modalities | Abstract PDF |
| Sergey Drobyshevich | ||
| Vol 30, No 1 (2021): March | Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics | Abstract PDF |
| Eugenio Orlandelli | ||
| Vol 18, No 1 (2009) | Decidability of mereological theories | Abstract PDF |
| Hsing-chien Tsai | ||
| Vol 20, No 3 (2011) | More on the decidability of mereological theories | Abstract PDF |
| Hsing-chien Tsai | ||
| Vol 22, No 3 (2013): September | Finitely inseparable first-order axiomatized mereotopological theories | Abstract PDF |
| Hsing-chien Tsai | ||
| Vol 17, No 1-2 (2008) | Discrete linear temporal logic with current time point clusters, deciding algorithms | Abstract PDF |
| V. Rybakov | ||
| Vol 18, No 2 (2009) | Temporal non-commutative logic: Expressing time, resource, order and hierarchy | Abstract PDF |
| Norihiro Kamide | ||
| Vol 20, No 1-2 (2011) | Propositions, possible worlds, and recursion | Abstract PDF |
| Andrzej Wiśniewski | ||
| Vol 22, No 2 (2013): June | Special Issue on point-free geometry and topology. An introduction | Abstract PDF |
| Cristina Coppola, Giangiacomo Gerla | ||
| 1 - 9 of 9 Items | ||
Search tips:
- Search terms are case-insensitive
- Common words are ignored
- By default only articles containing all terms in the query are returned (i.e., AND is implied)
- Combine multiple words with OR to find articles containing either term; e.g., education OR research
- Use parentheses to create more complex queries; e.g., archive ((journal OR conference) NOT theses)
- Search for an exact phrase by putting it in quotes; e.g., "open access publishing"
- Exclude a word by prefixing it with - or NOT; e.g. online -politics or online NOT politics
- Use * in a term as a wildcard to match any sequence of characters; e.g., soci* morality would match documents containing "sociological" or "societal"